definitionring-theory Definition For ideals I⊆J⊴R, we have J/I⊴R/I is an ideal, and R/I/J/I≃R/J as rings. An isomorphism theorem is … Examples