Stelling van Lagrange (groepentheorie)

In de groepentheorie, een deelgebied van de wiskunde, legt de stelling van Lagrange een verband tussen de orde van een eindige groep en die van de ondergroepen ervan. De stelling zegt dat de orde van een groep $G$ kan worden gedeeld door de orde van de ondergroepen van $G$. Anders gezegd: het aantal elementen van de groep is een geheel veelvoud van het aantal elementen van een ondergroep. De stelling is naar Joseph-Louis Lagrange genoemd.

Definitie

Zij $G$ een eindige groep en $H\le G$ een ondergroep van $G$. Volgens de stelling van Lagrange kan de orde van $G$ door de orde van $H$ worden gedeeld, anders gezegd is het aantal elementen in $G$ altijd een heel, positief veelvoud $n$ van het aantal elementen in $H$.

Veronderstel dat $G$ een groep met $n$ elementen is en dat de orde van de ondergroep $H$ van $G$ gelijk aan $m$ is.

$H\le G,|G|=n,|H|=m$

$G=\{g_1,..,g_n\},H=\{h_1,..,h_m\}$

Dan is $n$ door $m$ te delen.

Voorbeelden

• $n/m$ is gelijk aan het aantal nevenklassen van $H$ in $G$, oftewel $|G|/|H|$ is. Deze waarde $|G|/|H|$ noemt men de index van $H$ in $G$ en wordt genoteerd als:

$[G:H]=|G|/|H|$

• De orde van de alternerende groep ${𝒜}_4$ is 12, dus kan 12 door de orde van alle mogelijk ondergroepen van ${𝒜}_4$ worden gedeeld. Het is niet gezegd dat alle getallen $n$, zodat 12 door $n$ kan worden gedeeld, als de orde van een ondergroep van ${𝒜}_4$ voorkomen. ${𝒜}_4$ heeft bijvoorbeeld geen ondergroep waarvan de orde 6 is, maar overigens wel ondergroepen van de orde 1, 2, 3, 4 en 12.

Websites

• MathWorld. Lagrange's Group Theorem.
• YouTube. Cosets and Lagrange’s Theorem - The Size of Subgroups (Abstract Algebra).