Lokale Algebra/Unitärer Operator/Modul der Hauptteile/Beschreibung/Fakt

Aus Wikiversity

Es sei eine lokale kommutative -Algebra und .

Ein -Differentialoperator der Ordnung ist genau dann unitär, wenn die zugehörige -Linearform

surjektiv ist.