Über die Isomorphismen unendlicher Gruppen ohne Relation. (Q1470045): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Jakob Nielsen / rank | |||
Property / author | |||
Property / author: Jakob Nielsen / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2077718113 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:50, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Über die Isomorphismen unendlicher Gruppen ohne Relation. |
scientific article |
Statements
Über die Isomorphismen unendlicher Gruppen ohne Relation. (English)
0 references
1918
0 references
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.
0 references