Ideals Containing Ideal Isomorphic to Quotient Ring

Theorem
Let $J$ be an ideal of a ring $R$.

Let $\mathbb L_J$ be the set of all ideals of $R$ which contain $J$.

Let the ordered set $\struct {\map {\mathbb L} {R / J}, \subseteq}$ be the set of all ideals of $R / J$.

Let the mapping $\Phi_J: \struct {\mathbb L_J, \subseteq} \to \struct {\map {\mathbb L} {R / J}, \subseteq}$ be defined as:


 * $\forall a \in \mathbb L_J: \map {\Phi_J} a = \map {q_J} a$

where $q_J: a \to a / J$ is the quotient epimorphism from $a$ to $a / J$ from the definition of quotient ring.

Then $\Phi_J$ is an isomorphism.

Proof
Let $b \in \mathbb L_J$.

From the way $\mathbb L_J$ is defined:
 * $J \subseteq b$

Thus by Preimage of Image of Subring under Ring Homomorphism:
 * $\map {q_J^{-1} } {\map {q_J} b} = b + J = b$

Let $c$ be an ideal of $R / J$.

Then, by Image of Preimage of Subring under Ring Epimorphism:
 * $\map {q_J} {\map {q_J^{-1} } c} = c$

Thus by Bijection iff Left and Right Inverse, $\Phi_J$ is a bijection.

Hence:
 * $\forall c \in \map {\mathbb L} {R / J}: \map {q_J^{-1} } {\Phi_J} c = \map {q_J^{-1} } c$

Now to show that $\Phi_J$ is an isomorphism.

Let $b_1, b_2 \in \mathbb L_J$.

Let $b_1 \subseteq b_2$.

Then from Subset Maps to Subset:
 * $\map {q_J} {b_1} \subseteq \map {q_J} {b_2}$

Conversely, suppose $\map {q_J} {b_1} \subseteq \map {q_J} {b_2}$.

By what we have just proved:
 * $b_1 = \map {q_J^{-1} } {\map {q_J} {b_1} } \subseteq \map {q_J^{-1} } {\map {q_J} {b_2} } = b_2$

Thus $\Phi_J$ is an isomorphism.