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 {\displaystyle G} kan worden gedeeld door de van de orde van de ondergroepen van G {\displaystyle 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 {\displaystyle G} een eindige groep en H ≤ G {\displaystyle H\leq G} een ondergroep van G {\displaystyle G} . Volgens de stelling van Lagrange kan de orde van G {\displaystyle G} door de orde van H {\displaystyle H} worden gedeeld, anders gezegd is het aantal elementen in G {\displaystyle G} altijd een heel, positief veelvoud n {\displaystyle n} van het aantal elementen in H {\displaystyle H} .

Veronderstel dat G {\displaystyle G} een groep met n {\displaystyle n} elementen is en dat de orde van de ondergroep H {\displaystyle H} van G {\displaystyle G} gelijk aan m {\displaystyle m} is.

H ≤ G   ,   | G | = n   ,   | H | = m {\displaystyle H\leq G\ ,\ |G|=n\ ,\ |H|=m}
G = { g 1 , . . , g n }   ,   H = { h 1 , . . , h m } {\displaystyle G=\{g_{1},..,g_{n}\}\ ,\ H=\{h_{1},..,h_{m}\}}

Dan is n {\displaystyle n} door m {\displaystyle m} te delen.

Bewijs 

De rechter nevenklasse van H {\displaystyle H} in G {\displaystyle G} voor een willekeurige g ∈ G {\displaystyle g\in G} is

H g = { h g   |   h ∈ H } {\displaystyle Hg=\{hg\ |\ h\in H\}} .

dus |   H g   | = m {\displaystyle |\ Hg\ |=m} .

Wanneer g ∈ H {\displaystyle g\in H} is H g = H {\displaystyle Hg=H} .

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

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

Wanneer H g 1 ∩ H g 2 = ∅ {\displaystyle Hg_{1}\cap Hg_{2}=\emptyset } , is |   H g 1   | = |   H g 2   | = m {\displaystyle |\ Hg_{1}\ |=|\ Hg_{2}\ |=m} .

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

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

Voorbeelden

  • n / m {\displaystyle n/m} is gelijk aan het aantal nevenklassen van H {\displaystyle H} in G {\displaystyle G} , oftewel | G | / | H | {\displaystyle |G|/|H|} is. Deze waarde | G | / | H | {\displaystyle |G|/|H|} noemt men de index van H {\displaystyle H} in G {\displaystyle G} en wordt genoteerd als:
[ G : H ] = | G | / | H | {\displaystyle [G:H]=|G|/|H|}
  • De orde van de alternerende groep A 4 {\displaystyle {\mathcal {A}}_{4}} is 12, dus kan 12 door de orde van alle mogelijk ondergroepen van A 4 {\displaystyle {\mathcal {A}}_{4}} worden gedeeld. Het is niet gezegd dat alle getallen n {\displaystyle n} , zodat 12 door n {\displaystyle n} kan worden gedeeld, als de orde van een ondergroep van A 4 {\displaystyle {\mathcal {A}}_{4}} voorkomen. A 4 {\displaystyle {\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

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