# Satz von Lagrange

Der Satz von Lagrange ist ein mathematischer Satz der Gruppentheorie. Er besagt in seiner einfachsten Form, dass die Mächtigkeit (oder Ordnung) jeder Untergruppe einer endlichen Gruppe deren Mächtigkeit teilt. Er wurde nach dem italienischen Mathematiker Joseph-Louis Lagrange benannt.

## Aussage

Es seien $G$ eine endliche Gruppe, $H$ eine Untergruppe von $G$, $\left[G\colon H\right]$ der Index von $H$ in $G$, also die Anzahl der Nebenklassen von $H$ in $G$, und die Gruppenordnung werde mit $|H|$ bezeichnet.
Dann gilt
    $\left|G\right|=[G:H]\cdot |H|$.
Insbesondere sind für $|G|<\infty$ sowohl $|H|$ als auch $[G:H]$ Teiler von $|G|$.

## Beweis des Satzes

Betrachte für jedes $g\in G$ die Linksnebenklasse $gH=\{gh\mid h\in H\}$.
Es ist $h\mapsto gh$ eine Bijektion zwischen $H$ und $gH$, denn die Abbildung ist aufgrund der Definition einer Linksnebenklasse surjektiv und nach der Kürzungsregel $gh_{1}=gh_{2}\Rightarrow h_{1}=h_{2}$ auch injektiv. Somit haben alle Linksnebenklassen die gleiche Mächtigkeit wie die Untergruppe $|H|$.
Da die Nebenklassen als Äquivalenzklassen der Äquivalenzrelation $a\sim b\Leftrightarrow a^{-1}b\in H$ definiert werden können, liefern sie eine Partition von $G$. Da jede Nebenklasse genau $|H|$ Elemente hat und die Anzahl der Nebenklassen gleich $\left[G:H\right]$ ist, folgt
    $\left|G\right|=\left[G:H\right]\cdot \left|H\right|$
was zu beweisen war.

## Folgerungen

Da die Ordnung eines Gruppenelementes gerade die Ordnung der Untergruppe ist, die von diesem Element erzeugt wird, folgt aus dem Satz von Lagrange unmittelbar, dass die Ordnung eines Gruppenelementes stets die Ordnung der Gruppe teilt.
Aus diesem Resultat erhält man direkt den kleinen fermatschen Satz aus der Zahlentheorie und als weitere Verallgemeinerung den Satz von Euler.
Endliche Gruppen, deren Gruppenordnung eine Primzahl ist, sind nach dem Satz von Lagrange zyklisch und einfach. Da die Gruppenordnung eine Primzahl ist, kann es nämlich nach dem Satz von Lagrange nur die trivialen Untergruppen geben und somit erzeugt jedes nicht neutrale Element bereits die ganze Gruppe und es gibt nur die trivialen Normalteiler.

## Verallgemeinerung

Sei $G$ eine Gruppe, $U\leq V\leq G$ Untergruppen. Dann erhält man mit zweimaliger Anwendung des Satzes von Lagrange
    $\left[G:U\right]=\left[G:V\right]\cdot \left[V:U\right]$
Wählt man $U=\left\{e\right\}$ so erhält man daraus wieder den Satz von Lagrange.

## Untergruppen zu gegebener Ordnung

Mit dem Satz von Lagrange hat man für endliche Gruppen ein notwendiges Kriterium für die Existenz einer Untergruppe zu einer bestimmten Ordnung. Das Kriterium ist allerdings nicht hinreichend, das heißt im Allgemeinen gibt es für endliche Gruppen nicht zu jedem Teiler der Gruppenordnung auch eine Untergruppe, welche diese Ordnung hat. Die kleinste Gruppe, welche dies verdeutlicht, ist die Gruppe $A_{4}$. $A_{4}$ hat $12$ Elemente, aber keine Untergruppe der Ordnung $6$.
Dennoch gibt es bestimmte Gruppen, welche zu jedem Teiler der Gruppenordnung auch eine Untergruppe dieser Ordnung besitzen. Ein Beispiel sind die zyklischen Gruppen. Es gibt auch Sätze, welche die Existenz von Untergruppen bestimmter Ordnungen garantieren. Ein Beispiel hierfür sind die Sylow-Sätze.