Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

How can I prove following problem in abstract algebra?

Let $G$ is a finite non-abelian group. show that there exist elements $a,g,h\in G$ such that $g\neq h, h=aga^{-1}$ and $gh=hg$.

Please help me. Thanks in advance.

share|cite|improve this question

marked as duplicate by T. Bongers, some1.new4u, Shuchang, Branimir Ćaćić, Erick Wong Dec 1 '13 at 7:09

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

Can g or h be trivial? – Chris K Nov 10 '13 at 15:30
@ChrisK No, because if you apply $h=aga^{-1}$ you get $g=h$. – Jack M Nov 10 '13 at 15:31
@JackM, true (g and h are otherwise g and h not unique)... stupid question, perhaps? – Chris K Nov 10 '13 at 15:33
Do you know about source of problem? – Babak Miraftab Nov 10 '13 at 17:12

Hint: I think using Conjugacy class equation: $$\displaystyle \left|{G}\right| = \left|{Z \left({G}\right)}\right| + \sum_{x_j\notin Z(G)} \left[{G : C_G \left({x_j}\right)}\right]$$ is effective here.

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.