Commutative Algebra/Integral dependence