On the common representative system of residue classes of infinite groups. (Q2585212)

Ist der Index einer Untergruppe \(H\) der Gruppe \(G\) endlich, so gibt es bekanntlich ein gemeinsames Vertretersystem für die Rechts- und die Linksnebengruppen nach \(H\) (Vgl. z.~B. \textit{Zassenhaus}, Lehrbuch der Gruppentheorie I (1937; F.~d.~M. 63\(_{\text{I}}\), 58), S.~11). Verf. untersucht, wann es ein gemeinsames Vertretersystem für Rechts- und Linksnebengruppen auch für Untergruppen von unendlichem Index gibt, und findet folgenden Satz: Gibt es zu jedem Element \(g\) aus \(G\) eine natürliche Zahl \(n(g)\) derart, daß \(g^{n(g)}\) im ganzen mit \(H\) vertauschbar ist, dann kann man in \(G\) ein gemeinsames Vertretersystem für die Rechts- und Linksnebengruppen nach \(H\) finden. Durch ein Beispiel wird gezeigt, daß die Vertauschbarkeitsvoraussetzung bei diesem Satz nicht gestrichen werden kann. Beim Beweis wird das Auswahlaxiom benutzt.