G/CG(x) ve xG arasında bir eşleme olduğunu biliyorum. Z(G)<CG(x) olduğundan;
|G|=|CG(x)||xG| ve |CG(x)|=k|Z(G)|
|G|=k|Z(G)||xG|
|G|/|Z(G)|=n=k|xG|
ve dolayısıyla |xG|, n'yi böler.
Yüz kızartıcı hatamı fark ettim, soruyu silmeyeyim belki başkasının işine yarar.