Differentialoperatoren/Direkter Summand/Textabschnitt

Aus Wikiversity


Lemma  

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.

Beweis  

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 .



Korollar  

Es sei ein direkter Summand eines Polynomrings .

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

Beweis  

Sei . Dann gibt es einen Differentialoperator mit . Die Einschränkung ist dann nach Fakt ein Differentialoperator auf mit der gewünschten Eigenschaft, da .