Es sei Q ⊆ L {\displaystyle {}\mathbb {Q} \subseteq L} eine endliche Körpererweiterung und sei f ∈ L {\displaystyle {}f\in 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.
