Normalteiler/Charakterisierung/Fakt/Beweis

Beweis

(1) bedeutet bei gegebenem , dass man mit einem schreiben kann. Durch Multiplikation mit von rechts ergibt sich , also . Dieses Argument rückwärts ergibt die Implikation . Ferner ist eine explizite Umformulierung von .