# Localizing at the primitive polynomials?

For any UFD $R$, the concept of a primitive polynomial (gcd of the coefficients is 1) makes sense in $R[x]$. The product of two primitive polynomials is primitive (Gauss's Lemma), and certainly 1 is a primitive polynomial, so the primitive polynomials form a multiplicative subset $S$ of $R[x]$ - hence we can form the ring $S^{-1}R[x]$. What can we say about it? What does this look like geometrically?

A prime ideal of $S^{-1}R[X]$ is the extension of a unique prime ideal of $R$, so that the morphism $Spec(S^{-1}R[X])\to Spec(R)$ is a bijection, and even an homeomorphism. All the extensions of residual fields induced are pure transcendental of transcendence degre $1$.
As an example, if you look at the case $R=\mathbb{Z}$, the morphism of schemes you get "puts in family" the extensions of fields $\mathbb{F}_p\hookrightarrow\mathbb{F}_p(X)$.
• Thanks for the explanation! I'm still a novice with schemes, but I think I get the gist of your answer. Let me see if I understand the argument: Let $\phi:R[x]\rightarrow S^{-1}R[x]$ be the canonical map (injective since $R[x]$ is an integral domain). Because $R[x]$ is a UFD, every polynomial factors uniquely into a product of irreducibles of $R[x]$, which are either irreducibles of $R$ or irreducibles $f\in R[x]$, $f\notin R$. Each irreducible $f\in R[x]$, $f\notin R$ is necessarily primitive, so that $\phi(f)$ is a unit in $S^{-1}R[x]$. Jan 5, 2010 at 7:07
• Thus, for $I\subset R[x]$ an ideal, $S^{-1}I$ is generated in $S^{-1}R[x]$ by $\phi(I)\cap R$ (where we have identified $R$ with $\phi(R)$). Thus, $S^{-1}I$ is the is the extension of the ideal generated in $R$ by $\phi(I)\cap R$, and the injectivity of $\phi$ shows that this is the only ideal of $R$ which $S^{-1}I$ is an extension of. Finally, the fact that preimages of prime ideals are prime and that extension of a prime ideal is its image under $\phi$, establishes the bijection. Jan 5, 2010 at 7:07
• So, this answer definitely depends heavily on $R$ (and hence $R[x]$) being a UFD, especially with "each irreducible $f\in R[x]$, $f\notin R$ is necessarily primitive". Out of curiosity, any ideas on the case of non-UFD $R$? Jan 5, 2010 at 7:08