Integral dependence; going up, going down Ring extensions and related structures mathematics