Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $N$ be a normal subgroup of $G$, and $|x^{G}|$ denote the size of the conjugacy class containing $x$. Please show the following statements:

  1. If $x\in N$, then $\left \vert x^{N} \right \vert$ divides $\left \vert x^{G} \right \vert$

  2. If $x\in G$, then $\left \vert ( xN )^{G/N} \right \vert$ divides $\left \vert x^{G} \right \vert$

share|improve this question

1 Answer 1

up vote 0 down vote accepted

Let $G$ act on itself by conjugation. Then $|\mathcal{O}(x)|=|x^G|$. Thus $|x^G|=[G:C_G(x)]$. So, what we need to prove is that $[N:C_N(x)]$ divides $[G:C_G(x)]$.

For the second one, let $\phi:G\rightarrow G/N$ be the canonical homomorphism. Now observe that the image of $C_G(x)$ under $\phi$ centralizes the $\phi(x)$ in $G/N$, whence $\phi[C_G(x)]\leqslant C_{G/N}(\phi(x))$.

Thus $|\phi[C_G(x)]|$ divides $|C_G(x)|$ so $|(xN)^{G/N}|=[G/N:C_{G/N}(\phi(x))]$ divides $[G/N:\phi[C_G(x)]]$ divides $[G:C_G(x)]=|x^G|.$

Now, having seen that, can you prove the first part?

share|improve this answer
    
thanks , I could prove the first part ,it is a special case for the second part. –  Song Dec 30 '12 at 12:11

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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