A note on a theorem by Witt. (Q2579694)

Es sei \(\mathfrak{F}\) die freie, aus \(n\) unabhängigen Elementen erzeugte Gruppe, \(\mathfrak{H}_k\) die kleinste Untergruppe von \(\mathfrak{F}\), die alle \(k\)-ten Potenzen aus \(\mathfrak{F}\) enthält, \(\mathfrak{F}_k=\mathfrak{F}/\mathfrak{H}_k\), \(\mathfrak{F}_k^c\) die \(c\)-te Untergruppe der absteigenden Zentrenreihe von \(\mathfrak{F}_k\) und \(\mathfrak{G}_{k,c}=\mathfrak{F}_k/\mathfrak{F}_k^{c+1}\). Mit Hilfe einer Formel von Witt beweist Verf.: Ist \(q\) eine Primzahlpotenz \(p^{\alpha}\), so ist \(\mathfrak{F}_q^c/\mathfrak{F}_q^{c+1}\) abelsch von der Ordnung \(q^N\), falls \(c < p\) ist; hierbei ist \(N=\dfrac{1}{c} \sum\limits_{d/c} \mu(c/d) n^d\), \(\mu\) die Möbius-Funktion. Die einzigen charakteristischen Untergruppen von \(\mathfrak{G}_{p,3}\) sind die Untergruppen der absteigenden Zentrenreihe. \(\mathfrak{G}_{p,4}\) enthält außer den Untergruppen der absteigenden Zentrenreihe nur noch zwei charakteristische Untergruppen, deren eine die zweite Kommutatorgruppe ist.