integral closure
Let be a ring with a subring . The integral closure of in is the set consisting of all elements of which are integral over .
It is a theorem that the integral closure of in is itself a ring. In the special case where , the integral closure of is often called the ring of integers in .