Group of Order 105 Having Normal Sylow 5/7 Subgroups

5.4k Views Asked by At

I am trying to prove that, given $|G|=105$, the G has a normal Sylow 5 subgroup and a normal Sylow 7 subgroup.

I think the thing that is confusing me is the word "and". It would seem that there can't be both a normal subgroup of order 5 and 7, i think. If there were, since their intersection is just $e_G$, then this ties up the remaining 94 elements in a bunch of Sylow 3 subgroups. Again, because they each contain $e_G$, there needs to be 47 Sylow 3 subgroups, which is impossible by the conditions on the Sylow theorems; So where is my thinking off? Does it really mean "or"?

There has to be at least one normal 5 or 7, since if neither were normal, because $n_5=21$ and $n_7=15$, and since $4(21)+6(15)>105$, we have a contradiction with the number of elements. So where is my logic flawed?

1

There are 1 best solutions below

0
On BEST ANSWER

Fact 1: If $|G|=pqr$ with $p>q>r$, then Sylow-$p$ subgroup is normal.

Fact 2: (Schur-Zassenhaus) If $H\leq G$ such that $|H|$ and $|G\colon H|$ are coprime, then $G$ contains subgroup of order $|G\colon H|$.


If $|G|=105$, Sylow-$7$ subgroup, say $P$, must be normal. Then $|P|$ and $|G\colon P|$ are co-prime, hence $G$ contains subgroup of order $|G\colon P|=15$, say $Q$, and $G=P\rtimes Q$.

Then $Q$ is cyclic group of order $15$, and acts by conjugation on $P$, giving a homomorphism from $\mathbb{Z}_{15}\cong Q\rightarrow Aut(P)\cong \mathbb{Z}_6$. In this homomorphism, the elements of order $5$ in $Q$ must go to identity in $Aut(P)$ since there are no elements of order $5$ in $Aut(P)$.

This implies, the subgroup of order $5$ in $Q$ (Sylow-$5$ subgroup), acts trivially by conjugation on Sylow-$7$ subgroup $P$; i.e. it commutes.

Thus, Sylow-$5$ subgroup commutes with Sylow-$3$ subgroup as well as Sylow-$7$ subgroup. This means Sylow-$5$ subgroup is in center of $G$, and hence $$G=(\mbox{Sylow-$5$ subgroup})\times (\mbox{subgroup of order 21}).$$

From this, we can see that both Sylow-$5$ and Sylow-$7$ are normal.


I have used two non-trivial facts from group theory. But, once we ensure that both Sylow-$5$ and $7$ are normal, one may try to give different, elementary argument for proof. Since you were worrying about and/or (both appearing in question title and first line of question), this was just to ensure that it is and.)