Über die allgemeinen Hauptidealformeln. (Q2590516)

Ist \(\varGamma\) die maximale Abelsche Faktorgruppe einer zweistufigen Gruppe \(\mathfrak G\), so gilt \[ V (\tau)\equiv{\prod\limits_{\sigma\in\varGamma}}S_\sigma S_\tau S_{\sigma\tau}^{-1}=1\quad \text{für alle \(\tau\) in }\varGamma \] (gruppentheoretische Form des Hauptidealsatzes), wenn \(S_\tau\) einen Vertreter für \(\tau\) in \(\varGamma\) bezeichnet. Hier wird nun gezeigt, daß \(V\) im wesentlichen die einzige Funktion dieser Art ist, nämlich daß jede andere Vertreterfunktion, die für in \(\mathfrak G\) maximal Abelsches \(\varGamma\) durchweg 1 wird, sich formal aus einer symbolischen Potenz von \(V\) und einem \(W\) zusammensetzt, das auch in jedem \(\mathfrak G\) mit \(\varGamma=\mathfrak G/\mathfrak A\) und Abelschem \(\mathfrak A\) durchweg 1 ist.