- Freie Gruppe
-
In der Mathematik heißt eine Gruppe frei, wenn sie eine Teilmenge S enthält, so dass jedes Gruppenelement auf genau eine Weise als (reduziertes) Wort von Elementen in S und deren Inversen geschrieben werden kann. Hierbei ist die Reihenfolge der Faktoren wichtig: Wenn man verlangt, dass alle Elemente der Gruppe kommutieren sollen, dann erhält man das verwandte aber sehr verschiedene Konzept der freien abelschen Gruppe.
Freie Gruppen spielen in der Gruppentheorie eine universelle Rolle und erlauben, jede Gruppe durch Erzeuger und Relationen darzustellen. Sie treten auch in der algebraischen Topologie auf, zum Beispiel als Fundamentalgruppe von Graphen (siehe Satz von Nielsen-Schreier) oder von Flächen wie der punktierten Ebene.
Inhaltsverzeichnis
Definition
Eine Gruppe F heißt frei über einer Teilmenge
wenn sich jedes Gruppenelement
auf genau eine Weise schreiben lässt als Produkt
mit Faktoren
, wobei
für alle i, und Exponenten
, wobei
für alle i.
Unter den genannten Bedingungen nennt man
ein reduziertes Wort über S. Demnach ist G frei über S, wenn sich jedes Element von G eindeutig als reduziertes Wort über S schreiben lässt. Die Existenz einer solchen Schreibweise ist gleichbedeutend damit, dass S ein Erzeugendensystem von G ist. Die Eindeutigkeit ist gleichbedeutend damit, dass zwischen den Elementen von S keine algebraischen Relationen bestehen (außer der in jeder Gruppe gültigen Kürzungsrelation uss − 1v = uv). Ist G frei über S so sagt man daher auch, G wird frei von S erzeugt. Man nennt dann S ein freies Erzeugendensystem oder auch Basis der Gruppe G.
Universelle Eigenschaft
Eine Gruppe F ist genau dann frei über einer Teilmenge
wenn sie folgende universelle Eigenschaft hat: Ist
eine beliebige Abbildung der Menge S in eine Gruppe G, dann gibt es genau einen Gruppenhomomorphismus
, der f fortsetzt, also h(s) = f(s) für alle
erfüllt.
Diese universelle Abbildungseigenschaft ist zu obiger Definition äquivalent. Jede der beiden Charakterisierungen kann also als Definition freier Gruppen verwendet werden, und in der Literatur finden sich beide Zugänge. Die jeweils andere Charakterisierung ist dann eine Folgerung.
Beispiele
Die Gruppe
der ganzen Zahlen ist frei über S = {1}. Die universelle Abbildungseigenschaft besagt hier: Zu jeder Gruppe G und jedem beliebigen Element
gibt es genau einen Gruppenhomomorphismus
mit h(1) = g. Dieser ist geben durch h(k) = gk für alle
.
Die zyklische Gruppe Cn der Ordnung
ist keine freie Gruppe. Diese wird von einem Element r der Ordnung n erzeugt, und die Relation rn = 1 verhindert, dass Cn frei ist. Man kann sich Cn vorstellen als die Rotationsgruppe des regelmäßigen n-Ecks in der Ebene, erzeugt von einer Rotation r um den Winkel 2π / n. Jedes Element lässt sich dann schreiben als rk mit
, aber diese Schreibweise ist nicht eindeutig, denn rk = rk + n.
Das kartesische Produkt
mit der komponentenweisen Addition ist eine freie abelsche Gruppe über {(1,0),(0,1)}, aber keine freie Gruppe. Allgemein ist eine freie abelsche Gruppe über einer Menge S mit mehr als einem Element keine freie Gruppe.
Sei σ die Drehung des
um die x-Achse
um den Winkel
, und τ die Drehung des
um die y-Achse
um den Winkel
. Dann ist die von σ und τ erzeugte Untergruppe der allgemeinen linearen Gruppe
eine freie Gruppe über S = {σ,τ}. Eine solche freie Dreh-Gruppe über einem zweielementigen Erzeugendensystem tritt im Beweis des Banach-Tarski-Paradoxon auf.
Konstruktion
Zu jeder Menge S gibt es eine freie Gruppe F(S) über S. Diese kann wie folgt konstruiert werden.
Um zunächst zu jedem Element
auch ein Inverses s − 1 zu haben, betrachten wir die Menge
und definieren hierauf eine Involution
durch (s,ε) − 1 = (s, − ε). Wir identifizieren hierbei S mit
vermöge der Abbildung
. Sei M = A * die Menge aller Wörter über dem Alphabet A. Die Verkettung von Wörtern definiert hierauf eine Verknüpfung
. Damit wird
zum freien Monoid über A. Auf M betrachten wir die Äquivalenzrelation, die durch die elementaren Umformungen
erzeugt wird. Zwei Wörter in M sind also genau dann äquivalent, wenn sie durch eine endliche Folge von Einfügen oder Entfernen von Unterwörtern der Form aa − 1 mit
ineinander übergehen. Die Menge
der Äquivalenzklassen bezeichnen wir mit F = F(S). Die Verknüpfung auf M induziert auf der Quotientenmenge F eine wohldefinierte Verknüpfung
. Nach Konstruktion wird
damit zur freien Gruppe über S.
Die freie Gruppe über S ist in folgendem Sinne eindeutig: Sind F1 und F2 zwei freie Gruppen über S, dann sind sie kanonisch isomorph, das heißt es gibt genau einen Gruppenisomorphismus
mit der Eigenschaft f(s) = s für alle
. Diese Eindeutigkeit erlaubt es, von der freien Gruppe über S zu sprechen.
Ist S die leere Menge, dann ist F(S) die einelementige Gruppe, die nur aus dem neutralen Element besteht.
Wortproblem
Das Wortproblem lässt sich in einer freien Gruppe F = F(S) sehr einfach lösen. Zu jedem gegebenen Wort
in den freien Erzeugern S findet man wie folgt ein äquivalentes reduziertes Wort: man fasst benachbarte gleiche Erzeuger zusammen bis schließlich
für alle i, und entfernt anschließend überflüssige Einträge um
für all i sicherzustellen. Man gelangt somit zu einem reduzierten Wort, das dasselbe Gruppenelement darstellt, und diese Darstellung ist nach Definition eindeutig. Auf diese Weise lassen sich je zwei Elemente von F miteinander vergleichen und feststellen, ob sie gleich oder verschieden sind.
Dieses Vergleichsverfahren setzt wesentlich voraus, dass zwischen den Erzeugern keine Relationen bestehen. Im Gegensatz hierzu ist in einer durch Erzeuger und Relationen gegebenen Gruppe das Wortproblem oft schwierig und im Allgemeinen algorithmisch nicht lösbar (Satz von Novikov und Boone).
Rang
Ist eine Gruppe F sowohl frei über S als auch frei über S', dann haben die Mengen S und S' dieselbe Mächtigkeit. Diese heißt Rang der freien Gruppe F. Nach obiger Konstruktion gibt es für jede Mächtigkeit n bis auf Isomorphie genau eine freie Gruppe vom Rang n.
Um zu beweisen, dass der Rang eindeutig bestimmt ist, kann man auf verschiedene Arten vorgehen. Für eine freie Gruppe F = F(S) über einer Menge S endlicher Mächtigkeit
gelingt dies besonders einfach: Aufgrund der universellen Abbildungseigenschaft von F besteht die Menge Hom(F,C2) aller Gruppenhomomorphismen in die zyklische Gruppe C2 aus genau 2n Elementen. Damit ist n durch die Gruppe F eindeutig festgelegt.
Allgemein kann man die freie Gruppe F = F(S) abelsch machen, und die so erhaltene Faktorgruppe Fab = F / [F,F] ist frei abelsch vom Rang | S | . Dieser Rang entspricht der Dimension des Vektorraums
über einem Körper K (zum Beispiel
) und ist damit eindeutig durch die Gruppe F festgelegt.
Basiswechsel und Automorphismen
Eine freie Gruppe F vom Rang
hat unendlich viele Basen. Jeder Automorphismus
sendet eine Basis
auf eine neue Basis
. Umgekehrt existiert zu je zwei solchen Basen B und B' genau ein Automorphismus
mit h(B) = B'. Das deutet bereits an, selbst wenn die freien Gruppen selbst recht leicht zu verstehen sind, so sind doch ihre Automorphismengruppen hochgradig kompliziert und interessant.
Untergruppen
Jede Untergruppe einer freien Gruppe ist frei, nach dem Satz von Nielsen-Schreier (benannt nach Jakob Nielsen und Otto Schreier).
Eine freie Gruppe vom Rang n hat offenbar zu jeder Mächtigkeit m < n eine Untergruppe des Rangs m. Im Falle
existieren aber auch Untergruppen von jedem abzählbaren Rang (Satz von Nielsen-Schreier). 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).
Weitere Eigenschaften
Die Eigenschaften freier Gruppen im nicht-abelschen Fall (für Rang
) unterscheiden sich stark vom abelschen Fall (für Rang 0 oder 1). Letztere sind gewissermaßen zwei Ausnahmen vom generischen Fall:
- Die freie Gruppe vom Rang 0 ist die triviale Gruppe, die nur aus dem neutralen Element besteht.
- Die freie Gruppe vom Rang 1 ist die unendlich zyklische Gruppe
und damit abelsch.
- Eine freie Gruppe vom Rang
ist nicht abelsch und ihr Zentrum besteht nur aus dem neutralen Element.
Die Abelschmachung der freien Gruppe vom Rang r ist die freie abelsche Gruppe vom Rang r, isomorph zu
.
Ist F eine freie Gruppe vom Rang
, dann ist die Kommutator-Untergruppe F' = [F,F] frei von abzählbar unendlichem Rang. Im einfachsten Fall, für die freie Gruppe F = F(a,b) über den Erzeugern a,b, wird F' frei erzeugt von den Kommutatoren [am,bn] mit
.
Jede freie Gruppe ist torsionsfrei, das heißt sie enthält keine nicht-trivialen Elemente endlicher Ordnung.
Der Cayley-Graph einer freien Gruppe F ist ein Baum, und F operiert hierauf frei und orientierungstreu. Umgekehrt gilt: Operiert eine Gruppe G frei und orientierungstreu auf einem Baum, dann ist G eine freie Gruppe.
Ist F eine freie Gruppe vom Rang n, dann hat jedes Erzeugendensystem
mindestens n Elemente. Hat ein Erzeugendensystem
genau n Elemente, dann ist es frei.
Anwendungen
Gruppentheorie
Freie Gruppen dienen in der Gruppentheorie dazu, eine gegebene Gruppe G durch Erzeuger und Relationen darzustellen. Sei hierzu
ein Erzeugendensystem der Gruppe G. (Zum Beispiel kann man immer S = G nehmen. Meist wählt man S jedoch möglichst klein. Wenn S als endliche Menge gewählt werden kann, dann nennt man G eine endlich erzeugte Gruppe.) Der Gruppenhomomorphismus
, der die Abbildung
auf F(S) fortsetzt, ist dann surjektiv. Der Kern R = ker(h) beschreibt die algebraischen Relationen, die zwischen den Erzeugern aus S in G gelten. Die Faktorgruppe F(S) / R ist dann zur vorgegebenen Gruppe G isomorph.
Algebraische Topologie
Freie Gruppen treten auch in der algebraischen Topologie auf, zum Beispiel als Fundamentalgruppen von Graphen oder Flächen wie der punktierten Ebene:
- Die Fundamentalgruppe jedes zusammenhängenden Graphen ist frei. Diese Tatsache kann zu einem topologischen Beweis des Satzes von Nielsen-Schreier benutzt werden.
- Die Fundamentalgruppe der n-fach punktierten Ebene
ist eine freie Gruppe vom Rang n. Eine Basis
kann hierbei geometrisch angegeben werden durch Homotopieklassen von Wegen, wobei xi einmal um den Punkt pi läuft. (Der Raum X ist homotopie-äquivalent zu einem Graphen, siehe das vorhergehende Beispiel.)
- Ebenso ist die Fundamentalgruppe einer berandeten kompakten Fläche vom Geschlecht
mit
Randkompenenten frei, und zwar vom Rang 2g + b − 1. (Für unberandete Flächen vom Geschlecht
besteht allerdings eine Relation und die Fundamentalgruppe ist nicht frei.)
Logik erster Stufe und Tarskis Fragen
Um 1945 stellte der Logiker Alfred Tarski zwei Fragen, die im Laufe der Jahre berühmt wurden und für ihre Schwierigkeit berüchtigt sind:
- Haben alle freien Gruppen vom Rang
dieselbe elementare Theorie? Das heißt, stimmen für diese Gruppen alle Sätze überein, die sich in der Logik erster Stufe formulieren lassen?
- Sind diese elementaren Theorien entscheidbar?
Beide Fragen wurden im Jahr 2006 gelöst: Zlil Sela hat gezeigt, dass alle freien Gruppen vom Rang
dieselbe elementare Theorie haben[1] und Olga Kharlampovich und Alexei Myasnikov konnten zudem zeigen, dass diese Theorie entscheidbar ist.[2]
Geschichte
Bereits 1882 wies Walther von Dyck darauf hin, dass freie Gruppen die einfachst möglichen Präsentationen besitzen, nämlich solche ohne jede Relation.[3] Die systematische Untersuchung freier Gruppen wurde jedoch erst in den 1920er Jahren von Jakob Nielsen begonnen, der freien Gruppen ihren heutigen Namen gab und viele ihrer grundlegenden Eigenschaften bewies, insbesondere den Satz von Nielsen-Schreier. Otto Schreier bewies diesen Satz in voller Allgemeinheit im Jahre 1927.[4]. Max Dehn erkannte die Beziehungen zur algebraischen Topologie und gab als erster einen topologischen Beweis des Satzes von Nielsen-Schreier.[5] Kurt Reidemeister stellte diese Entwicklung 1932 in seinem Lehrbuch über kombinatorische Topologie dar.[6] In den 1930er Jahren entwickelte dann Wilhelm Magnus die Beziehung zwischen der absteigenden Zentralreihe freier Gruppen und freier Lie-Algebren.
Einzelnachweise
- ↑ Z. Sela, 'Diophantine geometry over groups. VI. The elementary theory of a free group.' Geom. Funct. Anal. 16 (2006), no. 3, 707--730.
- ↑ O. Kharlampovich, A. Myasnikov: 'Elementary theory of free non-abelian groups.' J. Algebra 302 (2006), no. 2, 451--552
- ↑ Walther von Dyck: Gruppentheoretische Studien. In: Mathematische Annalen. 20, Nr. 1, 1882, S. 1–44. doi:10.1007/BF01443322.
- ↑ Otto Schreier: Die Untergruppen der freien Gruppen. In: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg. 5, 1927, S. 161–183. doi:10.1007/BF02952517.
- ↑ Siehe Wilhelm Magnus, Moufang, Ruth: Max Dehn zum Gedächtnis. In: Mathematische Annalen. 127, Nr. 1, 1954, S. 215–227. doi:10.1007/BF01361121..
- ↑ Kurt Reidemeister: Einführung in die kombinatorische Topologie. Darmstadt: Wissenschaftliche Buchgesellschaft 1972 (Nachdruck des Originals von 1932)
Literatur
- Roger C. Lyndon, Paul E. Schupp: Combinatorial Group Theory, Springer, Berlin 1977
Wikimedia Foundation.