# About the localization of a UFD

I was wondering, is the localization of a UFD a UFD? How would one go about proving this? It seems like it would be kind of messy to prove if it is true.

If it is not true, what about localizing at a prime? Or what if the UFD is Noetherian?

-

As far as I can tell, the localization of a UFD is always a UFD. Let $R$ be a UFD and $S \subseteq R$ multiplicatively closed.

A ring is a UFD if and only if every height 1 prime ideal is principal. So, let $P$ be a height 1 prime ideal of $S^{-1}R$. Then there is a prime ideal $I \lhd R$ such that $P = S^{-1}I$. Now, localization does not change height, so $I$ has height 1, hence is is principal as $R$ is a UFD, say $I = \langle a \rangle$. Then $P = S^{-1}I = S^{-1}\langle a \rangle = \langle \frac{a}{1} \rangle$, so $P$ is principal. Hence, all height 1 prime ideals of $S^{-1}R$ are principal, hence $S^{-1}R$ is a UFD.

Edit: As arturo mentions, this requires $0 \not\in S$. Also, it requires that $R$ is noetherian.

-
Dear Johannes, the criterion for factoriality you quote requires $R$ to be noetherian (which is admittedly a very mild condition: I'm nitpicking!) –  Georges Elencwajg May 3 '12 at 21:32
I knew I had missed something along the line... –  Johannes Kloos May 3 '12 at 21:33

One slick way is via Kaplansky's characterization: a domain is a UFD iff every nonzero prime ideal contains a nonzero prime. This is easily seen to be preserved by localization, hence the proof. Alternatively, proceed directlyby showing that primes stay prime in the localization if they survive (don't become units). Thus UFD localizations are characterized by the set of primes that survive.

The converse is also true for atomic domains, i.e. domains where nonzero nonunits factor into atoms (irreducibles). Namely, if $\rm\:D\:$ is an atomic domain and $\rm\:S\:$ is a saturated submonoid of $\rm\:D^*$ generated by primes, then $\rm\: D_S$ UFD $\rm\:\Rightarrow\:D$ UFD $\:\!$ (a.k.a. Nagata's Lemma). This yields a slick proof of $\rm\:D$ UFD $\rm\Rightarrow D[x]$ UFD, viz. $\rm\:S = D^*\:$ is generated by primes, so localizing yields the UFD $\rm\:F[x],\:$ $\rm\:F =\,$ fraction field of $\rm\:D.\:$ Thus $\rm\:D[x]\:$ is a UFD, by Nagata's Lemma. This gives a more conceptual, more structural view of the essence of the matter (vs. traditional argument by Gauss' Lemma).

-
I like the way this answer relates conceptually to a "bigger world" by invoking more general concepts. It wouldn't be obviously my first encounter with the idea of localisation, but it extends my understanding of how powerful it is, and why. –  Mark Bennet May 3 '12 at 22:14

The localization of a UFD is a UFD provided you don't invert $0$.

Suppose $D$ is a UFD, and let $S$ be a multiplicative subset that does not contain $0$. Let $T$ be the set of all irreducibles that divide an element of $S$, and let $M$ be the set of all irreducibles not in $T$.

Claim. $p\in T$ if and only if the image of $p$ in $S^{-1}D$ is a unit.

Indeed, if $p\in T$, then there exists $s\in S$ such that $p|s$; let $x\in D$ with $px=s$. Then $$\frac{ps}{s}\cdot\frac{x}{s} = \frac{pxs}{ss} = \frac{ss}{ss} = 1_{S^{-1}D},$$ so the image of $p$ in $S^{-1}D$ is a unit. Conversely, if the image of $p$ is a unit, then there exist $t\in S$ and $x\in D$ such that $\frac{ps}{s}\cdot\frac{x}{t} = 1_{S^{-1}D}$, then $\frac{pxs}{st}=\frac{s}{s}$, hence $pxs^2 = s^2t$, hence $px=t \in S$, so $p\in T$, since $p$ divides an element of $S$. $\Box$

Claim. If $p\in M$, then the image of $p$ in $S^{-1}D$ is irreducible.

Indeed, suppose that $\frac{ps}{s} = \frac{x}{t}\frac{y}{t'} = \frac{xy}{tt'}$. Then $pstt' = xys$. Since $p$ does not divide any element of $S$, and $D$ is a UFD, an associate of $p$ appears exactly once in the factorization of $xys$ into irreducibles, and it must divide either $x$ or $y$, but not both, and all other irreducibles that appear in the factorization of $xys$ must lie in $T$. Therefore, either $\frac{x}{t}$ is a unit, or $\frac{y}{t'}$ is a unit. So $\frac{ps}{s}$ is irreducible (it is not $0$ or a unit by the previous claim).

Since $S^{-1}D$ can be embedded in the field of fraction of $D$, it follows that $S^{-1}D$ is a domain. Let $\frac{a}{s}\in S^{-1}D$; let $$a = up_1^{b_1}\cdots p_r^{b_r}q_1^{c_1}\cdots q_t^{c_t}$$ be a factorization of $a$ in $D$, where $u$ is a unit of $D$, $p_1,\ldots,p_r\in T$, and $q_1,\ldots,q_t\in M$. For a fixed $s\in S$, we have $$\frac{a}{s} = \frac{u}{s}\left(\frac{p_1s}{s}\right)^{b_1}\cdots\left(\frac{p_rs}{s}\right)^{b_r}\left(\frac{q_1s}{s}\right)^{c_1}\cdots\left(\frac{q_ts}{s}\right)^{c_t}$$ is a factorization of $\frac{a}{s}$ into a unit times a product of irreducibles (namely, the images of $q_i$ in $S^{-1}D$).

To verify uniqueness up to units, cross multiply and use unique factorization in $D$ and the claims above.

-
In the second claim, "Since p does not divide any element of S", that does not seem to be the case. You only seem to have asked that $p$ is not in $S$. For instance, if you take $S \subseteq \mathbb Z$ defined as $S = \{1,p^2,p^3,\cdots,p^n,\cdots \}$ for some prime $p$, then $S$ contains no irreducibles but yet $p$ is irreducible. This implies that $M = \{ all \, primes \}$ and $T = \{p\}$ in your case. I believe you meant to define $M$ as "the set of irreducibles not in $T$". In fact, in my example, $p$ becomes a unit in the localization by your first claim. –  Patrick Da Silva Feb 10 at 5:41
@PatrickDaSilva: Your example is correct: although probably Arturo was assuming that $S$ was a saturated multiplicative set (e.g. if one is localizing at a prime), in which case the set of irreducibles not in $T$ is the same as the set of irreducibles not in $S$ –  zcn Feb 10 at 7:31
@user115654 : I don't think so. I think it's really just a typo ; change that and everything follows through. We'll wait to see him confirm. –  Patrick Da Silva Feb 10 at 14:10
@PatrickDaSilva: It very well may be a typo - I agree that that would correct the proof. I wouldn't necessarily wait for a confirmation from him anytime soon though (although I expect no small fanfare if it appears) –  zcn Feb 10 at 16:41
@user115654 : He seems to be gone for good (read his account description). I'll just edit his answer myself. –  Patrick Da Silva Feb 11 at 2:22