Let $R$ be an integral domain and $P,Q$ be proper prime ideals of $R$. Let $R_P,R_Q$ be localizations of $R$ at $P,Q$. If $R_P\subseteq R_Q$, is $Q\subseteq P$?
Asked
Active
Viewed 173 times
1
-
1Presumably, you mean $\subseteq$ when considered as subsets of the field of fractions of $R$? – Thomas Andrews Jan 14 '13 at 19:03
2 Answers
5
Take any element $q\in Q$. If it was not it $P$, then it would be invertible in $R_P$, but not in $R_Q$, which would contradict the fact that $R_P\subseteq R_Q$.
jathd
- 1,856
2
More generally, if $R$ is a commutative ring, then $R$-algebra homomorphisms $R_P \to R_Q$ exist and are unique - by the universal property of localizations - iff $R \to R_Q$ maps $R \setminus P$ to $(R_Q)^* = R_Q \setminus Q R_Q$ iff (since $Q R_Q \cap R = Q$) $R \setminus P \subseteq R \setminus Q$ iff $Q \subseteq P$.
More generally, if $X$ is a scheme with points $x,y$, then $x$ is a specialization of $y$ iff there is a morphism of $X$-schemes $\mathrm{Spec}(\mathcal{O}_{X,y}) \to \mathrm{Spec}(\mathcal{O}_{X,x})$.
Martin Brandenburg
- 163,620