Adjunction of Elements To Groups

From MaRDI portal





Eine Gruppe g sei gegeben durch erzeugende Elemente \(g_1, g_2, \ldots\) und definierende Relationen (1) \(r_1(g) = 0\), \(r_2(g) = 0, \ldots\). Das Problem ist, die Gruppe zu erweitern zu einer Gruppe durch Hinzunahme von neuen Erzeugenden \(x_1, x_2, \ldots\), die die Relationen (2) \(w_1(x, g) = 1\), \(w_2(x, g) = 1, \ldots\) erfüllen. Zu dem Zweck faßt man (1) und (2) zusammen als definierende Relationen einer Gruppe \(\mathfrak G\) auf. \(\mathfrak G\) ist Faktorgruppe einer freien Gruppe \(\mathfrak F\) nach einem Normalteiler \(\mathfrak R\); ebenso ist \(\mathfrak g\) Faktorgruppe einer freien Gruppe \(\mathfrak f\) nach einem Normalteiler \(\mathfrak r\). Ist nun \(\mathfrak R\cap \mathfrak f = \mathfrak r\), so ist das gestellte Erweiterungsproblem lösbar und \(\mathfrak G\) ist die \glqq größte\grqq{} Gruppe, die das Problem löst: alle anderen sind homomorphe Bilder von \(\mathfrak G\). Z. B. ist das Erweiterungsproblem dann lösbar, wenn (2) nur aus einer Relation \(x^m = g\) besteht. Ist eine Gruppe \(\mathfrak a\) von Automorphismen von \(\mathfrak g\) gegeben, die man zu Automorphismen der erweiterten Gruppe zu erweitern wünscht, so ist auch dieses Erweiterungsproblem lösbar, falls es ohne Automorphismen lösbar ist. Es wird ein Beispiel einer Gruppe angegeben, in der jedes Element ein Quadrat ist und die einen Automorphismus der Ordnung 2 besitzt, der nur das Einselement fest läßt.





Cited in
(32)








This page was built for publication: Adjunction of Elements To Groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5783030)