Normal subgroup with index that divides n!

118 Views Asked by At

Is this argument valid?

If $G$ is a finite group with $n$ Sylow $p$-subgroups (in particular $n = 1$ mod $p$ and $n$ divides $|G|$), then $G$ permutes them acting by conjugation. Therefore there is a homomorphism $\phi: G \to S_n$ (the symmetric group on $n$ elements). If we consider the kernel of this map, then it is a normal subgroup of $G$ with index $|G|/|\phi(G)|$, which in particular divides $|S_n| = n!$

1

There are 1 best solutions below

2
On

Hint:

What does the first isomorphism theorem tell you?


Note that the size of the kernel is $|G|/|\phi(G)|$, not the index of the kernel.