Lemma 11.10
Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Vorlesung 11 Normalteiler/Charakterisierung/Fakt