Kommutativer Ring/Gruppenoperation/Differentialoperator/Invarianz/Definition

Es sei ${}S$ eine kommutative ${}K$-Algebra und ${}G$ eine Gruppe, die auf ${}S$ als Gruppe von ${}K$-Algebrahomomorphismen operiere. Ein Differentialoperator ${}E\colon S\rightarrow S$ heißt ${}G$-invariant, wenn

${}\varphi \circ E\circ \varphi ^{-1}=E\,$

für jedes ${}\varphi \in G$ gilt.