A group between a nonabelian simple group and its automorphism group. Finite two-transitive groups are either of this type or affine two-transitive groups, a structural theorem rather than an order-divisibility test.
New to topics? Read the docs here!