p-Layer

The $p$-layer of $H$, $L_{p'}(H)$ is the unique minimal Normal Subgroup of $H$ which maps onto $E(H/O_{p'}(H))$.

See also Bp-Theorem, Lp'-Balance Theorem, Signalizer Functor Theorem