Diskontinuierte Flytningsgrupper. (Q1459147)

Gegeben ist eine unbegrenzte, offene oder geschlossene zweidimensionale Mannigfaltigkeit \(M\) mit konstantem Krümmungsmaß; eine \(n\)-\(m\) Teilung derselben besteht aus einem polygonalem Netze \(N_{n,m}\), dessen Maschen kongruente reguläre \(n\)-Ecke, \(m\) um jeden Netzpunkt, sind. Zum Netze gehört eine diskontinuierliche Gruppe \(G_{n,m}\) der Bewegungen, durch die das Netz mit sich selbst zur Deckung gebracht wird. Als erstes Beispiel wird die \textit{Euklidische Ebene} \(P\) und die Gruppe \(G_{4,4}\) betrachtet; ist \(A\) eine Drehung um \(\dfrac\pi2\) um den Punkt \((\frac12,\frac12)\) und \(B\) eine Drehung um \(\pi\) um \((\frac12,0)\), so wird \(G_{4,4}\) von \(A\) und \(B\) erzeugt. Ein vollständiges Relationssystem der Gruppe ist \(S{}:{}\) (\(A^4=1\), \(B^2=1\), \((AB)^4=1\)); es wird dieses durch ein \textit{abgeleitetes Netz} (das Dehnsche Gruppenbild) bewiesen. Aus der Euklidischen Ebene werden \textit{geschlossene Euklidische Mannigfaltigkeiten} \(P_{p,q}\) vom Geschlecht 1 (Torus) dadurch hergeleitet, daß man zwei Punkte \((x,y)\equiv(x_1,y_1)\) identifiziert, wenn \(x\equiv x_1\pmod p\), \(y\equiv y_1\pmod q\) ist. Hierdurch entsteht das Netz \(N_{4,4;p,q}\) mit der Gruppe \(G_{4,4;p,q}\); \(C=A^2B\) und \(D=C_A=ABA\) sind Parallelverschiebungen um eine Einheit in Richtung der \(Y\)- bzw. \(X\)-Achse; es sind also jetzt die Relationen \(C^q=1\), \(D^p=1\) hinzuzufügen. \(G_{4,4;p,q}\) enthält nicht \(A\), wenn \(p\neq q\), dagegen \(A^2\). Während die Gruppe \(G_{4,4}\) die Gruppe \(\{C,D\}\) als unendliche Abelsche Untergruppe mit dem vollständigen Relationssystem \(C\rightleftarrows D\) (d. h. \(CD=DC\)) enthält, ist diese Gruppe \(\{C,D\}\) in \(G_{4,4;p,q}\) mit dem vollständigen Relationssystem (\(C^q=D^p=1\), \(C\rightleftarrows D\)) versehen. \(P\) ist die universelle Überlagerungsfläche der geschlossenen Mannigfaltigkeiten, und die endlichen Bewegungsgruppen sind Faktorgruppen der entsprechenden Gruppen der offenen Ebene oder der Untergruppen derselben. Analoge Verhältnisse findet man in den Mannigfaltigkeiten mit konstantem positivem oder negativem Krümmungsmaß. Die Kugel gestattet eine \(n\)-2 Teilung, eine 2-\(n\) T., eine 3-3 T., eine 3-4 T., eine 4-3 T., eine 3-5 T. und eine 5-3 Teilung; die entsprechenden Gruppen sind die \(n\)-Diedergruppe, die Tetraeder-, Oktaeder- und Ikosaedergruppe. Die entsprechenden vollständigen Relationen sind \(G_{3,2}=\{A,B; A^3=B^2=(AB)^2=1\}\) (3-Dieder) und \(G_{4,3}=\{A,B; A^4=B^2=(AB)^3=1\}\) (Hexaeder). \(S_{3,2}\) ist mit der symmetrischen Permutationsgruppe \(\varSigma_3\) isomorph, ebenso \(G_{4,3}\) mit \(\varSigma_4\). Von den Kugelteilungen gelangt man zu den Teilungen der elliptischen Ebene durch Identifizierung diametral entgegengesetzter Punkte. Um den Zusammenhang der Gruppe \(G_{n,n-1}\) mit der symmetrischen Permutationsgruppe \(\varSigma_n\) zu studieren, gebraucht man die hyperbolische Ebene \(H\), indem man ein reguläres \(n\)-Eck \(R\) mit dem Winkel \(\dfrac{2\pi}{n-1}\) (\(n>5\)) konstruiert. \(A\) ist eine Drehung \(\dfrac{2\pi}n\) von \(H\) um den Mittelpunkt von \(R\), \(B\) eine Drehung \(\pi\) um den Mittelpunkt einer Seite von \(R\). Durch \(A\) und \(B\) entsteht aus \(R\) das Netz \(N_{n,n-1}\) und die Gruppe \(G_{n,n-1}=\{A,B;A^n=B^2=(AB)^{n-1}=1\}\). Die Vollständigkeit des Relationssystems wird wieder durch ein abgeleitetes Netz bewiesen. Innerhalb dieser unendlichen Gruppe wird nun eine endliche Faktorgruppe bestimmt, indem man eine geschlossene Mannigfaltigkeit \(H_n\) konstruiert, die \(H\) als universelle Überlagerungsfläche hat.