9

By using Sylow theorem, I can prove that $G$ has either $1$ Sylow $3$-subgroup or $4$ Sylow $3$-subgroup, but I don't know how to continue the proof.

Ivo Terek
  • 80,301
Ryan
  • 525
  • 4
    Most questions of this type (when you first see them) can be solved using one of the following three methods. 1. Show that, for some prime $p$, $G$ must have a unique Sylow-p subgroup. 2. Show that if $G$ fails to have any normal Sylow subgroups, you end up accounting for more elements of Sylow subgroups then there are in your group. 3. Show that, if $G$ has a Sylow p subgroup, then $|G|$ does not divide $n_p(G)!$. This implies that $G$ is non-simple. Try method 3. – Justthisguy Jun 22 '14 at 04:11
  • http://math.stackexchange.com/questions/480558/g-is-non-abelian-simple-group-of-order-100-then-g-cong-a-5 would be of some help i guess... –  Jun 22 '14 at 05:28
  • @AbrahamFrei-Pearson Sorry? What's $n_p(G)$ here means? I don't quite know. – Ryan Jun 22 '14 at 06:24
  • The number of distinct Sylow-p subgroups in $G$. If $P$ is a Sylow-p subgroup, then $n_p(G)=|G:N_{G}(P)|$. – Justthisguy Jun 22 '14 at 18:38

1 Answers1

19

If there is a unique Sylow $3$-subgroup, it is nontrivial and normal, and you are done.

If there are $4$, then $G$ acts on these subgroups by conjugation, inducing a homomorphism $G\to S_4$. Since $|S_4|=24$, the kernel of this map cannot be trivial, otherwise $G$ would inject into $S_4$.

So it remains to show that the kernel is not all of $G$. Mouse over if you want to see the rest.

If it were, then every $g\in G$ normalizes each Sylow $3$-subgroup, implying each is normal, a contradiction. So the kernel is a nontrivial normal subgroup of $G$.

Ben West
  • 12,754