Normal Hall subgroup
From Groupprops
This page describes a subgroup property obtained as a conjunction (AND) of two (or more) more fundamental subgroup properties: normal subgroup and Hall subgroup
View other subgroup property conjunctions | view all subgroup properties
This page describes a subgroup property obtained as a conjunction (AND) of two (or more) more fundamental subgroup properties: subnormal subgroup and Hall subgroup
View other subgroup property conjunctions | view all subgroup properties
This page describes a subgroup property obtained as a conjunction (AND) of two (or more) more fundamental subgroup properties: characteristic subgroup and Hall subgroup
View other subgroup property conjunctions | view all subgroup properties
Contents
Definition
Symbol-free definition
A subgroup of a finite group is said to be a normal Hall subgroup if it satisfies the following equivalent conditions:
- It is a Hall subgroup, viz., the order and index are relatively prime, and is a normal subgroup viz., every inner automorphism of the whole group takes the subgroup to itself,
- It is a Hall subgroup and is a characteristic subgroup: every automorphism of the group takes the subgroup to itself.
- It is a Hall subgroup and is a fully characteristic subgroup: every endomorphism of the group takes the subgroup to itself.
- It is a Hall subgroup and is a subnormal subgroup.
Definition with symbols
A subgroup of a group
is said to be a normal Hall subgroup if it satisfies the following equivalent conditions:
-
and
are relatively prime, and
, viz.,
for any
-
and
are relatively prime, and
, viz.,
for all
-
and
are relatively prime, and
, viz.,
for all
-
and
are relatively prime, and
is subnormal in
.
Equivalence of definitions
Check out: Hall implies intermediately normal-to-characteristic, Hall implies intermediately subnormal-to-normal.
Relation with other properties
Stronger properties
Weaker properties
- Order-unique subgroup
- Permutably complemented normal subgroup: For full proof, refer: Normal Hall implies permutably complemented
- Permutably complemented subgroup: For full proof, refer: Normal Hall implies permutably complemented
- Homomorph-containing subgroup
- Fully characteristic subgroup: For full proof, refer: Normal Hall implies fully characteristic
- Characteristic subgroup
Metaproperties
Transitivity
This subgroup property is transitive: a subgroup with this property in a subgroup with this property, also has this property in the whole group.
ABOUT THIS PROPERTY: View variations of this property that are transitive | View variations of this property that are not transitive
ABOUT TRANSITIVITY: View a complete list of transitive subgroup properties|View a complete list of facts related to transitivity of subgroup properties |Read a survey article on proving transitivity
The property of being a normal Hall subgroup is characteristic because:
- The Hall part is transitive
- The normal part becomes transitive because the property of being a Hall subgroup is a transitivizer of normality, or more specifically, because it is a normal-to-characteristic subgroup property, and the subgroup proeprty of being characteristic is transitive.
Transfer condition
YES: This subgroup property satisfies the transfer condition: if a subgroup has the property in the whole group, its intersection with any subgroup has the property in that subgroup.
View other subgroup properties satisfying the transfer condition
Since both the properties of being normal and of being Hall satisfy the transfer condition, so does the property of being a normal Hall subgroup.