Kommutativer Ring/Gruppenoperation/Differentialoperator/Invarianz/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine kommutative -Algebra und eine Gruppe, die auf als Gruppe von -Algebrahomomorphismen operiere. Ein Differentialoperator heißt -invariant, wenn

für jedes gilt.