式formula_1的根。其中首一（英文：monic）意谓最高幂次项的系数是1。因此，所有代数整数都是代数数，但并非所有代数数都是代数整数。所有代数整数构成一个环，通常记作formula_2。如果formula_1是整系数本原多项式（即系数的最大公因数是1的多项式），但非首一多项式，则formula_4的根都不是代数整数。
定义.以下是代数整数四种相互等价的定义。设为代数数域（有理数域formula_5的有限扩张）。根据本原元定理，可以写成formula_6的形式。其中fo