Om regning med ikke-kommutative faktorer og dens anvendelse i gruppeteorien. (Über das Rechnen mit nicht-vertauschbaren Faktoren und dessen Anwendung in der Gruppentheorie.) (Q1461363)

Es seien gegeben \(n\) ``\textit{Erzeugende}'' \(a_1,\ldots, a_n\), sowie die ``\textit{Reziproken}'' \(a_i^{-1}\); aus den Erzeugenden werden durch Multiplikation ``\textit{Elemente}'' \(\alpha = \prod (a_i^{\pm 1})\) gebildet, wobei eine Erzeugende und ihre Reziproke, die nebeneinanderstehen, sich wegkürzen. Es sei nun \(S = (\alpha_1,\ldots, \alpha_m)\) ein \textit{Elementsystem}, welches neue Elemente \(\prod (\alpha_i^{\pm 1})\) erzeugt; zwei Elementsysteme sind \textit{äquivalent}, wenn sie sich gegenseitig erzeugen. \textit{Charakteristisch} für das System \(S = (\alpha_1,\ldots, \alpha_m)\) ist die Zahl \(g(S) = \sum\limits_{i=1}^mg(\alpha_i)\), wo \(g(\alpha_i)\) die Summe aller absolut genommenen Exponenten in \(\alpha_i\) bedeutet. Es läßt sich nun das System \(S\) sukzessiv äquivalent abändern, nämlich durch zwei Operationen nach der unten näher angegebenen Absicht, wobei \(g(S)\) entweder verkleinert wird oder ungeändert bleibt; zum Schluß erhalten wir das ``\textit{reduzierte System}'' \(S^*\) mit folgenden zwei Eigenschaften: In keinem Produkt zweier Elemente läßt sich mehr als die Hälfte des einen Elements wegkürzen; in keinem Produkt dreier Elemente läßt sich das mittlere vollständig wegkürzen. Ein Elementsystem (\(\gamma_1,\ldots, \gamma_r\)) ist \textit{unabhängig}, wenn es keine wesentliche Relation \(\varGamma = \prod\left(\gamma_i^{\pm 1}\right)=1\) gibt, d. h. eine Relation, wo die \(\gamma\)'s nicht direkt weggekürzt werden, wo aber doch die Erzeugenden nach Einsetzung in die Elemente \(\gamma\) sich wegkürzen. Es gilt nun der Satz: Jedes reduzierte System \(S^*\) ist unabhängig. Und außerdem: Haben \(S\) und \(S^*\) dieselbe Elementanzahl, dann ist auch \(S\) unabhängig; hat dagegen \(S\) größere Elementanzahl als \(S^*\), dann ist \(S\) abhängig. -Endlich wird das \textit{Erzeugungsproblem} gelöst. D. h. \(S = (\alpha_1,\ldots,\alpha_m)\) und das Element \(\beta\neq 1\) sind gegeben; erzeugt das System \(S\) das Element \(\beta\)? Man bildet das reduzierte System \(S^*\), und für dieses schreibt man \textit{die linke} ``\textit{Großendsammlung}'' sowie auch \textit{die linke} ``\textit{Halbendsammlung}'' auf; \textit{das linke Großende eines Elements} enthält die ersten \(r + 1\) Faktoren des Elements, wenn die \(g\)-Zahl desselben \(2r\) oder \(2r + 1\) ist; die linke Großendsammlung des Systems enthält dann die linken Großenden der Elemente von \(S^* + S^{*-1}\). In die linke Halbendsammlung von \(S^*\) nimmt man das linke Halbende eines Elements mit gerader \(g\)-Zahl in \(S^* + S^{*-1}\) auf, wenn das komplementäre Halbende sich auf mindestens zwei Stellen in \(S^*\) befindet. Wird nun \(\beta\) von \(S^*\) erzeugt, dann muß \(\beta\) mit einem bestimmten Ende der ersten oder der zweiten Sammlung beginnen; dadurch wird die Erzeugung von \(\beta\) auf die Erzeugung von \(\beta'\) reduziert, wo \(g(\beta')\leqq g(\beta )\). In dieser Weise fahren wir fort, bis wir ein Element \(\beta\) erreichen, das entweder 1 ist oder nicht mit einer Folge von Erzeugenden der zwei Sammlungen anfängt, in welchem letzteren Fall \(\beta\) nicht von \(S^*\) erzeugt wird Alle Elemente, die von \(a_1,\ldots, a_n\) erzeugt werden, bilden eine ``\textit{freie Gruppe}'' \(G_n\), d. h. zwei in den \(a\)'s unkürzbare verschiedene Produkte bedeuten zwei verschiedene Elemente. Ist (\(\alpha_1,\ldots, \alpha_m\)) ein Elementsystem, dann bildet die Sammlung der durch \(\alpha_1,\ldots, \alpha_m\) erzeugten Elemente ebenso eine Gruppe \([\alpha_1,\ldots, \alpha_m]\), die \textit{Untergruppe von} \(G_n\) ist (eine Gruppe braucht aber nicht durch ein Elementsystem bestimmt zu werden); diese Untergruppe braucht aber \textit{nicht frei} zu sein, d. h. zwei Elemente der Gruppe können verschieden sein, wenn sie in den \(a\)'s geschrieben werden, dagegen als identisch sich erweisen in den \(a\)'s. Ist aber \((a_1^*,\ldots, a_p^*)\) ein reduziertes System von \((\alpha_1,\ldots, \alpha_m)\), dann ist die Gruppe \([\alpha_1^*,\ldots, \alpha_p^*]\) wieder eine freie Gruppe; sie stellt die Gruppe \([\alpha_1,\ldots, \alpha_m]\) als freie Gruppe dar. \(S\) ist ein \textit{Primitivsystem}, wenn die Gruppe \([\alpha_1,\ldots, \alpha_m]\) eben die ganze Gruppe \(G_n\) ist; die notwendige und hinreichende Bedingung dafür, daß \(S\) ein Primitivsystem sei, ist, daß \(S^*\) eine Permutation der ursprünglichen Erzeugenden, mit den Exponenten \(\pm 1\) versehen, sei. Geht kein Element durch die Reduktion von \(S\) auf \(S^*\) verloren, d. h. ist \(S\) unabhängig, dann lassen sich die Elemente von \(S\) und \(A = (a_1,\ldots, a_n)\) einander eineindeutig zuordnen, und diese Zuordnung ist eine \textit{isomorphe Transformation} oder eine \textit{Autoisomorphie} für die Gruppe \(G_n\); jede Relation zwischen den Elementen von \(G_n\) geht durch eine isomorphe Transformation in eine gültige Relation über. Dem unabhängigen Primitivsystem \(S = (\alpha_1,\ldots, \alpha_n)\) entspricht eine gewisse quadratische \textit{Matrix} \(|d_{ik}|\), wo \(d_{ik}\) die algebraische Summe der Exponenten von \(a_k\) in \(a_i\) ist; ist das System \(S\) gerade \(A = (a_1,\ldots, a_n)\), dann ist die Matrix die Einheitsmatrix; die isomorphe Transformation ändert nicht den absoluten Wert der entsprechenden Determinante, die also gleich \(\pm 1\) ist. (Diese notwendige Bedingung für eine isomorphe Transformation reicht noch nicht hin.) In dieser Weise erreicht man eine Verbindung mit der Theorie der linearen Gleichungen. -- Eine \textit{Systemklasse}, d. h. die Menge aller gegenseitig äquivalenten Systeme, kann mehrere reduzierte Systeme enthalten; dieselben haben aber alle dieselbe Elementanzahl, die \textit{Grundzahl der Klasse}; diese Zahl ist auch die Elementanzahl jedes unabhängigen Systems der Klasse, und jedes System der Klasse von dieser Elementanzahl ist unabhängig. Ebenso haben die reduzierten Systeme derselben Klasse dieselbe \(g\)-Zahl und dieselbe Verteilung derselben auf die \(g\)-Zahlen der einzelnen Elemente; hieraus folgt, daß die Anzahl der reduzierten Systeme derselben Klasse endlich ist. Zur Erzeugung einer Untergruppe sind alle unabhängigen Systeme ebenbürtig; kennt man die Bestimmung durch ein unabhängiges Elementsystem, so erhält man alle andern Erzeugungen durch alle möglichen isomorphen Transformationen der Elemente. Diese Behandlung der Gruppentheorie ist natürlich dadurch beschränkt, daß nicht sämtliche Gruppen sich als freie Gruppen darstellen lassen.