Lineare Abbildung/Gruppenoperation/Kern und Bild/Invariant/Fakt/Beweis

Beweis

Es sei und . Wegen der Verträglichkeit von mit den Gruppenoperationen ist

also ist und der Kern ist invariant. Bei , sagen wir , und ist wiederum

also und das Bild ist ebenfalls invariant.