Commutative Algebra with a View Toward Algebraic Geometry
《Commutative Algebra with a View Toward Algebraic Geometry》 · 第 118 页 · Section 4.1「Integral Dependence」
The element $s$ is called integral over $R$ if it satisfies a monic polynomial with coefficients in $R$. The equation $p(s)=0$ is then called an equation of integral dependence or an integral equation for $s$ over $R$.