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

Es sei ein Körper und eine Gruppe, die auf den beiden -Vektorräumen und linear operiere. Es sei eine -verträgliche lineare Abbildung.

Dann ist sowohl als auch -invariant.