Über eine Verallgemeinerung der Tetraedergruppe. (Q1460042)

Für ungerade Primzahlen \(p\) wird die durch \[ S^p=T^p=1,\quad T^a S^a=S^{p-a}T^{p-a}\quad \left(a=1, 2, \dots, \frac{p-1}2\right) \] definierte Gruppe untersucht. Sie hat die Ordnung \(p \cdot 2^{p-1}\) und enthält eine invariante Abelsche Untergruppe vom Index \(p\). Für \(p = 3\) ist sie die Tetraedergruppe.