Correspondence Theorem for Quotient Rings
Jump to navigation
Jump to search
Theorem
Let $A$ be a commutative ring with unity.
Let $\mathfrak a \subseteq A$ be an ideal.
Let $A / \mathfrak a$ be the quotient ring and $\pi : A \to A / \mathfrak a$ the quotient ring epimorphism.
Bijection
The direct image mapping $\pi^\to$ and the inverse image mapping $\pi^\gets$ induce reverse bijections between the ideals of $A$ containing $\mathfrak a$ and the ideals of $A/\mathfrak a$, specifically:
Let $I$ be the set of ideals of $A$ containing $\mathfrak a$.
Let $J$ be the set of ideals of $A / \mathfrak a$.
Then:
- $(1): \quad$ For every ideal $\mathfrak b \in I$, its image $\map {\pi^\to} {\mathfrak b} = \map \pi {\mathfrak b} \in J$
- $(2): \quad$ For every ideal $\mathfrak c \in J$, its preimage $\map {\pi^\gets} {\mathfrak c} = \map {\pi^{-1} } {\mathfrak c} \in I$
- $(3): \quad$ The restrictions $\pi^\to: I \to J$ and $\pi^\gets: J \to I$ are reverse bijections.
A particular theorem is missing. In particular: inclusion-preserving, prime ideals, maximal ideals, intermediate quotients, closed embedding, ... You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding the theorem. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{TheoremWanted}} from the code. |
This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Also see
- First Ring Isomorphism Theorem
- Universal Property of Quotient Ring
- Correspondence Theorem for Localizations of Rings