Take the 2-minute tour ×
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.

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|improve this question
1  
Presumably, you mean $\subseteq$ when considered as subsets of the field of fractions of $R$? –  Thomas Andrews Jan 14 '13 at 19:03

2 Answers 2

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|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|improve this answer
    
Thank you very much –  Azadeh Jan 14 '13 at 19:20

Your Answer

 
discard

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.