Über die Nichteinfachheit einer lokal freien Gruppe. (Q2585874)

In einer freien Gruppe gibt es nach \textit{Magnus} (Math. Ann., Berlin, 111 (1935), 259-280; JFM 61.0102.*) zu jedem von 1 verschiedenen Element \(A\) einen Index \(n\), so daß die \(n\)-te Dimensionsgruppe \(A\) enthält, dagegen die \((n + 1)\)-te keine positive Potenz von \(A\), daher sind Relationen der Gestalt \(A=\prod\limits_{i=1}^{r}S_i(A^2)^{x_i}S_i^{-1}\) unmöglich. Folgerung: in einer lokal freien Gruppe erzeugt jedes von 1 verschiedene Quadrat einen echten Normalteiler.