Kurs:Diskrete Mathematik (Osnabrück 2020)/Gruppentheorie/Kommutativ/Äquivalenz zu Untergruppe/Eigenschaften/Fakt/Faktreferenznummer