Extension theory Ring extensions and related structures mathematics