General Ring Theory/Ring extensions