Die Automorphismengruppe der freien Gruppen. (Q563306)

Bezeichnet \(\mathfrak F_n\) die freie Gruppe der Erzeugenden \(a_1,a_2,\ldots,a_n, [\alpha _1,\alpha _2,\ldots,\alpha _n]\) den Automorphismus von \(\mathfrak F_n\) der dem Element \(a_\nu \) das Wort \(\alpha _\nu (a_1,a_2,\ldots,a_n)\) zuordnet, so wird nach \textit{J. Nielsen} (1924; F. d. M. 50, 78 (JFM 50.0078.*)) die Automorphismengruppe \(\mathfrak G_n\) von \(\mathfrak F_n\) durch die Automorphismen \[ \begin{align*}{ P &=[a_2,a_1,a_3,\ldots,a_n],\quad Q = [a_2,a_3,\ldots,a_n,a_1], \cr O &= [a_1^{-1},a_2,\ldots,a_n],\quad U = [a_1a_2,a_2,\ldots,a_n]}\end{align*} \] erzeugt; das von \textit{J. Nielsen} gleichfalls aufgestellte vollständige Relationensystem gibt eine abstrakte Definition der Gruppe \(\mathfrak G_n\). Verf. bemüht sich in der vorliegenden Arbeit um die Verringerung der Erzeugendenzahl und zeigt, wie \(\mathfrak G_3\) durch drei Erzeugende, \(\mathfrak G_n\) für \(n>3\) durch zwei Erzeugende erzeugt werden kann. Setzt man: \[ S=[a_2^{-1},a_3^{-1},\ldots,a_n^{-1},a_1^{-1}],\quad T = [a_2,a_1^{-1}, a_3, a_4, \ldots, a_n], \] so wird \(\mathfrak G_3\) durch die Automorphismen \(S, T, U\) erzeugt; setzt man \[ R=[a_2^{-1},a_1,a_3,a_4,\ldots,a_{n-2},a_na_{n-1}^{-1},a_{n-1}^{-1}], \] so wird \(\mathfrak G_n\) für \(n>3\) durch die Elemente \(Q, R\) erzeugt. Die Aufstellung der zugehörigen vollständigen Relationensysteme erzielt Verf. durch Umrechnung der \textit{Nielsen}schen Relationensysteme. In (17, c) liegt dabei ein kleines Versehen vor, da diese Beziehung lauten muß: \[ S^n(ST^{-1})^{n-1}\leftrightarrows S^{-(n+1)}RS^n(ST^{-1})^{n-1}. \] Da demnach die auf (17) folgende Rechnung nicht zu dem gewünschten Ziele führt, ist zu dem im Satz 2 angegebenen Relationensystem noch (17 c) hinzuzufügen. Zum Schluß behandelt Verf. noch Verallgemeinerungen der symmetrischen Gruppe.