Maximal among abelian normal subgroups of Sylow subgroup implies direct factor of centralizer
Category:Normal p-complement theorems lists many theorems of a related nature.
Other related facts:
- Hall and central factor implies direct factor
- Pi-separable and pi'-core-free implies pi-core is self-centralizing
- Maximal among abelian normal implies self-centralizing in nilpotent
- Product formula
- Burnside's normal p-complement theorem
Given: A finite group , a prime , a -Sylow subgroup of . A subgroup that is maximal among abelian normal subgroups of .
To prove: is normal in . Further, there exists a subgroup of such that and is trivial.
Proof: Clearly, , hence normal in .
- : This follows from fact (1).
- is a group: Since normalizes , also normalizes . Hence, is a group.
- is a Sylow subgroup of : Consider the intersection . By the product formula (fact (2)), . The right side is relatively prime to , hence so is the left side. By step (1), , so is coprime to . Thus, is a -Sylow subgroup of .
- has a normal complement, say , in : By definition, is in the center of , so it is in the center of its normalizer in , so by fact (3), has a normal complement.
(4) completes the proof.