Zum Zerlegungsproblem der Theorie der freien Produkte. (Q2604384)

Nach einer früheren Arbeit des Verf. (Math. Arm. 109 (1934), 647-660; JFM 60.0082.*) sind je zwei Zerlegungen einer Gruppe in ein freies Produkt von frei unzerlegbaren Faktoren isomorph. \textit{Baer} und \textit{Levi} (Compositio math., Groningen, 3 (1936), 391-398; JFM 62.1093.*) haben diesen Satz zum Verfeinerungssatz verschärft, daß je zwei Zerlegungen einer Gruppe in ein freies Produkt isomorphe Verfeinerungen besitzen. Ließe sich nun jede Gruppe in ein freies Produkt von frei unzerlegbaren Faktoren zerlegen, so wäre der Verfeinerungssatz nur eine scheinbare Verallgemeinerung des Isomorphiesatzes. Dies trifft jedoch nicht zu. Denn die Gruppe aus den Erzeugenden \(a_0\), \(a_1\), \(a_2\), \dots; \(b_1\), \(b_2\), \dots mit den definierenden Relationen \(a_nb_na_n^{-1}b_n^{-1}=a_{n-1}\), \(n = 1\), 2, \dots ist nicht in ein freies Produkt von frei unzerlegbaren Faktoren zerlegbar, wie sich aus folgendem Satz über freie Produkte ergibt: Liegt der von 1 verschiedene Kommutator zweier Elemente einer Gruppe, die das freie Produkt von zwei Faktoren ist, in einem dieser Faktoren, so gehören schon die beiden Elemente zu ihm. -- Dem Beweis dieses Satzes ist der größte Teil der Note gewidmet.