Es sei R {\displaystyle {}R} ein Zahlbereich und sei f ∈ Q ( R ) = L {\displaystyle {}f\in Q(R)=L} . Dann ist f {\displaystyle {}f} genau dann ganz über Z {\displaystyle {}\mathbb {Z} } , wenn die Koeffizienten des Minimalpolynoms von f {\displaystyle {}f} über Q {\displaystyle {}\mathbb {Q} } alle ganzzahlig sind.
