On the determinators of an operator of the free group. (Q2585872)

Zunächst werden jedem Element einer freien Gruppe gewisse Zahlen zugeordnet, die ungeändert bleiben bei identischen Transformationen, d. h. beim Fortlassen oder Hinzufügen von Ausdrücken der Form \(AA^{-1}\) in einer Darstellung eines Elementes durch die Erzeugenden. Mit Hilfe dieser Zahlen wird sodann ein neuer Beweis dafür erbracht, daß der Durchschnitt der Reidemeisterschen Kommutatorgruppen in einer freien Gruppe das Einheitselement ist. Ferner wird der entsprechende Satz für ein freies Produkt abelscher Gruppen bewiesen. Daraus ergibt sich dann nach \textit{Magnus} (Math. Ann., Berlin, 111 (1935), 259-280; JFM 61.0102.*) die Lösung des Hopfschen Problems für freie Produkte abelscher Gruppen, nämlich der Satz, daß eine solche Gruppe nicht der Faktorgruppe nach einem echten Normalteiler isomorph sein kann.