Über die Isomorphismen unendlicher Gruppen ohne Relation. (Q1470045)

Es sei \(C(a_1, \dots, a_n)\) die Gruppe aller Ausdrücke in den \(a_1, \dots, a_n\), wobei zwei Ausdrücke nur dann dasselbe Element bedeuten sollen, wenn sie nach Weglassung der Bestandteile von der Form \(SS^{-1}\) identisch sind. Ein System von \(n\) Ausdrücken \(\alpha_1, \dots, \alpha_n\) heißt ein primitives System, wenn sich alle \(a_i\) durch Zusammensetzung aus den \(\alpha_i\) bilden lassen. Durch eine isomorphe Beziehung von \(C_n\) auf sich selbst wird \((a_1, \dots, a_n)\) in ein primitives System und durch eine geeignete isomorphe Beziehung \((a_1, \dots, a_n)\) in ein gegebenes primitives System übergeführt. Diese Isomorphismen bilden selbst eine Gruppe. Verf. gibt eine einfache Methode an, um in einer endlichen Anzahl von Schritten zu entscheiden, ob ein vorgelegtes System ein primitives ist. Sodann gibt er ein System von \(n+1\) Isomorphismen (d. i. \(n\) Zuordnungen von \((a_1, \dots, a_n)\) zu primitiven Systemen) an, aus denen sich alle Isomorphismen zusammensetzen lassen. Für die Gruppe \(C_2\) haben die Systeme (Paare) von primitiven Elementen besonderes schöne Eigenschaften: in dem Ausdruck eines primitiven Elements \(\alpha_1\) in den \(a_1, a_2\) haben die Exponenten von \((a_1a_2)\) einerlei Vorzeichen. Ferner ist \(\alpha_1\alpha_2\alpha_1^{-1}\alpha_2^{-2}\) eine Transformierte von \((a_1a_2a_1^{-1}a_2^{- 2})^{\pm 1}\) und diese Eigenschaft ist hinreichend dafür, daß \((\alpha_1, \alpha_2)\) ein primitives Paar ist. Wegen dieses Satzes stehen die Isomorphismen der relationslosen Gruppen \(C_2\) mit den Isomorphismen der \textit{Abel}schen Gruppe der Ausdrücke in \(a_1\) und \(a_2\) in engstem Zusammenhang. Dieser Zusammenhang ist wieder der Grund für die wichtige topologische Tatsache, daß die Gruppe der Abbildungen des \textit{punktierten} zweiseitigen Ringes auf sich übereinstimmt sowohl mit der zu ihm gehörenden Fundamentalgruppe als auch mit der Gruppe der Abbildungen des \textit{geschlossenen} Ringes auf sich selbst.