Abstract definitions for the symmetry groups of the regular polytopes, in terms of two generators. I: The complete groups. (Q2605839)

Jede Gruppe euklidischer kongruenter Abbildungen, die ein reguläres Polyeder in sich selbst transformiert, kann nach, \textit{J. A. Todd} (Proc. Cambridge phil. Soc. 27 (1931), 212-231 (F.~d.~M. 57\(_{\text{I}}\), 152), insbes. S. 224 in der abstrakten Form: \[ \begin{aligned} & R_{\nu}^2=1 \qquad (\nu=1,\, 2, \ldots \!, n), \\ & (R_{\varkappa}R_{\varkappa+1})^{k_{\varkappa}}=1 \qquad (\varkappa=1,\, 2, \ldots \!, n-1), \\ & (R_{\varkappa}R_{\lambda})^2=1 \qquad (\varkappa=1,\, 2, \ldots \!, n-2;\, \lambda=\varkappa+2, \,\varkappa+3, \ldots \!, n) \end{aligned} \] geschrieben werden. Wird diese Gruppe mit \([k_1,\, k_2, \ldots \!, k_{n-1}]\) bezeichnet, so sind allein die Gruppen: \[ [k], \; \; [3,\,3,\ldots \!,3], \; \; [3,\, 3,\ldots \!,3,\,4], \; \; [3,\,5], \;\; [3,\, 3,\, 5], \;\; [3,\,4,\,3] \] endliche Gruppen. Für diese Gruppen geben Verf. abstrakte Definitionen mit zwei Erzeugenden an.