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!