Completion of commutative rings Ring extensions and related structures mathematics