Satz von Nielsen-Schreier

Der Satz von Nielsen-Schreier ist ein grundlegendes Ergebnis der kombinatorischen Gruppentheorie, eines Teilgebiets der Mathematik, das sich mit diskreten (zumeist unendlichen) Gruppen beschäftigt. Der Satz besagt, dass in einer freien Gruppe jede Untergruppe frei ist. Neben dieser qualitativen Aussage stellt die quantitative Fassung eine Beziehung her zwischen dem Index und dem Rang einer Untergruppe. Dies hat die überraschende Konsequenz, dass eine freie Gruppe vom Rang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r \ge 2} Untergruppen von jedem beliebigen Rang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k \in \N} und sogar von (abzählbar) unendlichem Rang hat.

Der Satz kann besonders elegant und anschaulich mit Hilfe algebraisch-topologischer Methoden bewiesen werden, mittels Fundamentalgruppe und Überlagerungen von Graphen.

Aussage des Satzes

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} eine freie Gruppe, dann ist jede Untergruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} ebenfalls frei.

Hat die Untergruppe endlichen Index, so gilt zusätzlich folgende quantitative Aussage:

Ist $F$ eine freie Gruppe vom Rang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r} und ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} eine Untergruppe von endlichem Index Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} , dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} frei vom Rang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1 + n(r-1)} . Dies ist auch für $r=\infty$ richtig.

Beweise

Der Satz lässt sich wahlweise mit algebraischen oder topologischen Argumenten beweisen. Ein rein algebraischer Beweis findet sich im unten angegebenen Lehrbuch von Robinson. Der topologische Beweis gilt als besonders elegant und soll im Folgenden skizziert werden. Er benutzt auf raffinierte Weise die Darstellung freier Gruppen als Fundamentalgruppen von Graphen und ist ein Paradebeispiel für die fruchtbare Wechselwirkung zwischen Algebra und Topologie.

Freie Gruppen als Fundamentalgruppen von Graphen

Datei:Graph mit Spannbaum und Erzeuger der Fundamentalgruppe.svg

Graph mit Spannbaum (schwarz) und verbleibenden Kanten (rot). Letztere erzeugen frei die Fundamentalgruppe des Graphen. Als Beispiel gelb eingezeichnet ist der zur Kante $s_{1}$ gehörige Erzeuger.

Sei $\Gamma$ ein zusammenhängender Graph. Diesen realisieren wir als topologischen Raum, wobei jede Kante einem Weg zwischen den angrenzenden Ecken entspricht. Die entscheidende Feststellung ist nun, dass die Fundamentalgruppe $\pi _{1}(\Gamma ,*)$ eine freie Gruppe ist.

Um dieses Ergebnis explizit zu machen und damit auch zu beweisen, wählt man einen maximalen Baum $T\subset \Gamma$, also einen Baum, der alle Ecken von $\Gamma$ enthält. Die verbleibenden Kanten $S=\Gamma \setminus T$ liefern eine Basis von $\pi _{1}(\Gamma ,*)$, indem man für jede Kante $s\in S$ einen Weg $w_{s}$ wählt, der vom Fußpunkt $*$ im Baum $T$ bis zur Kante $s$ läuft, diese überquert und anschließend in $T$ wieder zum Fußpunkt zurückkehrt. (Man wählt als Fußpunkt zweckmäßigerweise eine Ecke von $\Gamma$; diese liegt dann automatisch in jedem maximalen Baum $T$.) Die Tatsache, dass die Homotopieklassen $[w_{s}]$ mit $s\in S$ eine Basis von $\pi _{1}(\Gamma ,*)$ bilden, kann man mittels kombinatorischer Homotopie beweisen, oder durch explizite Konstruktion der universellen Überlagerung des Graphen $\Gamma$.

Dieses Ergebnis können wir quantitativ fassen, wenn $\Gamma$ ein endlicher Graph mit $e$ Ecken und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle k} Kanten ist. Er hat dann die Euler-Charakteristik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi(\Gamma) = e-k} . Jeder maximale Baum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T \subset \Gamma} enthält dann genau Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e} Ecken und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle e-1} Kanten, und hat insbesondere die Euler-Charakteristik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi(T) = 1} . Es verbleiben die Kanten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Gamma \setminus T = \{x_1,\dots,x_r\}} und deren Anzahl ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r = k-e+1 = 1 - \chi(\Gamma)} . Die Fundamentalgruppe $\pi _{1}(\Gamma ,*)$ ist demnach eine freie Gruppe vom Rang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r = 1-\chi(\Gamma)} .

Topologischer Beweis des Satzes von Nielsen-Schreier

Qualitative Fassung: Jede freie Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} lässt sich darstellen als Fundamentalgruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi_1(\Gamma,*)} eines Graphen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Gamma} . Zu jeder Untergruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U \subset F} gehört eine Überlagerung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tilde\Gamma \to \Gamma} . Der Überlagerungsraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tilde\Gamma} ist dann wieder ein Graph, also ist die Gruppe $U=\pi _{1}({\tilde {\Gamma }},*)$ frei.

Quantitative Fassung: Jede freie Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} von endlichem Rang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r} lässt sich darstellen als Fundamentalgruppe $\pi _{1}(\Gamma ,*)$ eines endlichen Graphen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Gamma} mit Euler-Charakteristik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi(\Gamma) = 1-r} . Zu jeder Untergruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U \subset F} von Index Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} gehört dann eine Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} -blättrige Überlagerung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tilde\Gamma \to \Gamma} . Der überlagernde Graph Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tilde\Gamma} hat also die Euler-Charakteristik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \chi(\tilde\Gamma) = n\chi(\Gamma) = n(1-r)} , und die Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U = \pi_1(\tilde\Gamma,*)} ist demnach frei vom Rang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1 - \chi(\tilde\Gamma) = 1-n(1-r) = 1+n(r-1)} .

Geometrischer Beweis des Satzes von Nielsen-Schreier

Eine Gruppenoperation auf einem ungerichteten Graphen, also ein Homomorphismus in die Automorphismengruppe eines Graphen, heißt frei, wenn jedes vom neutralen Element verschiedene Gruppenelement frei operiert. Letzteres bedeutet, dass kein Knoten und keine Kante bei der Operation erhalten bleiben. Im geometrischen Beweis zeigt man, dass eine Gruppe genau dann frei ist, wenn sie eine freie Gruppenoperation auf einem Baum besitzt. Der Satz von Nielsen-Schreier ist nun ein einfaches Korollar, denn diese Charakterisierung freier Gruppen überträgt sich offenbar auf Untergruppen.

Folgerungen

Untergruppen der ganzen Zahlen

Für den Rang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r=0} ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} die triviale Gruppe, die nur aus dem neutralen Element besteht, und die Aussage des Satzes ist leer.

Die erste interessante Aussage finden wir im Rang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r=1} . Hier ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F \cong \Z} die freie abelsche Gruppe, und wir finden die Klassifikation der Untergruppen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Z} wieder: Die triviale Untergruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{0\}} ist frei vom Rang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0} , jede andere Untergruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I \subset \Z} ist von der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I = \langle n \rangle} vom Index $n$ und selbst wieder frei abelsch vom Rang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1} . Diese einfache Aussage kann auch ohne den Satz von Nielsen-Schreier bewiesen werden, zeigt aber, was im Spezialfall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F \cong \Z} in ihm steckt.

Untergruppen nicht-abelscher freier Gruppen

Für eine freie Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} vom Rang Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r \ge 2} folgt aus dem (quantitativen) Satz von Nielsen-Schreier, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} freie Untergruppen von beliebigem endlichen Rang enthält. Es genügt, dies für die von 2 Elementen erzeugte Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_2} zu zeigen, da diese in allen von $r\geq 2$ Elementen erzeugten freien Gruppen enthalten ist. Bildet man die beiden Erzeuger von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_2} auf den Erzeuger der zyklischen Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Z_n} ab, so erhält man aus der definierenden Eigenschaft der freien Gruppe einen surjektiven Gruppenhomomorphismus $\varphi :F_{2}\rightarrow \mathbb {Z} _{n}$. Nach dem Homomorphiesatz ist $F_{2}/\mathrm {ker} (\varphi )\cong \mathbb {Z} _{n}$, das heißt die Untergruppe $\mathrm {ker} (\varphi )\subset F_{2}$ hat den Index $n$. Sie ist nach der quantitativen Aussage des Satzes von Nielsen-Schreier daher isomorph zur von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1+n} Elementen erzeugten freien Gruppe.

Man kann in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F_2} sogar eine Untergruppe von abzählbar unendlichem Rang konstruieren.

Diese erstaunliche Eigenschaft steht im Gegensatz zu freien abelschen Gruppen (wo der Rang einer Untergruppe stets kleiner oder gleich dem Rang der gesamten Gruppe ist) oder Vektorräumen über einem Körper (wo die Dimension eines Unterraums stets kleiner oder gleich der Dimension des gesamten Raums ist).

Untergruppen endlich erzeugter Gruppen

Der Satz von Nielsen-Schreier handelt zwar zunächst nur von freien Gruppen, seine quantitative Fassung hat aber auch interessante Konsequenzen für beliebige, endliche erzeugte Gruppen. Ist eine Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} endlich erzeugt, von einer Familie mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r} Elementen aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} , und ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H \subset G} eine Untergruppe von endlichem Index Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} , dann hat auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H} ein endliches Erzeugendensystem mit höchstens Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1+n(r-1)} Elementen.

Wie schon im Fall freier Gruppen muss man im Allgemeinen also damit rechnen, dass eine Untergruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H \subset G} mehr Erzeuger benötigt als die gesamte Gruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} .

Geschichte

Der Satz ist benannt nach den Mathematikern Jakob Nielsen und Otto Schreier und verallgemeinert einen Satz von Richard Dedekind, dass Untergruppen freier abelscher Gruppen freie abelsche Gruppen sind, auf den nicht-abelschen Fall. Er wurde 1921 von Nielsen bewiesen, zunächst allerdings nur für freie Untergruppen von endlichem Rang (endlich erzeugte freie Untergruppen). Schreier konnte diese Einschränkung 1927 aufheben, und den Satz auf beliebige freie Gruppen verallgemeinern. Max Dehn erkannte die Beziehungen zur algebraischen Topologie und gab nach dem Nachruf auf Dehn von Ruth Moufang und Wilhelm Magnus als erster einen topologischen Beweis des Satzes von Nielsen-Schreier (unveröffentlicht). Eine Darstellung des Beweises mit Hilfe von Graphen gibt auch Otto Schreier in seiner Abhandlung von 1927 (wobei er den Graphen Nebengruppenbild nennt und ihn als Erweiterung des Dehnschen Gruppenbildes von 1910 auffasst). Weitere topologische Beweise stammen von Reinhold Baer und Friedrich Levi und Jean-Pierre Serre. Kurt Reidemeister stellte die Verbindung freier Gruppen mit geometrischer Topologie 1932 in seinem Lehrbuch über kombinatorische Topologie dar.

Literatur

• D. L. Johnson,: Topics in the Theory of Group Presentations, London Mathematical Society lecture note series, 42, Cambridge University Press, 1980 ISBN 978-0-521-23108-4.
• Wilhelm Magnus, Abraham Karrass, Donald Solitar: Combinatorial Group Theory, 2. Auflage, Dover Publications 1976.
• John Stillwell: Classical Topology and Combinatorial Group Theory, Graduate Texts in Mathematics, 72, Springer-Verlag, 2. Auflage 1993.

Siehe auch

• Der Untergruppensatz von Kurosch verallgemeinert den Satz von Nielsen-Schreier auf freie Produkte.

Weblinks

• NCatlab