Extension of a theorem due to \textit{Sylow}. (Q1500901)

Jede Gruppe \(G\) von der Ordnung \(p^m\), wo \(p\) eine Primzahl, enthält wenigstens \(p\) invariante Operatoren. Dieser fundamentale Satz von \textit{Sylow} (Math. Ann. \textit{5}, 584, 1872) ist in dem folgenden enthalten: Jede nichtabelsche Gruppe von der Ordnung \(p^m\) enthält wenigstens \(p\) invariante kommutatorische Operatoren, und ihre kommutatorische Quotientengruppe ist immer nichtzyklisch. Die Quotientengruppe, welche der kommutatorischen Untergruppe entspricht, wird als kommutatorische Quotientengruppe eingeführt. In diesem Zusammenhange wird das folgende, eng damit verwandte Theorem bewiesen: Es ist möglich, eine nichtabelsche Gruppe zu konstruiren, welche eine beliebige \textit{Abel}sche Gruppe als eine kommutatorische Quotientengruppe besitzt. Jede nichtzyklische \textit{Abel}sche Gruppe von der Ordnung \(p^\alpha\) ist die kommutatorische Quotientengruppe einer beliebigen nichtabelschen Gruppe von der Ordnung \(p^m\).