Lagrange's theorem (group theory)

Algebraic structure → Group theory Group theory
Basic notions Subgroup Normal subgroup Group action Quotient group (Semi-)direct product Direct sum Free product Wreath product Group homomorphisms kernel image simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable Glossary of group theory List of group theory topics
Finite groups Cyclic group Zn Symmetric group Sn Alternating group An Dihedral group Dn Quaternion group Q 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

In the mathematical field of group theory, Lagrange's theorem states that if H is a subgroup of any finite group G, then ${\displaystyle |H|}$ is a divisor of ${\displaystyle |G|}$, i.e. the order (number of elements) of every subgroup H divides the order of group G.

The theorem is named after Joseph-Louis Lagrange. The following variant states that for a subgroup ${\displaystyle H}$ of a finite group ${\displaystyle G}$, not only is ${\displaystyle |G|/|H|}$ an integer, but its value is the index ${\displaystyle [G:H]}$, defined as the number of left cosets of ${\displaystyle H}$ in ${\displaystyle G}$.

This variant holds even if ${\displaystyle G}$ is infinite, provided that ${\displaystyle |G|}$, ${\displaystyle |H|}$, and ${\displaystyle [G:H]}$ are interpreted as cardinal numbers.