Differentialoperator/Algebraisch/Verknüpfung/Fakt

Aus Wikiversity

Es sei eine kommutative -Algebra und es sei ein Differentialoperator der Ordnung und ein Differentialoperator der Ordnung .

Dann ist die Hintereinanderschaltung ein Differentialoperator der Ordnung .