Es sei ${\displaystyle {}R}$ ein Zahlbereich, ${\displaystyle {}f\in R}$ und ${\displaystyle {}p}$ eine Primzahl.

Dann ist die Spur von ${\displaystyle {}f}$ modulo ${\displaystyle {}p}$ gleich der im Faserring ${\displaystyle {}R/(p)}$ über ${\displaystyle {}\mathbb {Z} /(p)}$ berechneten Spur von ${\displaystyle {}{\overline {f}}\in R/(p)}$.