Second ring isomorphism theorem