Regular maps and their groups. (Q1445472)

Unter einem Polyeder (map) wird [im Sinne der kombinatorischen Topologie] ein System von endlich viel Ecken, Kanten und Flächenstücken verstanden, zwischen denen eine den üblichen Forderungen genügende Relation des ``Berandens'' besteht. Die Gruppe des orientierbar angenommenen Polyeders besteht aus der Gesamtheit aller eineindeutigen Abbildungen dieses Systems auf sich, bei denen Ecken in Ecken, Kanten in Kanten und Flächenstücke in Flächenstücke übergehen, die Relation des Berandens isomorph abgebildet wird und der Umlaufsinn erhalten bleibt. Liegen auf dem Rande eines jeden Flächenstücks \(n\) Kanten und \(n\) Ecken, und gibt es \(k\) Flächenstücke, so heißt das Polyeder regulär, wenn die Gruppe die Ordnung \(n\cdot k\) hat, d. h. hinsichtlich der Ecken, der Kanten und der Flächenstücke transitiv ist. Es gilt der Satz: Dann und nur dann läßt sich eine abstrakt gegebene Gruppe als Gruppe eines regulären Polyeders denken, wenn sie endlich ist und zwei Erzeugende besitzt, von denen die eine die Ordnung zwei hat. Es werden dann spezielle Gruppen untersucht, die zu regulären Polyedern gehören können; dabei ergibt sich u. a: Zur symmetrischen Gruppe vom Grade n gehört ein reguläres Polyeder, das aus \((n-1)!\) \(n\)-Ecken besteht und das topologische Geschlecht: \(1+(n-2)! \dfrac{n^2-5n+2}{4}\) hat. Entsprechende Sätze gelten für die alternierende Gruppe, Untergruppen von metazyklischen Gruppen sowie der Modulgruppe. Schließlich ergibt sich noch, daß es genau acht reguläre Polyeder vom topologischen Geschlecht zwei gibt.