Es sei R {\displaystyle {}R} ein Zahlbereich mit Diskriminante △ R {\displaystyle {}\triangle _{R}} . Es sei p {\displaystyle {}p} eine Primzahl.
Dann ist p {\displaystyle {}p} genau dann ein Teiler von △ R {\displaystyle {}\triangle _{R}} , wenn der Faserring zu R {\displaystyle {}R} über p {\displaystyle {}p} nicht reduziert ist.
