An algebraic integer is a number that is the root of a monic polynomial over Z\mathbb ZZ. The algebraic integers form a ring. Note that it is not a subring (nor even a subset) of Z\mathbb ZZ.