Ideals in the localization of a ring are localizations of ideals.

Lemma 10.9.16. Each ideal $I'$ of $S^{-1}A$ takes the form $S^{-1}I$, where one can take $I$ to be the inverse image of $I'$ in $A$.

Proof. Immediate from Lemma 10.9.15. $\square$

Comment #841 by on

Suggested slogan: Ideals in the localization of a ring are localizations of ideals.

There are also:

• 4 comment(s) on Section 10.9: Localization

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).