Es sei R {\displaystyle {}R} eine kommutative K {\displaystyle {}K} -Algebra und n ∈ N {\displaystyle {}n\in \mathbb {N} } .
Dann ist der Hauptteilmodul ( P R | K n , d n ) {\displaystyle {}(P_{R{|}K}^{n},d^{n})} kanonisch isomorph zu dem von allen Symbolen d f {\displaystyle {}df} , f ∈ R {\displaystyle {}f\in R} , erzeugten R {\displaystyle {}R} -Modul, der den Identifizierungen
für f , g ∈ R {\displaystyle {}f,g\in R} und a , b ∈ K {\displaystyle {}a,b\in K} ,
für f 0 , f 1 , … , f n ∈ R {\displaystyle {}f_{0},f_{1},\ldots ,f_{n}\in R} ,
genügt.