die Unteralgebra \({\mathbb{S}}(p):=\{f\in {\mathbb{A}}(p):([x,y]\cong [u,v]\Rightarrow f(x,y)=f(u,v))\}\) einer Inzidenzalgebra 𝔸_K(P) einer lokal-endlichen Ordnung P_< über einem Körper K der Charakteristik 0.

Genauer heißt \({\mathbb{S}}\)(P) die Standardalgebra von P_<. Es gilt der folgende Satz:

Sei \({\mathbb{S}}\)(P) die Standardalgebra von P_<. Ist f ∈ \({\mathbb{S}}\)(P) und invertierbar in \({\mathbb{A}}\)(P), so ist f bereits invertierbar in \({\mathbb{S}}\)(P).