Hyperfocal subgroup

Definition
A subgroup of a group is termed a hyperfocal subgroup if its focal series terminates in finitely many steps at the trivial subgroup.

Facts

 * Hall and hyperfocal implies retract: If a Hall subgroup of a finite group is also hyperfocal, then it is a retract: it possesses a normal complement.