Une généralisation de la notion de sousgroupe invariant. (Q2590360)

Unter einer infra-invarianten Untergruppe versieht Verf. eine solche, bei der von je zwei zu ihr konjugierten eine in der anderen enthalten ist. Es gibt infra-invariante, aber nicht invariante Untergruppen. Ist \(\mathfrak H\) eine infra-invariante Untergruppe von \(\mathfrak G\), so kann man auf die Halbgruppe \(\mathfrak M\) der Elemente \(M\in\mathfrak G\), für die \(M^{-1}\mathfrak HM\subseteq \mathfrak H\) gilt, eine Arithmetik von \(\mathfrak G\) gründen, bei der von je zwei Elementen von \(\mathfrak G\) eins durch das andere ``teilbar'' ist und \(\mathfrak M\) aus den ``ganzen'' Elementen besteht.