KNOWPIA
WELCOME TO KNOWPIA

Algebraic structure → Group theoryGroup theory |
---|

In mathematics, a **Hall subgroup** of a finite group *G* is a subgroup whose order is coprime to its index. They were introduced by the group theorist Philip Hall (1928).

A **Hall divisor** (also called a unitary divisor) of an integer *n* is a divisor *d* of *n* such that
*d* and *n*/*d* are coprime. The easiest way to find the Hall divisors is to write the **prime factorization** for the number in question and take any product of the multiplicative terms (the full power of any of the prime factors), including 0 of them for a product of 1 or all of them for a product equal to the original number. For example, to find the Hall divisors of 60, show the prime factorization is 2^{2}·3·5 and take any product of {3,4,5}. Thus, the Hall divisors of 60 are 1, 3, 4, 5, 12, 15, 20, and 60.

A **Hall subgroup** of *G* is a subgroup whose order is a Hall divisor of the order of *G*. In other words, it is a subgroup whose order is coprime to its index.

If *π* is a set of primes, then a **Hall π-subgroup** is a subgroup whose order is a product of primes in

- Any Sylow subgroup of a group is a Hall subgroup.
- The alternating group
*A*_{4}of order 12 is solvable but has no subgroups of order 6 even though 6 divides 12, showing that Hall's theorem (see below) cannot be extended to all divisors of the order of a solvable group. - If
*G*=*A*_{5}, the only simple group of order 60, then 15 and 20 are Hall divisors of the order of*G*, but*G*has no subgroups of these orders. - The simple group of order 168 has two different conjugacy classes of Hall subgroups of order 24 (though they are connected by an outer automorphism of
*G*). - The simple group of order 660 has two Hall subgroups of order 12 that are not even isomorphic (and so certainly not conjugate, even under an outer automorphism). The normalizer of a Sylow 2-subgroup of order 4 is isomorphic to the alternating group
*A*_{4}of order 12, while the normalizer of a subgroup of order 2 or 3 is isomorphic to the dihedral group of order 12.

Hall (1928) proved that if *G* is a finite solvable group and *π*
is any set of primes, then *G* has a Hall *π*-subgroup, and any
two Hall *π*-subgroups are conjugate. Moreover, any subgroup whose order is
a product of primes in *π* is contained in some Hall *π*-subgroup. This result can be thought of as a generalization of Sylow's Theorem to Hall subgroups, but the examples above show that such a generalization is false when the group is not solvable.

The existence of Hall subgroups can be proved by induction on the order of *G*, using the fact that every finite solvable group has a normal elementary abelian subgroup. More precisely, fix a minimal normal subgroup *A*, which is either a *π*-group or a *π'*-group as *G* is *π*-separable. By induction there is a subgroup *H* of *G* containing *A* such that *H*/*A* is a Hall *π*-subgroup of *G*/*A*. If *A* is a *π*-group then *H* is a Hall *π*-subgroup of *G*. On the other hand, if *A* is a *π'*-group, then by the Schur–Zassenhaus theorem *A* has a complement in *H*, which is a Hall *π*-subgroup of *G*.

Any finite group that has a Hall *π*-subgroup for every set of primes *π* is solvable. This is a generalization of Burnside's theorem that any group whose order is of the form *p ^{ a}q^{ b}* for primes

A **Sylow system** is a set of Sylow *p*-subgroups *S _{p}* for each prime

Any normal Hall subgroup *H* of a finite group *G* possesses a complement, that is, there is some subgroup *K* of *G* that intersects *H* trivially and such that *HK* = *G* (so *G* is a semidirect product of *H* and *K*). This is the Schur–Zassenhaus theorem.

- Gorenstein, Daniel (1980),
*Finite groups*, New York: Chelsea Publishing Co., ISBN 0-8284-0301-5, MR 0569209. - Hall, Philip (1928), "A note on soluble groups",
*Journal of the London Mathematical Society*,**3**(2): 98–105, doi:10.1112/jlms/s1-3.2.98, JFM 54.0145.01, MR 1574393