Ring epimorphism