Kurs:Elemente der Algebra (Osnabrück 2015)/Normalteiler/Charakterisierung/Fakt/Faktreferenznummer