For a finite simple group of this order, gives a normal Sylow -subgroup, and gives a nontrivial sign homomorphism from the regular action, because an involution swaps fifteen pairs. Thus . The Sylow -count divides ; it cannot be one or three. If it is five, a Sylow subgroup's normalizer has index five. If it is fifteen, the strengthened Sylow congruence from intersections produces two Sylow subgroups meeting in index two. Their common subgroup is normal in both, so its normalizer contains both and has index three or five. Simplicity excludes index three. The resulting faithful degree-five action embeds in and forces order , proving the conclusion.
Articles by others on the same topic
There are currently no matching articles.