# Proving Proposition 1.1 in Atiyah and MacDonald [duplicate]

Here is the proposition I want to prove:

There is a one-to-one order preserving correspondence between the ideals $$\mathfrak{b}$$ of $$A$$ which contain $$\mathfrak{a},$$ and the ideals $$\bar{\mathfrak{b}}$$ of $$A/\mathfrak{a},$$ given by $$\phi^{-1}(\bar{\mathfrak{b}}) = {\mathfrak{b}}.$$

But, I am not quite sure:

1- How can I prove the "one-to-one order preserving correspondence", what does this statement means? Should I find a bijection between $$\mathfrak{b}$$ and $$\bar{\mathfrak{b}}$$? how can I do this?

2- What does it mean "order preserving"?

Could someone help me please in this?

• The ideals are (partially) ordered by inclusion. Order preserving means that if $I\leq J$, then the image of $I$ under the correspondence is less than or equal to the image of $J$. That said, given your confusion of this, I am sorry to say, very basic result that is covered in any introductory course on ring theory, are you sure you should be reading this book? Sounds to me like you are simply not ready for it. Oct 2 at 2:37
• @ArturoMagidin I respect my eagerness to learn so I think I will continue to try to learn forever Oct 2 at 2:45
• I did not say "stop learning". I said you do not seem to be ready for that particular book. You should instead learn the basics needed to understand that book, because right now it is apparent you do not have them. No shame in that, but a lot of silly stubbornness and wasted effort in persisting in trying to read stuff that is too far beyond your current level. Oct 2 at 3:31
• Along the lines of what @Arturo Magidin is saying, let me suggest Fraleigh's "A First Course in Abstract Algebra". I enjoyed it. Then you could work your way up to Commutative Algebra.
– ACME
Oct 2 at 4:03

Hint Use the "canonical" projection $$\rho:A\twoheadrightarrow A/\mathfrak a$$, which sends each $$x\in A$$ to the coset $$x+\mathfrak a$$ in $$A/\mathfrak a$$.
The bijection is between the sets $$\{\mathfrak b:\mathfrak a\subset \mathfrak b\subset A \,\text {is an ideal}\}$$ and $$\{\bar{\mathfrak b}:\bar {\mathfrak b}\subset A/\mathfrak a\ \text{is an ideal}\}$$.
• Do we need to prove that $\rho$ and $\rho^{-1}$ are the inverse of one another? If so, why? the statement of the question is just saying $1-1$ correspondence. Oct 3 at 18:07