Kommutativer Ring/Direkter Summand/Differentialoperatoren/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein direkter Summand von -Algebren.

Dann definiert jeder Differentialoperator der Ordnung über

einen Differentialoperator der Ordnung auf , wobei die Projektion längs bezeichnet.