Über unendliche diskrete Gruppen. (Q5908095)

Ist eine unendliche diskrete Gruppe \({\mathfrak G}\) durch endlich viele Erzeugende und endlich viele definierende Relationen gegeben, so ist bekanntlich die Faktorgruppe von \({\mathfrak G}\) nach der Kommutatorgruppe \({\mathfrak C_1}\) eine \textit{konstruierbare} zu \({\mathfrak G}\) homomorphe Gruppe. Verf. weist darauf hin, daß man auf diesem Wege systematisch zu weiteren zu \({\mathfrak G}\) homomorphen konstruierbaren Gruppen gelangen kann: Bezeichnet allgemein \({\mathfrak C}_i\) die Gruppe, die von den Kommutatoren der Elemente von \({\mathfrak C}_{i-1}\) mit den Elementen von \({\mathfrak G}\) erzeugt wird, so ist die Faktorgruppe \({\mathfrak G}/{\mathfrak C}_i\) berechenbar. In der vorliegenden Arbeit wird insbesondere die Konstruktion von \({\mathfrak G}/{\mathfrak C}_2\) behandelt. Diese Gruppe läßt sich auf eine Normalform bringen, in der jedes Element in der Form \(\prod\limits_iS_i^{a_i}\prod\limits_{i<k}A^{a_{ik}}_{ik}\) erscheint, wobei die \(S_i\). die Erzeugenden von \({\mathfrak G}\), die \(A_{ik}\) deren Kommutatoren sind. Die Relationen ergeben sich, wenn die linken Seiten der Relationen von \({\mathfrak G}\) auf die Normalform gebracht werden. -Von der Normalform von \({\mathfrak G}/{\mathfrak C}_2\) geht Verf. zu einer ändern, für die rechnerische Be handlung sehr handlichen Schreibweise über, die dann im Falle der Gruppen mit zwei Erzeugenden und einer definierenden Relation zu einer eingehenden Untersuchung von \({\mathfrak G}/{\mathfrak C_2}\) benutzt wird.