Gruppenoperation/Zwei Mengen/Invariante Abbildung/Definition

Invariante Abbildung

Es sei eine Gruppe und seien und zwei Mengen, auf denen jeweils operiert. Dann heißt eine Abbildung

-invariant (oder -verträglich) wenn für alle und alle die Gleichheit

gilt.