Hall and hyperfocal implies retract

From Groupprops
Jump to: navigation, search

Statement

Suppose G is a finite group and H is a Hall subgroup of G that is also a hyperfocal subgroup: its focal series in G terminates at the trivial subgroup. Then, H is a retract (and in particular a Hall retract) of G, i.e., it possesses a normal complement.

References

Journal references