Almost simple group ($T\le G\le \mathrm{Aut}(T)$)

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.