Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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$?

share|cite|improve this question
Presumably, you mean $\subseteq$ when considered as subsets of the field of fractions of $R$? – Thomas Andrews Jan 14 '13 at 19:03
up vote 2 down vote accepted

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})$.

share|cite|improve this answer
thank you very much Martin – Azadeh Jan 20 '13 at 9:49

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$.

share|cite|improve this answer
Thank you very much – Azadeh Jan 14 '13 at 19:20

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.