Kommutativer Ring/Restklassenring/Differentialoperatoren/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei eine kommutative -Algebra und ein Ideal mit Restklassenring

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

ist.

Zum Beweis, Alternativen Beweis erstellen