Integral extension
From Wikipedia, the free encyclopedia
In abstract algebra, if A and B are commutative rings with unity and A is a subring of B, then B is an integral extension of A if every element of B is integral over A, that is if every element of B is the root of some monic polynomial with coefficients in A.