Bieberbachsche Sätze

Die Bieberbachschen Sätze zeigen in der Kristallographie, dass es in jeder Dimension nur eine endliche Anzahl von Raumgruppen gibt. Ludwig Bieberbach löste damit 1910 das 18. der 23 mathematischen Probleme von David Hilbert.

Kristallographische Gruppen

→ Hauptartikel: Raumgruppe

Die Isometriegruppe $Isom(\mathbb {R} ^{n})$ des $n$-dimensionalen euklidischen Raumes $\mathbb {R} ^{n}$ ist die Gruppe

$Isom(\mathbb {R} ^{n})=O(n)\ltimes \mathbb {R} ^{n}$,

wobei $O(n)$ die orthogonale Gruppe, bestehend aus Spiegelungen und Drehungen um den Nullpunkt, ist und $\mathbb {R} ^{n}$ als Gruppe der Verschiebungen des $\mathbb {R} ^{n}$ aufgefasst wird.

Eine kristallographische Gruppe vom Rang $n$ ist eine diskrete und kokompakte Untergruppe

$\Gamma \subset Isom(\mathbb {R} ^{n})$.

Dabei bedeutet Kokompaktheit, dass die Gruppe einen kompakten Fundamentalbereich hat.

Sätze

1. Wenn $\Gamma$ eine kristallographische Gruppe vom Rang $n$ ist, dann ist die Menge aller Verschiebungen in $\Gamma$ eine maximale abelsche Untergruppe von endlichem Index.

2. Es gibt nur eine endliche Anzahl von Isomorphieklassen kristallographischer Gruppen vom Rang $n$.

3. Zwei kristallographische Gruppen $\Gamma _{1},\Gamma _{2}$ sind dann und nur dann isomorph, wenn sie innerhalb der Gruppe der affinen Transformationen $A(n):=GL(n,\mathbb {R} )\ltimes \mathbb {R} ^{n}$ konjugiert sind, d. h. wenn es ein $A\in A(n)$ mit $A\Gamma _{1}A^{-1}=\Gamma _{2}$ gibt.

Satz von Zassenhaus

Der 1. Bieberbachsche Satz hat auch eine Umkehrung, mit der kristallographische Gruppen abstrakt innerhalb der Gruppentheorie charakterisiert werden können. Sie wurde 1947 von Zassenhaus bewiesen.

Satz: Eine Gruppe $\Gamma$ ist genau dann eine kristallographische Gruppe vom Rang $n$, wenn sie eine normale maximale abelsche Untergruppe $\mathbb {Z} ^{n}$ von endlichem Index hat.

Literatur

• L. Bieberbach: Über die Bewegungsgruppen der Euklidischen Räume. (Erste Abhandlung.). Math. Ann. 70, 297–336 (1911). online
• L. Bieberbach: Über die Bewegungsgruppen der euklidischen Räume. (Zweite Abhandlung.) Die Gruppen mit einem endlichen Fundamentalbereich. Math. Ann. 72, 400–412 (1912). online
• H. Zassenhaus: Über einen Algorithmus zur Bestimmung der Raumgruppen. Comment. Math. Helv. 21, 117–141 (1948).