Least-prime divisibility constraint for a finite simple group
ID: least-prime-divisibility-constraint-for-a-finite-simple-group
Let be the smallest prime divisor of the order of a finite nonabelian simple group. A cyclic Sylow subgroup would give a normal p-complement, so if does not divide the order, the Sylow subgroup must be . Conjugation embeds its normalizer modulo centralizer into , and this quotient has order prime to . For odd , every other prime divisor of is smaller than , again forcing trivial conjugation and a contradiction to the Burnside transfer theorem. For , nontrivial conjugation must have order three, giving . The groups give infinitely many examples with exactly two factors of two in their orders.
New to topics? Read the docs here!