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 van 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[bewerken | brontekst bewerken]

Zij $G$ een eindige groep en $H\leq 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\leq G\ ,\ |G|=n\ ,\ |H|=m

G=\{g_{1},..,g_{n}\}\ ,\ H=\{h_{1},..,h_{m}\}

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

Bewijs

De rechter nevenklasse van $H$ in $G$ voor een willekeurige $g\in G$ is

Hg=\{hg\ |\ h\in H\}

.

dus $|\ Hg\ |=m$ .

Wanneer $g\in H$ is $Hg=H$ .

Wanneer $g\notin H$ is $Hg=\{\ h_{1}g,..,h_{m}g\ \}$ . Dan is $Hg\cap H=\emptyset$ , omdat $H$ een groep is. Bijvoorbeeld $h_{i}g=h_{j}$ , dan is $g\in H$ en dat is in tegenspraak met de veronderstelling.

Vergelijk twee rechter nevenklassen $Hg_{1}$ en $Hg_{2}$ met elkaar. Veronderstel dat er een $g\in G$ is, zodat $g\in Hg_{1}$ en $g\in Hg_{2}$ . Dan zijn er twee $h_{i}$ en $h_{j}\in H$ , zodat $g=h_{i}g_{1}=h_{j}g_{2}$ . Noem $h=h_{i}^{-1}h_{j}$ , dan is $g_{1}=hg_{2}$ , dus is $Hg_{1}=Hg_{2}$ .

Wanneer $Hg_{1}\cap Hg_{2}=\emptyset$ , is $|\ Hg_{1}\ |=|\ Hg_{2}\ |=m$ .

Ieder element $g\in G$ is vanzelf element van een rechter nevenklasse van $H$ in $G$ . Het aantal elementen in iedere rechter nevenklasse van $H$ is $m$ . Dus is $n$ door $m$ te delen.

Dit bewijs is geleverd met rechternevenklassen, maar kan op dezelfde manier met de linkernevenklassen worden gegeven.

Voorbeelden[bewerken | brontekst bewerken]

$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 ${\mathcal {A}}_{4}$ is 12, dus kan 12 door de orde van alle mogelijk ondergroepen van ${\mathcal {A}}_{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 ${\mathcal {A}}_{4}$ voorkomen. ${\mathcal {A}}_{4}$ heeft bijvoorbeeld geen ondergroep waarvan de orde 6 is, maar overigens wel ondergroepen van de orde 1, 2, 3, 4 en 12.

Websites[bewerken | brontekst bewerken]