Twierdzenie Lagrange’a (teoria grup)

Twierdzenie Lagrange’a – twierdzenie teorii grup mówiące, że w grupie skończonej rząd dowolnej jej podgrupy jest dzielnikiem rzędu grupy, tzn. zachodzi równość

$|G|=|G:H|\cdot |H|,$

gdzie $|G:H|$ oznacza indeks podgrupy $H$ w $G,$ zaś $|G|,|H|$ odpowiednio rząd grupy i podgrupy.

Wynik nosi nazwisko Josepha Louisa Lagrange’a.

Dowód

Niech $G$ będzie grupą skończoną. Zbiór warstw lewostronnych $\{gH:g\in G\}$ grupy $G$ względem podgrupy $H$ stanowi rozbicie zbioru $G$ na $n=|G:H|$ równolicznych ze zbiorem $H$ zbiorów: $g_{1}H,g_{2}H,\dots ,g_{n}H.$

W ten sposób

$G=g_{1}H\cup g_{2}H\cup \dots \cup g_{n}H,$

a skoro poszczególne warstwy są rozłączne, to

$|G|=|g_{1}H|+|g_{2}H|+\dots +|g_{n}H|,$

przy czym wszystkie warstwy są równoliczne z $H,$ co oznacza, że

$|G|=|H|+|H|+\dots +|H|=n|H|,$

zatem

$|G|=|G:H|\cdot |H|.$

Wnioski i uwagi

• Rząd dowolnego elementu grupy jest dzielnikiem rzędu grupy (wynika to wprost z definicji rzędu). W szczególności, dla dowolnego elementu $g$ danej grupy $G$ prawdziwa jest równość $g^{n}=e,$ gdzie $e$ jest elementem neutralnym grupy, a $n$ oznacza jej rząd.
• Jeżeli rząd grupy jest liczbą pierwszą, to jest ona grupą cykliczną.
• Twierdzenie odwrotne do twierdzenia Lagrange’a nie jest prawdziwe, tzn. nie gwarantuje, że dla każdego dzielnika rzędu grupy istnieje podgrupa, której rząd jest równy danemu dzielnikowi.

Przykładowo grupa alternująca $A_{4}$ jest podgrupą grupy symetrycznej $S_{4},$ przy czym rząd pierwszej jest dzielnikiem rzędu drugiej, $4|A_{4}|=|S_{4}|,$ jednakże grupa $A_{4}$ nie zawiera żadnej podgrupy rzędu $4.$

Częściowym rozwiązaniem problemu istnienia podgrup danego rzędu są twierdzenie Cauchy’ego oraz twierdzenia Sylowa.

• Twierdzenie to rozumiane jako stwierdzenie o liczbach kardynalnych jest równoważne aksjomatowi wyboru.

Uogólnienia

Twierdzenie

Jeżeli $G$ jest skończona oraz $K\leqslant H\leqslant G,$ to zachodzi

$|G:K|=|G:H|\cdot |H:K|.$

Dowód

Z twierdzenia Lagrange’a wynika, że

$|G|=|G:K|\cdot |K|=|G:H|\cdot |H|$

oraz

$|H|=|H:K|\cdot |K|,$

skąd

$|G:K|\cdot |K|=|G:H|\cdot |H:K|\cdot |K|.$

Zobacz też

• twierdzenie Cauchy’ego
• twierdzenia Sylowa