Endliche Symmetriegruppen/Raum/Klassifikation/Textabschnitt

Lemma

Es sei ${}G\subseteq \operatorname {SO} _{3}\!{\left(\mathbb {R} \right)}$ eine endliche Untergruppe der Ordnung ${}n$ der Gruppe der eigentlichen linearen Isometrien des ${}\mathbb {R} ^{3}$ mit zwei verschiedenen Halbachsenklassen zu ${}G$.

Dann ist ${}G$ die zyklische Gruppe der Drehungen zu den Vielfachen des Winkels ${}2\pi /n$ um eine einzige fixierte Drehachse.

Beweis

Aufgrund von Fakt und Fakt muss ${}n=n_{1}=n_{2}$ sein und jede Halbachsenklasse enthält nur eine Halbachse. Daher gibt es überhaupt nur eine Drehachse und diese Bewegungsgruppe ist nach Fakt isomorph zu einer Bewegungsgruppe in der senkrechten Ebene, also nach Fakt isomorph zur zyklischen Gruppe der Ordnung ${}n$.

$\Box$

In diesem Fall gibt es also zwei Halbachsenklassen, die jeweils aus nur einer Halbachse bestehen.

Lemma

Es sei ${}G\subseteq \operatorname {SO} _{3}\,(\mathbb {R} )$ eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien des ${}\mathbb {R} ^{3}$ vom Typ ${}(2,2,k)$.

Dann ist ${}G$ isomorph zur Diedergruppe ${}D_{k}$.

Beweis

Es gibt drei Halbachsenklassen ${}K_{1}$, ${}K_{2}$, ${}K_{3}$, und zwar zwei mit der Ordnung ${}2$ (und je ${}k$ Halbachsen in der Klasse) und eine mit der Ordnung ${}k$ und zwei Halbachsen (die Anzahlen der Halbachsen folgen mit ${}n_{1}=n_{2}=2$ aus Fakt). Bei ${}k\geq 3$ müssen die beiden Halbachsen aus der dritten Klasse eine Gerade bilden, da ja die gegenüberliegende Halbachse die gleiche Ordnung besitzt, und bei ${}k=2$ muss jede Halbachse zu ihrem Gegenüber äquivalent sein. Wir bezeichnen die Achse zu ${}K_{3}$ mit ${}A_{3}$. Jedes Gruppenelement mit einer anderen Drehachse muss die beiden Halbachsen aus ${}K_{3}$ ineinander überführen, sodass alle anderen Achsen senkrecht zu ${}A_{3}$ stehen. Es sei ${}g$ eine erzeugende Drehung um ${}A_{3}$. Zu einer Halbachse ${}H_{1}$ aus ${}K_{1}$ sind die

$g^{i}(H_{1}),i=0,\ldots ,k-1,$

genau alle Halbachsen aus ${}K_{1}$. Diese (bzw. die Punkte darauf mit der Norm ${}1$) bilden ein regelmäßiges ${}k$-Eck in der zu ${}A_{3}$ senkrechten Ebene. Entsprechendes gilt für ${}g^{i}(H_{2})$ mit ${}H_{2}\in K_{2}$. Jede Halbdrehung um eine der Achsen aus ${}K_{1}$ überführt die Halbachsen aus ${}K_{2}$ in ebensolche. Daher liefern die Halbachsen aus ${}K_{2}$ eine „Halbierung“ des ${}k$-Ecks. Somit handelt es sich insgesamt um die (uneigentliche) Symmetriegruppe eines regelmäßigen ${}k$-Ecks oder um die eigentliche Symmetriegruppe der Doppelpyramide über einem regelmäßigen ${}k$-Eck, d.h. um eine Diedergruppe ${}D_{k}$.

$\Box$

In diesem Fall bestehen die beiden Halbachsenklassen der Ordnung zwei einerseits aus den Eckpunkten (oder Eckhalbachsen) und andererseits aus den Seitenmittelpunkten (oder Seitenmittelhalbachsen) des zugrunde liegenden regelmäßigen ${}n/2$-Ecks. Bei ${}n/2$ gerade sind gegenüberliegende Halbachsen äquivalent, bei ${}n/2$ ungerade nicht. Bei ${}n=4$ ist die Diedergruppe (also ${}D_{2}$) kommutativ und isomorph zur Kleinschen Vierergruppe.

Lemma

Es sei ${}G\subseteq \operatorname {SO} _{3}\,(\mathbb {R} )$ eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien des ${}\mathbb {R} ^{3}$ mit einer fixierten Halbachsenklasse ${}K$.

Dann ist die Abbildung

$G\longrightarrow \operatorname {Perm} \,(K),\,g\longmapsto \sigma _{g}:H\mapsto g(H),$

ein Gruppenhomomorphismus.

Beweis

Nach der Definition von Halbachsenklasse ist mit ${}H\in K$ auch ${}g(H)\in K$ für alle ${}g\in G$. Daher ist die Abbildung ${}\sigma$ wohldefiniert. Seien ${}f,g\in G$. Dann ist sofort

${}\sigma _{g\circ f}(H)=(g\circ f)(H)=g(f(H))=g(\sigma _{f}(H))=\sigma _{g}(\sigma _{f}(H))=(\sigma _{g}\circ \sigma _{f})(H)\,.$

$\Box$

Lemma

Es sei ${}G\subseteq \operatorname {SO} _{3}\,(\mathbb {R} )$ eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien des ${}\mathbb {R} ^{3}$ vom Typ ${}(2,3,3)$.

Dann ist ${}G$ die Tetraedergruppe

und damit isomorph zur alternierenden Gruppe ${}A_{4}$.

Beweis

Nach Voraussetzung gibt es drei Halbachsenklassen der Ordnung ${}2,3$ und ${}3$, ihre Elementanzahl ist daher ${}6,4$ und ${}4$. Betrachten wir eine Halbachsenklasse ${}K$ der Ordnung ${}3$ mit ihren vier äquivalenten Halbachsen und den zugehörigen Gruppenhomomorphismus

$G\longrightarrow \operatorname {Perm} \,(K),\,g\longmapsto \sigma _{g}.$

Sei ${}g\in G$ eine Dritteldrehung um eine Halbachse ${}H\in K$. Sie lässt ${}H$ fest und bewirkt eine Permutation der drei anderen Halbachsen in der Klasse. Diese Permutation kann nicht die Identität sein, da sonst ${}g$ mindestens zwei Achsen fest ließe und damit ${}g$ die (Raum)-Identität wäre. Da ${}g$ die Ordnung ${}3$ besitzt, muss diese Permutation ein Dreierzykel sein. Insbesondere gehören die vier Halbachsen zu verschiedenen Achsen, und die Doppeldrehung ${}g^{2}$ bewirkt den anderen Dreierzykel. Da man diese Überlegung mit jeder der vier Halbachsen aus ${}K$ anstellen kann, sieht man, dass ${}G$ sämtliche Dreierzykel der Permutationsgruppe der vier Halbachsen bewirkt. Das Bild des Gruppenhomomorphismus ist daher genau die alternierende Gruppe ${}A_{4}$ und damit ist ${}G\cong A_{4}$. Diese ist nach Aufgabe isomorph zur Tetraedergruppe.

$\Box$

In der vorstehenden Aussage kann man auch direkt erkennen, dass es sich um eine Tetradergruppe handeln muss. Dazu markieren wir auf jeder der vier Halbachsen den Punkt mit dem Abstand ${}1$ zum Nullpunkt. Aus dem Beweis des Lemmas folgt, dass je zwei solche Punkte den gleichen Abstand voneinander haben (und dass die Winkel der Halbachsen zueinander alle gleich sind). Daher bilden diese vier Punkte die Eckpunkte eines Tetraeders. Die gegenüberliegenden Halbachsen entsprechen den Seitenmittelpunkten der Tetraederflächen. Die Halbachsen der Ordnung zwei entsprechen den Kantenmittelpunkten.

Lemma

Es sei ${}G\subseteq \operatorname {SO} _{3}\,(\mathbb {R} )$ eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien des ${}\mathbb {R} ^{3}$ vom Typ ${}(2,3,4)$.

Dann ist ${}G$ isomorph zur Permutationsgruppe ${}S_{4}$ und zur Würfelgruppe.

Beweis

Wir betrachten die Halbachsenklasse ${}K_{2}$ der Ordnung ${}3$, die also ${}8$ zueinander äquivalente Halbachsen besitzt. Zu einer solchen Halbachse ${}H$ muss die entgegengesetzte Halbachse ebenfalls in einer der Halbachsenklassen liegen, und zwar in einer mit der gleichen Ordnung. Daher gehört auch ${}-H$ zu ${}K_{2}$, sodass an ${}K_{2}$ insgesamt vier Achsen beteiligt sind. Die Menge dieser Achsen nennen wir ${}{\mathfrak {A}}$. Wir betrachten den Gruppenhomomorphismus

$G\longrightarrow \operatorname {Perm} ({\mathfrak {A}}),\,g\longmapsto {\left(\sigma _{g}:A\mapsto g(A)\right)}.$

Hier wird also nur geschaut, was mit den Achsen passiert, nicht, was mit den Halbachsen passiert.

Es können nicht drei dieser vier Achsen in einer Ebene liegen. Wären nämlich ${}A_{1},A_{2},A_{3}\subseteq E$, so würde eine Dritteldrehung ${}f$ um ${}A_{1}$ die äquivalenten Achsen ${}f(A_{2})$ und ${}f(A_{3})$ hervorbringen, die aber nicht in der Ebene ${}E$ liegen können und die nicht beide gleich ${}A_{4}$ sein können. Das Element ${}g\in G$ habe die Eigenschaft, dass ${}\sigma _{g}$ die Identität ist, dass also alle Geraden ${}A\in {\mathfrak {A}}$ auf sich abgebildet werden. Nach Aufgabe muss ${}g$ die Identität sein. Der Gruppenhomomorphismus ist also nach dem Kernkriterium injektiv und daher muss eine Isomorphie vorliegen. Da man diese Überlegung insbesondere für die Würfelgruppe durchführen kann, ergibt sich auch die Isomorphie zwischen der Würfelgruppe und der Permutationsgruppe ${}S_{4}$.

$\Box$

Mit einem ähnlichen, aber aufwändigeren Argument kann man zeigen, dass die verbleibende numerische Möglichkeit, also eine Gruppe mit ${}60$ Elementen und mit den Drehordnungen ${}2,3$ und ${}5$ wieder nur von einem Isomorphietyp realisiert wird, nämlich von der alternierenden Gruppe ${}A_{5}$, die zugleich isomorph zur Dodekaedergruppe und zur Ikosaedergruppe ist.

Insgesamt haben wir (bis auf den Ikosaederfall) den folgenden Hauptsatz über endliche (eigentliche) Symmetriegruppen im Raum bewiesen.

Satz

Es sei ${}G\subseteq \operatorname {SO} _{3}\,(\mathbb {R} )$ eine endliche Untergruppe der Gruppe der eigentlichen, linearen Isometrien des ${}\mathbb {R} ^{3}$.

Dann ist ${}G$ eine der folgenden Gruppen.

1. Eine zyklische Gruppe ${}\mathbb {Z} /(n)$, ${}n\geq 1$,
2. Eine Diedergruppe ${}D_{k}$, ${}k\geq 2$,
3. Die Tetraedergruppe ${}A_{4}$,
4. Die Würfelgruppe ${}S_{4}$,
5. Die Ikosaedergruppe ${}A_{5}$.