Hall subgroup: Difference between revisions

Latest revision as of 18:16, 21 December 2014

This article is about a standard (though not very rudimentary) definition in group theory. The article text may, however, contain more than just the basic definition
VIEW: Definitions built on this | Facts about this: (facts closely related to Hall subgroup, all facts related to Hall subgroup) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a complete list of semi-basic definitions on this wiki

This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties [SHOW MORE]
|Get subgroup property lookup help |Get exploration suggestions
VIEW RELATED: Subgroup property implications | Subgroup property non-implications | Subgroup metaproperty satisfactions | Subgroup metaproperty dissatisfactions | Subgroup property satisfactions |Subgroup property dissatisfactions
VIEW FACTS THAT:use, or start with, a subgroup satisfying the property|prove, or show that, a subgroup satisfies the property

Definition

Definition without prime set specification

A subgroup $H$ of a finite group $G$ is termed a Hall subgroup if it satisfies the following equivalent conditions:

The order of $H$ is relatively prime to the index of $H$ in $G$ .
For any prime number $p$ dividing the order of $G$ , $p$ divides exactly one of the two numbers: the order of $H$ and the index of $H$ in $G$ .

Definition with prime set specification

Suppose $π$ is a set of prime numbers and $G$ is a finite group. A subgroup $H$ of $G$ is termed a $π$ -Hall subgroup or Hall $π$ -subgroup if it satisfies the following equivalent conditions:

All the primes dividing the order of $H$ are in the prime set $π$ and all the primes dividing the index of $H$ in $G$ are outside the prime set $π$ .
The order of $G$ is the unique largest divisor of the order of $G$ that has the property that all its prime divisors are in $π$ . In other words, it is the $π$ -part of the order of $G$ .

We sometimes use the notation $π^{'}$ to refer to the complement of $π$ in the set of prime numbers.

Relation between order and prime set specification

The order of a Hall $π$ -subgroup of $G$ depends only on the prime set $π$ and on the order of $G$ . In particular, for fixed $π$ , all Hall $π$ -subgroups have the same order.
Conversely, if two Hall subgroups of a group have the same order, then the prime set specifications that work for one Hall subgroup also work for the other.
As far as the definition of Hall $π$ -subgroup of $G$ is concerned, we only care about the intersection of $π$ with the set of prime divisors of the order of $G$ . Adding or removing primes that do not divide the order of $G$ does not affect the notion of Hall $π$ -subgroup.

Examples

Extreme examples

The trivial subgroup is a Hall subgroup in any finite group. [SHOW MORE]
In terms of prime set specifications, it is the Hall subgroup corresponding to the empty set of primes. Equivalently it is the Hall subgroup corresponding to any subset of the set of all primes that does not intersect the set of primes dividing the order of the group.
Every finite group is a Hall subgroup of itself. [SHOW MORE]
In terms of prime set specifications, it is the Hall subgroup corresponding to all primes dividing the order of the group. Equivalently, it is the Hall subgroup corresponding to any subset of the set of all primes that contains all prime divisors of the order of the group.

Sylow subgroups and p-complements

There are two other important near-extremes of Hall subgroups:

Sylow subgroups are Hall subgroups corresponding to a single prime. In other words, a Sylow subgroup is a finite p-group whose index is relatively prime to $p$ . If $p$ divides the order of the group, $p$ -Sylow subgroups must be nontrivial. Sylow's theorem guarantees the existence and other nice behavior of the $p$ -Sylow subgroup for any prime $p$ in any finite group.
p-complements are Hall subgroups whose index is a prime power. In other words, they are Hall subgroups whose prime set excludes at most one prime divisor of the order of the group. A $p$ -complement is thus a Hall $p^{'}$ -subgroup where $p^{'}$ is the set of primes other than $p$ . (As always, we only care about the primes that divide the order of the group).

Particular examples

A3 in S3: The subgroup has order 3 and index 2 in a group of order 6. It is a 3-Sylow subgroup and also a 2-complement.
A4 in A5: The subgroup has order 12 and index 5 in a group of order 60. It is a ${2, 3}$ -Hall subgroup and also a 5-complement.
S4 in S5: The subgroup has order 24 and index 5 in a group of order 120. It is a ${2, 3}$ -Hall subgroup and also a 5-complement.

Here is a list of examples:

	Group part	Subgroup part	Quotient part
S3 in S5	Symmetric group:S5	Symmetric group:S3
S4 in S5	Symmetric group:S5	Symmetric group:S4

Facts

Existence and domination

[[Existence of pi-subgroups for all prime sets $π$ is equivalent to existence of p-complements for all primes p]]
[[ECD condition for $π$ -subgroups in finite solvable groups]]: This states that in finite solvable groups, $π$ -Hall subgroup exist for all prime sets $π$ , they are conjugate, and they dominate $π$ -subgroups.
Hall's theorem: This is a converse to the above, stating that if $π$ -Hall subgroups exist for all prime sets $π$ , then the group is solvable.

Sylow subgroups and other special cases

Sylow's theorem states for Sylow subgroups (Hall subgroups corresponding to a single prime), the existence, conjugacy, and domination conditions hold in all finite groups, not just in finite solvable groups.
Nilpotent Hall subgroups of same order are conjugate

General non-existence and other results

Hall subgroups need not exist
Hall not implies order-isomorphic: It is possible for two $π$ -Hall subgroups of a finite group $G$ to be non-isomorphic.
Hall not implies isomorph-conjugate: It is possible for two isomorphic $π$ -Hall subgroups of a finite group $G$ to not be conjugate subgroups inside $G$ .

Relation with other properties

Stronger properties

Property	Meaning	Proof of strictness (reverse implication failure)	Intermediate notions
Sylow subgroup	Hall subgroup for a single prime, i.e., finite p-group whose index is relatively prime to $p$ for some prime $p$		\|FULL LIST, MORE INFO
p-complement	Hall $p^{'}$ -subgroup, i.e., Hall subgroup whose index is a prime power		\|FULL LIST, MORE INFO
normal Hall subgroup	Hall subgroup that is also a normal subgroup		\|FULL LIST, MORE INFO
Normal Sylow subgroup	Sylow subgroup that is also a normal subgroup		\|FULL LIST, MORE INFO
Hall retract	Hall subgroup that is also a retract, i.e., it has a normal complement. Note that the normal complement must also be a Hall subgroup for the complementary set of primes		\|FULL LIST, MORE INFO
Sylow retract	Sylow subgroup that is also a retract, i.e., $p$ -Sylow subgroup in a group that has a normal p-complement		\|FULL LIST, MORE INFO
nilpotent Hall subgroup	Hall subgroup that is also a nilpotent group		\|FULL LIST, MORE INFO
order-dominating Hall subgroup	Hall subgroup that is also an order-dominating subgroup, i.e., any subgroup of the whole group whose order divides it is conjugate to a subgroup of it	Hall not implies order-dominating	\|FULL LIST, MORE INFO
order-conjugate Hall subgroup	Hall subgroup that is also an order-conjugate subgroup, i.e., all Hall subgroups of that order are conjugate subgroups	Hall not implies order-conjugate	\|FULL LIST, MORE INFO
isomorph-conjugate Hall subgroup	Hall subgroup that is also an isomorph-conjugate subgroup, i.e., it is conjugate to all isomorphic subgroups	Hall not implies isomorph-conjugate	\|FULL LIST, MORE INFO
pronormal Hall subgroup	Hall subgroup that is also a pronormal subgroup		\|FULL LIST, MORE INFO

Weaker properties

Property	Meaning	Proof of implication	Intermediate notions
join of Sylow subgroups	join of Sylow subgroups of the whole group	Hall implies join of Sylow subgroups	\|FULL LIST, MORE INFO
join of automorph-conjugate subgroups	join of automorph-conjugate subgroups of the whole group	(via join of Sylow sugroups)	\|FULL LIST, MORE INFO
core-characteristic subgroup	normal core is a characteristic subgroup		\|FULL LIST, MORE INFO
closure-characteristic subgroup	normal closure is a characteristic subgroup		\|FULL LIST, MORE INFO
paracharacteristic subgroup	contranormal in its join with any automorphic subgroup	(via join of Sylow subgroups, see also Hall implies paracharacteristic)	\|FULL LIST, MORE INFO
paranormal subgroup	contranormal in its join with any conjugate subgroup	(via paracharacteristic)	\|FULL LIST, MORE INFO
polycharacteristic subgroup		(via paracharacteristic)	\|FULL LIST, MORE INFO
polynormal subgroup		(via paranoral, also via polycharacteristic)	\|FULL LIST, MORE INFO
intermediately normal-to-characteristic subgroup	for any intermediate subgroup in which it is normal, it is also characteristic in that subgroup		\|FULL LIST, MORE INFO
intermediately subnormal-to-normal subgroup	for any intermediate subgroup in which it is subnormal, it is also normal in that subgroup		\|FULL LIST, MORE INFO

Conjunction with other properties

Normal Hall subgroup: These are fully characteristic. Thus, this subgroup property is normal-to-characteristic

Incomparable properties

Order-isomorphic subgroup: Two Hall subgroups of the same order need not be isomorphic. For full proof, refer: Hall not implies order-isomorphic
Isomorph-automorphic subgroup: Two isomorphic Hall subgroups of the same order need not be automorphs. For full proof, refer: Hall not implies isomorph-automorphic
Automorph-conjugate subgroup: Two Hall subgroups that are automorphs of each other, need not be conjugate. For full proof, refer: Hall not implies automorph-conjugate

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

A Hall subgroup of a Hall subgroup is a Hall subgroup. This follows from the fact that the index is multiplicative. For full proof, refer: Hall satisfies transitivity

Trimness

This subgroup property is trim -- it is both trivially true (true for the trivial subgroup) and identity-true (true for a group as a subgroup of itself).
View other trim subgroup properties | View other trivially true subgroup properties | View other identity-true subgroup properties

The property of being a Hall subgroup is trivially true, that is, the trivial subgroup is a Hall subgroup in any group.

It is also identity-true, that is, every finite group is a Hall subgroup of itself.

Intermediate subgroup condition

YES: This subgroup property satisfies the intermediate subgroup condition: if a subgroup has the property in the whole group, it has the property in every intermediate subgroup.
ABOUT THIS PROPERTY: View variations of this property satisfying intermediate subgroup condition | View variations of this property not satisfying intermediate subgroup condition
ABOUT INTERMEDIATE SUBROUP CONDITION:View all properties satisfying intermediate subgroup condition | View facts about intermediate subgroup condition

This states that if $H$ is a Hall subgroup of $G$ and $K$ is some subgroup containing $H$ , then $H$ is a Hall subgroup of $K$ .

For full proof, refer: Hall satisfies intermediate subgroup condition

Transfer condition

This subgroup property does not satisfy the transfer condition

For full proof, refer: Hall does not satisfy transfer condition

History

The notion of Hall subgroup was introduced by Philip Hall who studied their properties and proved the theorem that a group is solvable if and only if it has Hall subgroups of all possible orders. (see ECD condition for pi-subgroups in finite solvable groups and Hall's theorem).

@@ Line 1: / Line 1: @@
+{{semibasicdef}}
 {{subgroup property}}
+[[importance rank::2| ]]
-==Origin==
+==Definition==
+===Definition without prime set specification===
+A [[subgroup]] <math>H</math> of a [[finite group]] <math>G</math> is termed a '''Hall subgroup''' if it satisfies the following equivalent conditions:
+* The [[order of a group|order]] of <math>H</math> is relatively prime to the [[index of a subgroup|index]] of <matH>H</math> in <matH>G</math>.
+* For any prime number <math>p</math> dividing the order of <math>G</math>, <math>p</math> divides ''exactly one'' of the two numbers: the order of <math>H</math> and the index of <math>H</math> in <math>G</math>.
+===Definition with prime set specification===
+Suppose <math>\pi</math> is a set of [[prime number]]s and <math>G</math> is a [[finite group]]. A [[subgroup]] <math>H</math> of <math>G</math> is termed a <math>\pi</math>-'''Hall subgroup''' or '''Hall <math>\pi</math>-subgroup''' if it satisfies the following equivalent conditions:
+# All the primes dividing the [[order of a group|order]] of <math>H</math> are in the prime set <math>\pi</math> and all the primes dividing the [[index of a subgroup|index]] of <math>H</math> in <math>G</math> are outside the prime set <math>\pi</math>.
+# The [[order of a group|order]] of <math>G</math> is the unique largest divisor of the order of <math>G</math> that has the property that all its prime divisors are in <math>\pi</math>. In other words, it is the <math>\pi</math>-part of the order of <math>G</math>.
+We sometimes use the notation <math>\pi'</math> to refer to the complement of <math>\pi</math> in the set of prime numbers.
+===Relation between order and prime set specification===
+* The order of a Hall <math>\pi</math>-subgroup of <math>G</math> depends only on the prime set <math>\pi</math> and on the order of <math>G</math>. In particular, for fixed <matH>\pi</math>, all Hall <math>\pi</math>-subgroups have the same order.
+* Conversely, if two Hall subgroups of a group have the same order, then the prime set specifications that work for one Hall subgroup also work for the other.
+* As far as the definition of Hall <math>\pi</matH>-subgroup of <math>G</matH> is concerned, we ''only'' care about the intersection of <matH>\pi</math> with the set of prime divisors of the order of <math>G</math>. Adding or removing primes that do not divide the order of <math>G</math> does not affect the notion of Hall <math>\pi</math>-subgroup.
+==Examples==
+===Extreme examples===
+* The trivial subgroup is a Hall subgroup in any finite group. <toggledisplay>In terms of prime set specifications, it is the Hall subgroup corresponding to the empty set of primes. Equivalently it is the Hall subgroup corresponding to any subset of the set of all primes that does not intersect the set of primes dividing the order of the group.</toggledisplay>
+* Every finite group is a Hall subgroup of itself. <toggledisplay>In terms of prime set specifications, it is the Hall subgroup corresponding to all primes dividing the order of the group. Equivalently, it is the Hall subgroup corresponding to any subset of the set of all primes that contains all prime divisors of the order of the group.</toggledisplay>
+===Sylow subgroups and p-complements===
+There are two other important near-extremes of Hall subgroups:
+* [[Sylow subgroup]]s are Hall subgroups corresponding to a single prime. In other words, a Sylow subgroup is a [[finite p-group]] whose index is relatively prime to <math>p</math>. If <math>p</math> divides the order of the group, <math>p</math>-Sylow subgroups must be nontrivial. [[Sylow's theorem]] guarantees the existence and other nice behavior of the <math>p</math>-Sylow subgroup for any prime <math>p</math> in any finite group.
+* [[p-complement]]s are Hall subgroups whose ''index'' is a [[prime power]]. In other words, they are Hall subgroups whose prime set excludes at most one prime divisor of the order of the group. A <math>p</matH>-complement is thus a Hall <math>p'</math>-subgroup where <math>p'</math> is the set of primes other than <math>p</math>. (As always, we only care about the primes that divide the order of the group).
+===Particular examples===
-The notion of Hall subgroup was introduced by [[Philip Hall]] who studied their properties and proved the theorem that a group is solvable if and only if it has Hall subgroups of all possible orders.
+* [[A3 in S3]]: The subgroup has order 3 and index 2 in a group of order 6. It is a 3-Sylow subgroup and also a 2-complement.
+* [[A4 in A5]]: The subgroup has order 12 and index 5 in a group of order 60. It is a <math>\{ 2,3 \}</math>-Hall subgroup and also a 5-complement.
+* [[S4 in S5]]: The subgroup has order 24 and index 5 in a group of order 120. It is a <math>\{ 2,3 \}</math>-Hall subgroup and also a 5-complement.
-==Definition==
+Here is a list of examples:
+{{#ask: [[satisfies property::Hall subgroup]][[Category:Particular subgroups]]|?group part|?subgroup part|?quotient part}}
+==Facts==
-===Symbol-free definition===
+===Existence and domination===
-A subgroup of a finite group is termed a '''Hall subgroup''' if its [[order of a group|order]] and [[index of a subgroup|index]] are coprime.
+* [[Existence of pi-subgroups for all prime sets <math>\pi</math> is equivalent to existence of p-complements for all primes p]]
+* [[ECD condition for <math>\pi</math>-subgroups in finite solvable groups]]: This states that in [[finite solvable group]]s, <math>\pi</math>-Hall subgroup exist for all prime sets <math>\pi</math>, they are conjugate, and they dominate <math>\pi</matH>-subgroups.
+* [[Hall's theorem]]: This is a converse to the above, stating that if <math>\pi</math>-Hall subgroups exist for all prime sets <math>\pi</math>, then the group is solvable.
-We also have a notion of [[Hall subgroup (profinite groups)|Hall subgroup in a profinite group]] which generalizes the above notion of Hall subgroup.
+===Sylow subgroups and other special cases===
-===Definition with symbols===
+* [[Sylow's theorem]] states for Sylow subgroups (Hall subgroups corresponding to a single prime), the existence, conjugacy, and domination conditions hold in ''all'' [[finite group]]s, not just in finite solvable groups.
+* [[Nilpotent Hall subgroups of same order are conjugate]]
-A subgroup <math>H</math> of a finite group <math>G</math> is termed a Hall subgroup if the order of H (viz the cardinality of <math>H</math> as a set) is coprime to the index of <math>H</math> (viz the number of cosets of <math>H</math> in <math>G</math>).
+===General non-existence and other results===
-Equivalently, <math>H</math> is a Hall subgroup if for any prime dividing the order of <math>G</math>, either the prime is ''fully'' inside the order of <math>H</math> or ''fully'' inside the index of <math>H</math>.
+* [[Hall subgroups need not exist]]
+* [[Hall not implies order-isomorphic]]: It is possible for two <math>\pi</math>-Hall subgroups of a finite group <math>G</math> to be non-isomorphic.
+* [[Hall not implies isomorph-conjugate]]: It is possible for two isomorphic <math>\pi</math>-Hall subgroups of a finite group <math>G</math> to not be [[conjugate subgroups]] inside <math>G</math>.
 ==Relation with other properties==
@@ Line 23: / Line 74: @@
 ===Stronger properties===
-* [[Sylow subgroup]]
+{| class="sortable" border="1"
-* [[Sylow complement]]
+! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions
+|-
+| [[Weaker than::Sylow subgroup]] || Hall subgroup for a single prime, i.e., [[finite p-group]] whose index is relatively prime to <math>p</math> for some prime <math>p</math> || || || {{intermediate notions short|Hall subgroup|Sylow subgroup}}
+|-
+| [[Weaker than::p-complement]] || Hall <math>p'</math>-subgroup, i.e., Hall subgroup whose index is a prime power || || || {{intermediate notions short|Hall subgroup|p-complement}}
+|-
+| [[Weaker than::normal Hall subgroup]] || Hall subgroup that is also a [[normal subgroup]] || || || {{intermediate notions short|Hall subgroup|normal Hall subgroup}}
+|-
+| [[Weaker than::Normal Sylow subgroup]] || Sylow subgroup that is also a [[normal subgroup]] || || || {{intermediate notions short|Hall subgroup|normal Sylow subgroup}}
+|-
+| [[Weaker than::Hall retract]] || Hall subgroup that is also a [[retract]], i.e., it has a [[normal complement]]. Note that the normal complement must also be a [[Hall subgroup]] for the complementary set of primes || || || {{intermediate notions short|Hall subgroup|Hall retract}}
+|-
+| [[Weaker than::Sylow retract]] || Sylow subgroup that is also a retract, i.e., <math>p</math>-Sylow subgroup in a group that has a [[normal p-complement]] || || || {{intermediate notions short|Hall subgroup|Sylow retract}}
+|-
+| [[Weaker than::nilpotent Hall subgroup]] || Hall subgroup that is also a [[nilpotent group]] || || || {{intermediate notions short|Hall subgroup|nilpotent Hall subgroup}}
+|-
+| [[Weaker than::order-dominating Hall subgroup]] || Hall subgroup that is also an [[order-dominating subgroup]], i.e., any subgroup of the whole group whose order divides it is conjugate to a subgroup of it || || [[Hall not implies order-dominating]] || {{intermediate notions short|Hall subgroup|order-dominating Hall subgroup}}
+|-
+| [[Weaker than::order-conjugate Hall subgroup]] || Hall subgroup that is also an [[order-conjugate subgroup]], i.e., all Hall subgroups of that order are [[conjugate subgroups]] || || [[Hall not implies order-conjugate]] || {{intermediate notions short|Hall subgroup|order-conjugate Hall subgroup}}
+|-
+| [[Weaker than::isomorph-conjugate Hall subgroup]] || Hall subgroup that is also an [[isomorph-conjugate subgroup]], i.e., it is [[conjugate subgroups|conjugate]] to all isomorphic subgroups || || [[Hall not implies isomorph-conjugate]] || {{intermediate notions short|Hall subgroup|isomorph-conjugate Hall subgroup}}
+|-
+| [[Weaker than::pronormal Hall subgroup]] || Hall subgroup that is also a [[pronormal subgroup]] || || || {{intermediate notions short|Hall subgroup|pronormal Hall subgroup}}
+|}
+===Weaker properties===
+{| class="sortable" border="1"
+! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions
+|-
+| [[Stronger than::join of Sylow subgroups]] || join of [[Sylow subgroup]]s of the whole group || [[Hall implies join of Sylow subgroups]] || || {{intermediate notions short|join of Sylow subgroups|Hall subgroup}}
+|-
+| [[Stronger than::join of automorph-conjugate subgroups]] || join of [[automorph-conjugate subgroup]]s of the whole group || (via join of Sylow sugroups) || || {{intermediate notions short|join of automorph-conjugate subgroups|Hall subgroup}}
+|-
+| [[Stronger than::core-characteristic subgroup]] || [[normal core]] is a [[characteristic subgroup]] || || || {{intermediate notions short|core-characteristic subgroup|Hall subgroup}}
+|-
+| [[Stronger than::closure-characteristic subgroup]] || [[normal closure]] is a [[characteristic subgroup]] || || || {{intermediate notions short|closure-characteristic subgroup|Hall subgroup}}
+|-
+| [[Stronger than::paracharacteristic subgroup]] || [[contranormal subgroup|contranormal]] in its join with any [[automorphic subgroups|automorphic subgroup]] || (via join of Sylow subgroups, see also [[Hall implies paracharacteristic]]) || || {{intermediate notions short|paracharacteristic subgroup|Hall subgroup}}
+|-
+| [[Stronger than::paranormal subgroup]] || [[contranormal subgroup|contranormal]] in its join with any [[conjugate subgroups|conjugate subgroup]] || (via paracharacteristic) || || {{intermediate notions short|paranormal subgroup|Hall subgroup}}
+|-
+| [[Stronger than::polycharacteristic subgroup]] || || (via paracharacteristic) || || {{intermediate notions short|polycharacteristic subgroup|Hall subgroup}}
+|-
+| [[Stronger than::polynormal subgroup]] || || (via paranoral, also via polycharacteristic) || || {{intermediate notions short|polynormal subgroup|Hall subgroup}}
+|-
+| [[Stronger than::intermediately normal-to-characteristic subgroup]] || for any intermediate subgroup in which it is [[normal subgroup|normal]], it is also [[characteristic subgroup|characteristic]] in that subgroup || || || {{intermediate notions short|intermediately normal-to-characteristic subgroup|Hall subgroup}}
+|-
+| [[Stronger than::intermediately subnormal-to-normal subgroup]] || for any intermediate subgroup in which it is [[subnormal subgroup|subnormal]], it is also [[normal subgroup|normal]] in that subgroup || || || {{intermediate notions short|intermediately subnormal-to-normal subgroup|Hall subgroup}}
+|}
 ===Conjunction with other properties===
-* [[Normal Hall subgroup]]: These are [[fully characteristic subgroup|fully characteristic]]. {{normal-to-characteristic}}
+* [[Weaker than::Normal Hall subgroup]]: These are [[fully characteristic subgroup|fully characteristic]]. {{normal-to-characteristic}}
 ===Incomparable properties===
@@ Line 48: / Line 148: @@
 It is also [[identity-true subgroup property|identity-true]], that is, every finite group is a Hall subgroup of itself.
-{{transfercondn}}
+{{intsubcondn}}
+This states that if <math>H</math> is a Hall subgroup of <math>G</math> and <math>K</math> is some subgroup containing <math>H</math>, then <math>H</math> is a Hall subgroup of <math>K</math>.
-If <math>H</math> is a Hall subgroup of <math>G</math>, and <math>K</math> is any subgroup of <math>G</math>, then <math>H \cap K</math> is a Hall subgroup of <math>K</math>. This follows from the following two facts:
+{{proofat|[[Hall satisfies intermediate subgroup condition]]}}
-* The [[order of a group|order]] of <math>H</math> &cap; <math>K</math> divides the order of <math>H</math>
+{{not transfercondn}}
-* The [[index of a subgroup|index]] of <math>H</math> &cap; <math>K</math> in <math>K</math> divides the index of <math>H</math> in <math>G</math>
-{{intsubcondn}}
+{{proofat|[[Hall does not satisfy transfer condition]]}}
+==History==
-This states that if <math>H</math> is a Hall subgroup of <math>G</math> and <math>K</math> is some subgroup containing <math>H</math>, then <math>H</math> is a Hall subgroup of <math>K</math>.
+The notion of Hall subgroup was introduced by [[Philip Hall]] who studied their properties and proved the theorem that a group is solvable if and only if it has Hall subgroups of all possible orders. (see [[ECD condition for pi-subgroups in finite solvable groups]] and [[Hall's theorem]]).