Let $I_1,I_2$ be two ideals in a ring $R$. I thought that the following result is true: $$ I_1 \cong I_2 \iff R/I_1 \cong R/I_2 $$
i.e. If the two ideals are isomorphic (since they are sub-rings as well) then their quotient rings are also isomorphic.
Claim: If $\psi: I_1 \to I_2$ is an isomorphism, then $\phi : R/I_1 \to R/I_2 $ s.t. $r+I_1 \mapsto r+I_2$ is an isomorphism.
I am not able to prove that this is an isomorphism. I can't even claim that this is a well defined function. Since, if $r_1 +I_1 =r_2 +I_1 \Rightarrow r_1-r_2 \in I_1 \Rightarrow \psi (r_1-r_2) \in I_2 $. But, I don't know how to proceed after this as $\psi (r_1)$ may not be defined (in case if $r_1 \notin I_1$.)