Differentialoperatoren/Direkter Summand/Textabschnitt
Es sei ein direkter Summand von -Algebren.
Dann definiert jeder Differentialoperator der Ordnung über
einen Differentialoperator der Ordnung auf , wobei die Projektion längs bezeichnet.
Wir führen Induktion über . Bei ist der Operator die Multiplikation mit einem Element , das auf die Abbildung induziert, was die Multiplikation mit ist.
Es sei nun ein Differentialoperator auf der Ordnung . Die Einschränkung sei mit bezeichnet. Es sei . Dann ist für einerseits
und andererseits
wobei die letzte Gleichung darauf beruht, dass -linear ist. Daher ist die Lie-Klammer von mit der Multiplikation mit die Einschränkung der Lie-Klammer, also nach der Induktionsvoraussetzung ein Differentialoperator der Ordnung .
Es sei ein direkter Summand eines Polynomrings .
Dann gibt es für jedes , , einen Differentialoperator mit .
Sei . Dann gibt es einen Differentialoperator mit . Die Einschränkung ist dann nach Fakt ein Differentialoperator auf mit der gewünschten Eigenschaft, da .