Self-normalizing Sylow subgroup
This page describes a subgroup property obtained as a conjunction (AND) of two (or more) more fundamental subgroup properties: self-normalizing subgroup and Sylow subgroup
View other subgroup property conjunctions | view all subgroup properties
- It is a Sylow subgroup and is also self-normalizing: it equals its own normalizer in the whole group.
- It is a Sylow subgroup and is also weakly abnormal: every subgroup containing it is self-normalizing.
- It is a Sylow subgroup and is also abnormal.
- It is a Sylow subgroup that is also a Carter subgroup: in other words, it is a nilpotent self-normalizing subgroup.
- It is a Carter subgroup that has prime power order.
The equivalence of definitions (1)-(3) follows from the fact that Sylow implies pronormal, and for pronormal subgroups, being self-normalizing, weakly abnormal, and abnormal are equivalent. The equivalence with (4) follows from the fact that prime power order implies nilpotent. The equivalence with (5) follows from the fact that in a finite group, there is exactly one conjugacy class of Carter subgroups (i.e., nilpotent self-normalizing subgroups) and that any -subgroup that is not -Sylow cannot be Carter because it is properly contained in its normalizer in any -Sylow subgroup containing it.