1 Freie Gruppe der Rotationen
1.1 Wahl der Rotationen und Zerlegung des Großteils der Kugel
Wir wählen konkret zwei Rotationen der Kugel, mit welchen wir die Zerlegung im Satz konstruieren werden.
Definition
1.1
Unsere Rotationsmatrizen sind:
Lemma
1.2
Invertierbarkeit von A und B
Es gilt und und damit sind und invertierbar.
Proof
▶
Folgt durch Nachrrechnen.
und erzeugen uns daher eine Untergruppe der Gruppe der invertierbaren -Matrizen.
Definition
1.3
bezeichnet die von und erzeugte Untergruppe.
Lemma
1.4
Die adjungierte 3x3 Matrix kann in einer bestimmten Form dargestellt werden...
Lemma
1.5
Konkrete darstellung der Drehungen
Wenn ein Ausdruck in der Länge in reduzierter Form ist, dann ist von der folgenden Form, wobei und ganze Zahlen sind: .
Proof
▶
Diese Behauptung folgt aus den Erzeugermatrizen und durch konkretes Multiplizieren eines reduzierten Wortes an (0,1,0).
Damit können wir zeigen, dass diese Untergruppe an Rotationen eine freie Gruppe in zwei Erzeugern ist.
Definition
1.6
Eine freie Gruppe ist eine Gruppe, in welcher zwei Wörter auf einer spezifischen Erzeugermenge unterschiedlich sind, außer ihre Gleichheit folgt aus den Gruppenaxiomen.
Theorem
1.7
Die von unseren konkreten Rotationen aus 1.1 erzeugte Untergruppe ist eine freie Gruppe.