Lokale Algebra/Im wesentlichen von endlichen Typ/Differentielle Signatur/Definition

Es sei ${}R$ eine lokale ${}K$-Algebra, die im Wesentlichen von endlichem Typ sei. Dann nenn man

$\limsup _{n\rightarrow \infty }{\frac {\operatorname {fr} \,P_{R{|}K}^{n}}{\operatorname {rang} \,P_{R{|}K}^{n}}}$

die differentielle Signatur von ${}R$.