Polynomring/Direkter Summand/Differentialoperatoren/Fakt
Es sei ein direkter Summand eines Polynomrings .
Dann gibt es für jedes , , einen Differentialoperator mit .
Es sei ein
direkter Summand
eines
Polynomrings
.
Dann gibt es für jedes
,
,
einen
Differentialoperator
mit
.