Groups \(\{S,T\}\) whose commutator subgroups are abelian. (Q2622700)

Verf. behandelt die Gruppen \(G\) mit zwei Erzeugenden \(S\) und \(T\) von den Ordnungen \(2\) bzw. \(p\;(p > 3\) eine Primzahl) und mit abeslcher Kommutatorgruppe \(H\). Haben die Kommutatorgruppen zweier solcher Gruppen (mit dem gleichen \(p\)) teilerfremde Ordnungen, so gibt es auch eine Gruppe der gleichen Art, deren Kommutatorgruppe das direkte Produkt der beiden Kommutatorgruppen ist. Die \textit{Sylow}gruppe zur Primzahl \(p\) in \(H\) ist entweder die Einheitsgruppe oder das direkte Produkt von \(p-1\) zyklischen Gruppen, ein (beliebiger) Teil von der Ordnung \(p^m\), der Rest von der Ordnung \(p^{m-1},m\) beliebig. Die \textit{Syllow}gruppe zu einer Primzahl \(q \neq p\) in \(H\) ist entweder die Einheitsgruppe oder das direkte Produkt von höchstens \(p-1\) zyklischen Gruppen der Ordnungen \(q^{m_1},q^{m_2},\ldots ;\;m_1,m_2,\ldots \), beliebig; und zwar ist die Anzahl der auftretenden Zyklen von der Ordnung \(q^{m_i}\) durch den Exponenten teilbar, zu dem \(q\) modulo \(p\) gehört. Die angegebenen notwendigen Bedingungen für die Existenz einer Gruppe \(G\) der verlangten Art mit vorgegebener Kommutatorgruppe \(H\) sind auch hinreichend. Ein großer Teil der Beweise benutzt wesentlich die Ergebnisse der nachstehend besprochenen Arbeit.