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