Dreiecksgruppe

In der Mathematik ist eine Dreiecksgruppe eine Gruppe, die von den Spiegelungen an den Seiten eines Dreiecks – in der euklidischen Ebene, der Sphäre oder der hyperbolischen Ebene – erzeugt wird. Diese Dreiecksgruppen sind Symmetriegruppen von Parkettierungen der euklidischen Ebene, Sphäre oder hyperbolischen Ebene.

Definition

Seien $k\le l\le m$ natürliche Zahlen größer als $1$. Dann gibt es ein Dreieck mit Innenwinkeln $\frac{\pi }{k},\frac{\pi }{l},\frac{\pi }{m}$

• in der Sphäre genau dann, wenn $\frac{\pi }{k}+\frac{\pi }{l}+\frac{\pi }{m}>\pi$, also wenn $(k,l,m)=(2,3,5),(2,3,4),(2,3,3)$ oder $(2,2,m)$ mit $m\ge 2$
• in der euklidischen Ebene genau dann, wenn $\frac{\pi }{k}+\frac{\pi }{l}+\frac{\pi }{m}=\pi$, also wenn $(k,l,m)=(3,3,3),(2,4,4)$ oder $(2,3,6)$
• in der hyperbolischen Ebene genau dann, wenn $\frac{\pi }{k}+\frac{\pi }{l}+\frac{\pi }{m}<\pi$, also in allen anderen Fällen.

Die von den Spiegelungen $s_1,s_2,s_3$ an den drei Seiten dieses Dreiecks erzeugte Gruppe wird als (k,l,m)-Dreiecksgruppe bezeichnet. Sie hat die Präsentierung

$\mathrm{\Delta }(k,l,m)=⟨s_1,s_2,s_3|s_1^2=s_2^2=s_3^2=(s_1{s}_2{)}^k=(s_2{s}_3{)}^l=(s_3{s}_1{)}^m=1⟩$.

In der hyperbolischen Ebene gibt es darüber hinaus ideale Dreiecke, für die eine oder mehrere Ecken auf dem Rand im Unendlichen der hyperbolischen Ebene liegen, Innenwinkel Null haben und die entsprechenden der Variablen $k,l,m$ mit $\mathrm{\infty }$ bezeichnet werden. Die entsprechenden Dreiecksgruppen werden als ideale Dreiecksgruppen bezeichnet.

Parkettierungen

Das die Dreiecksgruppe definierende Dreieck ist ein Fundamentalbereich für die Wirkung der Gruppe auf der euklidischen Ebene, Sphäre oder hyperbolischen Ebene. Die Bilder des Dreiecks unter der Gruppenwirkung bilden eine Parkettierung der euklidischen Ebene, Sphäre oder hyperbolischen Ebene.

Sphärische Dreiecksgruppen

Für sphärische Dreiecksgruppen erhält man die folgenden Parkettierungen.

(2,2,2)	(2,2,3)	(2,2,4)	(2,2,5)	(2,2,6)	(2,2,n)
	Fehler beim Erstellen des Vorschaubildes:	Fehler beim Erstellen des Vorschaubildes:	Fehler beim Erstellen des Vorschaubildes:	Datei:Spherical dodecagonal bipyramid2.png
(2,3,3)		(2,3,4)		(2,3,5)
Fehler beim Erstellen des Vorschaubildes:		Fehler beim Erstellen des Vorschaubildes:		Datei:Icosahedral reflection domains.png

Euklidische Dreiecksgruppen

Für euklidische Dreiecksgruppen erhält man die folgenden Parkettierungen.

(2,3,6)	(2,4,4)	(3,3,3)
Fehler beim Erstellen des Vorschaubildes:	Fehler beim Erstellen des Vorschaubildes:	Datei:Tiling Regular 3-6 Triangular.svg

Hyperbolische Dreiecksgruppen

Für hyperbolische Dreiecksgruppen gibt es unendlich viele Möglichkeiten, man erhält unter anderem die folgenden Parkettierungen.

Fehler beim Erstellen des Vorschaubildes: (2 3 7)	Datei:H2checkers 238.png (2 3 8)	Datei:Hyperbolic domains 932 black.png (2 3 9)	Fehler beim Erstellen des Vorschaubildes: (2 3 ∞)
Fehler beim Erstellen des Vorschaubildes: (2 4 5)	Datei:H2checkers 246.png (2 4 6)	Datei:H2checkers 247.png (2 4 7)	Fehler beim Erstellen des Vorschaubildes: (2 4 8)	Fehler beim Erstellen des Vorschaubildes: (2 4 ∞)
Fehler beim Erstellen des Vorschaubildes: (2 5 5)	Fehler beim Erstellen des Vorschaubildes: (2 5 6)	Datei:H2checkers 257.png (2 5 7)	Datei:H2checkers 266.png (2 6 6)	Fehler beim Erstellen des Vorschaubildes: (2 ∞ ∞)
Datei:H2checkers 334.png (3 3 4)	Fehler beim Erstellen des Vorschaubildes: (3 3 5)	Datei:H2checkers 336.png (3 3 6)	Datei:H2checkers 337.png (3 3 7)	Fehler beim Erstellen des Vorschaubildes: (3 3 ∞)
Fehler beim Erstellen des Vorschaubildes: (3 4 4)	Datei:H2checkers 366.png (3 6 6)	Datei:H2checkers 3ii.png (3 ∞ ∞)	Datei:H2checkers 666.png (6 6 6)	Datei:Infinite-order triangular tiling.svg (∞ ∞ ∞)