Es sei R {\displaystyle {}R} ein Hauptidealbereich, M {\displaystyle {}M} ein R {\displaystyle {}R} -Modul und p ∈ R {\displaystyle {}p\in R} ein Primelement.
Dann ist der p {\displaystyle {}p} -Sockel M 1 ( p ) {\displaystyle {}M^{1}(p)} ein Vektorraum über dem Körper R / R p {\displaystyle {}R/Rp} .
