Ore extension — ring extension