Zahlbereich/Spur/Faserring/Fakt

Es sei ein Zahlbereich, und eine Primzahl.

Dann ist die Spur von modulo gleich der im Faserring über berechneten Spur von .