Polynomring/Direkter Summand/Differentialoperatoren/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein direkter Summand eines Polynomrings .

Dann gibt es für jedes , , einen Differentialoperator mit .