Groups of order p squared q are not simple
ID: groups-of-order-p-squared-q-are-not-simple
For distinct primes , the Sylow theorems force a proper nontrivial normal subgroup in any group of order . If , the Sylow -subgroup is unique. If and both Sylow counts were nontrivial, the count congruences force . In order twelve, four Sylow -subgroups exhaust eight nonidentity elements; only three remain for a Sylow -subgroup, making that subgroup unique. Thus the group is not a simple group.
New to topics? Read the docs here!