Integral closure of commutative rings Ring extensions and related structures mathematics