Kommutativer Ring/Gruppenoperation/Differentialoperatoren/Fakt

Es sei ${}S$ eine kommutative ${}K$-Algebra und ${}G$ eine Gruppe, die auf ${}S$ als Gruppe von ${}K$-Algebrahomomorphismen operiere.

Ein ${}G$-invarianter Differentialoperator ${}E\colon S\rightarrow S$ induziert durch einschränken einen Differentialoperator auf dem Invariantenring ${}R=S^{G}$.

Zum Beweis, Alternativen Beweis erstellen