Contents

Hall subgroup

Algebraic structure → Group theory Group theory
Basic notions Subgroup Normal subgroup Quotient group (Semi-)direct product Group homomorphisms kernel image direct sum wreath product simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable action Glossary of group theory List of group theory topics
Finite groups Cyclic groupZn Symmetric groupSn Alternating groupAn Dihedral groupDn Quaternion groupQ Cauchy's theorem Lagrange's theorem Sylow theorems Hall's theorem p-group Elementary abelian group Frobenius group Schur multiplier Classification of finite simple groups cyclic alternating Lie type sporadic
Discrete groups Lattices Integers (${\displaystyle \mathbb {Z} }$) Free group Modular groups PSL(2, ${\displaystyle \mathbb {Z} }$) SL(2, ${\displaystyle \mathbb {Z} }$) Arithmetic group Lattice Hyperbolic group
Topological and Lie groups Solenoid Circle General linear GL(n) Special linear SL(n) Orthogonal O(n) Euclidean E(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 Lorentz Poincaré Conformal Diffeomorphism Loop Infinite dimensional Lie group O(∞) SU(∞) Sp(∞)
Algebraic groups Linear algebraic group Reductive group Abelian variety Elliptic curve
v t e

"Hall divisor" redirects here. For the physical parameter, see quantum Hall effect.

Inmathematics, specifically group theory, a Hall subgroup of a finite group G is a subgroup whose orderiscoprime to its index. They were introduced by the group theorist Philip Hall (1928).

AHall divisor (also called a unitary divisor) of an integer n is a divisor dofn such that d and n/d are coprime. The easiest way to find the Hall divisors is to write the prime power factorization of the number in question and take any subset of the factors. For example, to find the Hall divisors of 60, its prime power factorization is 2² × 3 × 5, so one takes any product of 3, 2² = 4, and 5. Thus, the Hall divisors of 60 are 1, 3, 4, 5, 12, 15, 20, and 60.

AHall subgroupofG 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 π, and whose index is not divisible by any primes in π.

• Any Sylow subgroup of a group is a Hall subgroup.
• The alternating group A₄ 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.
• IfG = A₅, 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 automorphismofG).
• 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₄ 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 π′-groupasGisπ-separable. By induction there is a subgroup HofG containing A such that H/A is a Hall π-subgroupofG/A. If A is a π-group then H is a Hall π-subgroupofG. On the other hand, if A is a π′-group, then by the Schur–Zassenhaus theorem A has a complementinH, which is a Hall π-subgroupofG.

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^aq^b for primes p and q is solvable, because Sylow's theorem implies that all Hall subgroups exist. This does not (at present) give another proof of Burnside's theorem, because Burnside's theorem is used to prove this converse.

ASylow system is a set of Sylow p-subgroups S_p for each prime p such that S_pS_q = S_qS_p for all p and q. If we have a Sylow system, then the subgroup generated by the groups S_p for pinπ is a Hall π-subgroup. A more precise version of Hall's theorem says that any solvable group has a Sylow system, and any two Sylow systems are conjugate.

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

• Formation

• 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