1
$\begingroup$

This exercise is taken from Falko Lorenz's Algebra, 4.12

Let $R$ be a commutative ring with unity and $S$ a multiplicative subset of $R$. Form the localization $S^{-1}R$ of $R$ relative to S, with canonical map $i:R\rightarrow S^{-1}R$. If $\alpha$ is an ideal of $R$ denote by $S^{-1}$ the ideal of $S^{-1}R$ generated by $i(\alpha)$. It is easy to check that $S^{-1}\alpha$ consists of all elements of the form a/s with $a\in\alpha$ and $s\in S$; moreover $S^{-1}\alpha=(1)$ iff $\alpha\cap S\not=\emptyset$. Conversely, if $\beta$ is an ideal of $S^{-1}R$, denote the ideal $i^{-1}(\beta)$ of $R$ by $\beta\cap R$. Then $\alpha$ is of the form $\alpha=i^{-1}(\beta)$ iff no element of $S$ gives rise to a zero divisor of R/$\alpha$. Prove that the maps $\mathbb{B}\rightarrow\mathbb{B}\cap R$ and $\mathbb{A}\rightarrow S^{-1}\mathbb{A}$ establish a one-to-one correspondence between prime ideals of $S^{-1}R$ and prime ideals of $R$ that are disjoint from $S$.

  • 0
    I found http://books.google.com/books?id=f78gJ_92XcMC&q=86#v=onepage&q=86&f=false, which has a preview of that page for free, but I'm still stuck on proving that $i$ is one-to-one.2012-10-10

1 Answers 1

1

Throughout the answer I assume the validity of the Proposition at page 87 of Reid's "Undergraduate Commutative Algebra". If I understood your problem, we want to prove that the map $i$ induces an injective map between prime ideals of $R$ which are disjoint from $S$ and prime ideals of $S^{-1}R$.

Let $\alpha, \beta$ be prime ideals of $R$ such that $\alpha \cap S= \beta \cap S = \emptyset$, and such that $i(\alpha)\left(S^{-1}R\right)=i(\beta)\left(S^{-1}R\right)$ (i.e. the ideals generated by the images coincide). Then I claim $\alpha=\beta$.

By point $b)$ of the Proposition mentioned above: $\{r\in R \;|\; rs\in \alpha \:\forall\; s\in S\}= \{r\in R \;|\; rs\in \beta \:\forall\; s\in S\}.$

Using the primality of $\alpha$ we deduce that $rs\in \alpha \iff r\in \alpha\: \text{or}\: s\in \alpha$, but $\alpha\cap S= \emptyset$. So: $\{r\in R \;|\; rs\in \alpha \;\forall \;s\in S\}= \alpha.$

Playing the same trick with $\beta$ the equality is proved.

  • 1
    Neverm$i$nd got $i$t! Just showed that any prime ideal has an inverse such that every element in the target prime ideal is hit by the map of the inverse, and thus the inverse maps onto the target.2012-10-10