Proof.
If R is a domain, then R \subset R_\mathfrak p, hence f = 1 works. If R is Noetherian, then the kernel I of R \to R_\mathfrak p is a finitely generated ideal and we can find f \in R, f \not\in \mathfrak p such that IR_ f = 0. For this f the map R_ f \to R_\mathfrak p is injective and f works. If R is reduced with finitely many minimal primes \mathfrak p_1, \ldots , \mathfrak p_ n, then we can choose f \in \bigcap _{\mathfrak p_ i \not\subset \mathfrak p} \mathfrak p_ i, f \not\in \mathfrak p. Indeed, if \mathfrak {p}_ i\not\subset \mathfrak {p} then there exist f_ i \in \mathfrak {p}_ i, f_ i \not\in \mathfrak {p} and f = \prod f_ i works. For this f we have R_ f \subset R_\mathfrak p because the minimal primes of R_ f correspond to minimal primes of R_\mathfrak p and we can apply Lemma 10.25.2 (some details omitted).
\square
Comments (0)