Es sei R {\displaystyle {}R} ein Zahlbereich, f ∈ R {\displaystyle {}f\in R} und p {\displaystyle {}p} eine Primzahl.
Dann ist die Spur von f {\displaystyle {}f} modulo p {\displaystyle {}p} gleich der im Faserring R / ( p ) {\displaystyle {}R/(p)} über Z / ( p ) {\displaystyle {}\mathbb {Z} /(p)} berechneten Spur von f ¯ ∈ R / ( p ) {\displaystyle {}{\overline {f}}\in R/(p)} .
