integral
Let be a ring with a subring . We will assume that is contained in the center of (in particular, is commutative). An element is integral over if there exist elements such that
The ring is integral over if every element of is integral over .