3
$\begingroup$

I was asked to have a look at a problem:

There is no a finite non-trivial group $G$ that all its non-trivial elements can be commuted with exactly half elements of group .

For the first step, I saw I could not prove it directly so, I assumed we have such a group $G$, finite and satisfying above property. The property led $|G|$ to have an even order because $āˆ€ (e≠)x\in G$, $|C_G(x)|=\frac{|G|}{2}$. Am I on the right way? Any hints will be appreciated. Thanks.

  • 3
    You don't need your reasoning to conclude $|G|$ is even, you can just observe that if $|G|$ is odd, then "exactly half the elements" doesn't even make sense... – 2012-06-03

1 Answers 1

4

You're on the right track. Remember that $[G: C_G(x)]$ is the size of the conjugacy class of $x \in G$. Use the fact that $G$ is a disjoint union of conjugacy classes to complete your solution.

  • 1
    Yes, m.k. points out the key property which is quite general. You could say it this way too: "if $G$ is a finite group with trivial center, there are at least $3$ conjugacy classes of different cardinality (counting the class of the identity)". That statement is no longer true if we allow a non-trivial center, as the non-Abelian groups of order $8$ illustrate (for example). – 2012-06-03