1
$\begingroup$

Prove: If $G$ is a nonabelian group with $[G : Z(G)] = n$, then every conjugacy class of $G$ has strictly fewer than $n$ elements.

My approach so far:

Observe that $Z(G) \leq C_G(a) = G_a \leq G$. So we know $[G:Z(G)] = [G:G_a][G_a:Z(G)] = \vert C_a \vert [G_a : Z(G)]$ and thus we can conclude that $\vert C_a \vert = [G:G_a] \mid [G:Z(G)] = n$.

Now, suppose to the contrary that $\vert C_a \vert = n$. [Try to contradict $G$ being nonabelian.]

I'm having trouble finding a contradiction to the case of $n$. Any hints, approaches? Thanks!

1 Answers 1

2

Let $a \in G$ with $|C_a|=n$, then you must have $Z(G)=G_a$. Hence $a \in Z(G)$ and this implies $|C_a|=n=1$. We conclude that $G=Z(G)$, so $G$ must be abelian, a contradiction.

  • 0
    Can't believe I missed the $a\in Z(G)$ step.2012-10-29