Kommutativer Ring/Restklassenring/Differentialoperatoren/Fakt

Es sei eine kommutative -Algebra und ein Ideal mit Restklassenring

Dann induziert ein Differentialoperator der Ordnung einen Differentialoperator auf der Ordnung , wenn

ist.