Die symmetrische und die alternierende Gruppe. (Q2585928)

In einer früheren Abhandlung (Math. Ann., Leipzig, 91 (1924), 169-209; F. d. M. 50, 78 (JFM 50.0078.*)) stellte Verf. für die Erzeugenden \(P = (1, 2)\), \(Q = (1, 2,\dots, n)\) der symmetrischen Gruppe \(S_{n}\) die definierenden Relationen \(P^2 = Q^n = (QP)^{n-1} =(PQ^{-i}PQ^i)^2=1\) mit \(2\leqq i\leqq \biggl[\dfrac{n}{2}\biggr]\) auf. Die Gruppe \(\{P, Q\}\) mit dem Relationssystem \(P^2=Q^{-n}(QP)^{n-1}=(PQ^{-i}PQ^i)^2=1\) enthält die \(S_{n}\). \textit{E. Artin} zeigte durch einen topologischen Beweis mit Zöpfen (Abh. math. Sem. Hamburg. Univ. 4 (1925), 47-72; F. d. M. 51, 450 (JFM 51.0450.*)), daß die Gruppen \(\{P, Q\}\) und \(S_{n}\) übereinstimmen. Durch eine geringe Abänderung seiner a. a. O. benutzten Methoden gelingt Verf. hier auch der direkte Beweis: Die Gruppe \(\{P, Q\}\) kann höchstens \(n!\) Elemente enthalten, wie durch Induktion nach \(n\) unter Beweis von \(Q^n = 1\) durch Umschreiben der transformierten definierenden Relationen gezeigt wird. Für die alternierende Gruppe \(A_{n}\) wird für ungerades und gerades \(n\) je ein Erzeugendensystem und ein System von definierenden Relationen aufgestellt, das die \(A_{n}\) charakterisiert.