0
$\begingroup$

My professor was presenting the problem that a group $G$ that has 3 conjugacy classes has either order 3 or 6. In his proof he said it was "clear" that by the class equation $$\begin{eqnarray} |G|&=&|Z(g)|+\sum |G:C_G(g_i)|\\ &=&1+|G:C_G(g_1)|+|G:C_G(g_2)| \end{eqnarray}$$ where the last two terms are given by the other two conjugacy classes that are not contained in the center. Then he proceeds from there to show that $|G:C_G(g_1)| \left(1+|G:C_G(g_2)|\right) $ and $|G:C_G(g_2)| \left(1+|G:C_G(g_1)|\right) $ and asked us to finish the rest of the proof. I'm not quite clear on the second equality above or how to proceed from here. Any help would be great. Thanks!

Edit: Here is the full statement. Let $G$ be a group of order $n$ finite. Suppose that $G$ has 3 congruency classes. Then the order of $G$ is either $3$ or $6$ and hence isomorphic to $\mathbb{Z}/3\mathbb{Z}$ or $S_3$.

$\endgroup$
  • $\begingroup$ not clear please take a look again and edit it, what are you trying to say here, $|G:C_G(g_1)| \left(1+|G:C_G(g_2)|\right)$ and $|G:C_G(g_2)| \left(1+|G:C_G(g_1)|\right)$. You missed something after this line. Are they equal, or what? $\endgroup$ – Bhaskar Vashishth Oct 2 '14 at 4:07
  • $\begingroup$ I'm not sure what you mean. The line after this was left as an exercise and that's where I'm stuck. $\endgroup$ – user23793 Oct 2 '14 at 4:12
  • $\begingroup$ you are saying to show that this and this.....? fill the dots. this and this ..what? $\endgroup$ – Bhaskar Vashishth Oct 2 '14 at 4:15
  • $\begingroup$ take a look here math.stackexchange.com/questions/52350/… $\endgroup$ – Bhaskar Vashishth Oct 2 '14 at 4:18
  • $\begingroup$ I gave the full statement above. I'm not sure how else to explain the problem. $\endgroup$ – user23793 Oct 2 '14 at 4:19
1
$\begingroup$

Let $g=|G|$ and assume that we have $$g=1+a+b$$ in the obvious notation, with $a|g$ and $b|g$. Then $a|b+1$ and so $a\leq b+1$. Also $b|a+1$ so $b\leq a+1$ or $b-1\leq a$ thus $$b-1\leq a \leq b+1$$

So there are two possiblities (taking the symmetry of $a$ and $b$ into account) , $a=b$ and $a=b+1$

If $a=b$ then $1+2a=g$ so $a|1$ and $a=1$ and $g=3$.

If $a=b+1$ then $2+2b=g$ and $b|2$.

Now $b=1$ gives $a=2$ and $g=4$ but all groups of order $4$ are Abelian and have four classes.

So $b=2$ and $g=6$.

$\endgroup$
  • $\begingroup$ That's pretty clear, thank you. My last question though is why can we assume that $g=1+a+b$? Why can't the center have more elements than $1_G$ in it? Or am I not looking at this correctly? $\endgroup$ – user23793 Oct 2 '14 at 4:58
1
$\begingroup$

OK. note that we are proving that $Z(G)$ is trivial only for non abelian cases. so let $G$ is non abelian and let $Z(G)$ is non trivial , so if $x \in Z(G)$ s.t. $x \neq 1$ then conjugacy class of $x$ is {$x$} as $gxg^{-1}=x$, so if let |$Z(G)$|=$2$, then two conjugacy classes are {$1$} and {$x$}, so let $g \in $ third conjugacy class, say $X$, so by class equation you have $|G|= 1+1+|G|/|C_G(g)|$ implies $1=2/|G|+1/|C_G(g)|$ which implies |$C_G(g)$|=$|G|/(|G|-2)$ , but we know $C_G(g)$ is a subgroup of $G$ so |$C_G(g)$| must givide |$G$| i.e. $|G|/(|G|-2)$ divides $|G|$, which is only possible for |$G$|=$3 , 4$, but groups of order $3,4$ are abelian. contradiction and so, $Z(G)$ is trivial for non abelian group with three conjugacy classes.

The case $Z(G)=3$ will give you |$G$|=$3$ by class equation and for greater than $3$ is not possible as only $3$ conjugacy classes are given

I hope I am clear now.

Rest i hope you have proved that then either $G$ is $\mathbb{Z_3}$ or $S_3$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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