Frobenius kernel

Definition
A Frobenius kernel in a finite group is a proper nontrivial defining ingredient::complemented normal subgroup that is also defining ingredient::centrally closed subgroup: it contains the centralizer of any nontrivial element in it.

Weaker properties

 * Stronger than::Self-centralizing normal subgroup
 * Stronger than::Finite group admitting a fixed-point-free automorphism of prime order: