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

Es sei ${}R$ eine lokale kommutative ${}K$-Algebra und ${}n\in \mathbb {N}$.

Ein ${}K$-Differentialoperator ${}E$ der Ordnung ${}\leq n$ ist genau dann unitär, wenn die zugehörige ${}R$-Linearform

${\tilde {E}}\colon P_{R{|}K}^{n}\longrightarrow R$

surjektiv ist.

Zum Beweis, Alternativen Beweis erstellen