I would like some verification that any group $G$ of order $|G| = 525 = 5^2 \cdot 3 \cdot 7$ is not simple. I've attached my argument below. Please let me know if you see any issues. Thanks

Let $G$ have order $525$ and assume that it is simple. Consider the Sylow $5$-subgroups, each of order $25$. By Sylow's theorems, the number of Sylow $5$-subgroups divides $21$, and is of the form $5k + 1$ for some $k \geq 0$. We assume, of course, that there is not $1$ Sylow $5$-subgroup, so the only possibility is that we have $21$ Sylow $5$-subgroups.

If all these subgroups have a trivial intersection, then we see that there are $24 \cdot 20 + 25 = 505$ distinct elements in these groups, and thus we have $20$ elements remaining. Consider the $7$-subgroups of $G$. There must be $7m + 1$ of them (not $1$, because then we would have a normal subgroup that is non-trivial) and $7m + 1$ must divide 75, thus making our only choice $15$ subgroups of order $7$. These groups all have non-trivial intersection as they are of prime order, and if they are disjoint from the $5$-subgroups they comprise $15*6 = 90$ elements (not counting the identity, which we counted when considering the $5$-subgroups), which is too many for our group. Note that this is the only case, i.e they must be disjoint from the $5$-subgroups because their intersection would have order that divides both $7,25$, thus also $\gcd(7,25)=1$. Thus, we cannot have all the $5$-subgroups with trivial intersection.

Now, we must consider the case when two distinct Sylow $5$ subgroup have intersection with order not equal to $1$. The only possibility is $5$ by Lagrange's theorem (it cannot be 25 as that would mean the two $5$ subgroups coincide). Thus, we have that $|P \cap P'| = 5$. Both $P,P'$ are abelian (they are order $p^2$) so we have $P < N_G( P \cap P'), P' < N_G(P \cap P')$. Applying Lagrange's theorem again, we see that $|N_G(P \cap P')| > |P| = 25$ and $|N_G(P\cap P')|$ divides $525$. The possible orders then are $75,105,175$. If the order is $75$, we see that $[G : N_G(P \cap P')]$ is 7, but $|G|$ does not divide $7!$, so there cannot be an injective homomorphism from $G$ into $S_7$, so we have a homomorphism from $G$ to $S_7$ has a nontrivial kernel, which ends up being a normal subgroup of $G$ that is nontrivial, meaning $G$ is not simple. The same argument can be repeated with the other orders of $N_G(P \cap P')$


That works. For the last step you can also handle some cases directly with Sylow's theorem. For example, Sylow implies that a group of order 75 must have a unique 5-Sylow, so it can't have two distinct subgroups of order 25.

  • $\begingroup$ Good to know, thanks! $\endgroup$ – rubikscube09 Dec 6 '18 at 19:40
  • $\begingroup$ You can do better: No group of non-prime odd order is simple. $\endgroup$ – R.C.Cowsik Dec 8 '18 at 18:21
  • $\begingroup$ @R.C.Cowsik this is the Feit Thompson theorem I assume? $\endgroup$ – rubikscube09 Dec 24 '18 at 0:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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