 A number is an algebraic integer if and only if the ring is finitely generated as an Abelian group, which is to say, as a -module.The following are equivalent definitions of an algebraic integer.Let be a number field (i.e., a finite extension of , the set of rational numbers), in other words, for some algebraic number by the primitive element theorem.