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 $p,q$ be primes and let $G$ be a group of order $p^2q^2$, what's the best way to show $G$ is non-simple?

I know it suffices to show that one of the sylow-p or sylow-q subgroup of $G$ is normal, but the counting elements argument doesn't work here since different sylow subgroups may have non-trivial intersection.

share|improve this question

2 Answers 2

up vote 7 down vote accepted

We may as well assume $p < q$. The number of Sylow $q$-subgroups is $1$ mod $q$ and divides $p^2$. So it is $1, p$, or $p^2$. We win if it's 1 and it can't be $p$, so suppose it's $p^2$. But now $q| p^2 - 1$, so $q|p+1$ or $q|p-1$.

Thus $p = 2$ and $q = 3$. The case of order 36 has been proved in an earlier question:

No group of order 36 is simple

share|improve this answer

Using a little more group theory allows us to prove something stronger (and avoid the reduction to $|G|=36$):

A group of order $p^2q^2$ has either a normal Sylow $p$-group or normal Sylow $q$-group.

For assume that $p<q$, then there are either $1$ or $p^2$ Sylow $q$-groups in $G$.

If there is $1$, it is normal, and we are done.

If there is $p^2$, then the Sylow $q$-groups are self-normalizing. But any group of order $q^2$ is abelian, so Burnside's transfer theorem implies the Sylow $p$ group is normal.

share|improve this answer

Your Answer


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.