A characteristic property of a co-set. (Q1440317)

Die Definition einer Nebengruppe \({\mathfrak H}G\) in einer Gruppe \(\mathfrak G\) nach einer Untergruppe \(\mathfrak H\) liefert trivialerweise eine notwendige und hinreichende Bedingung dafür, daß\ eine beliebige Untermenge von \(\mathfrak G\) eine Nebengruppe ist. Weiter wird eine hinreichende Bedingung dafür angegeben, daß\ eine beliebige Untermenge in volle Nebengruppen zerfällt, die zu trivialen Folgerungen Anlaß\ gibt.