Skip to main content
2 of 2
edited to match clarification of the question
Greg Stevenson
  • 8.7k
  • 1
  • 40
  • 38

I would say that it is not true that quotients of polynomials rings are "almost UFDs".

For starters, being a quotient of $k[x_1,\ldots,x_n]$ for some $n$ just says that the ring is finitely generated over $k$. If $k$ is a field these rings are reasonably nice but they can still be quite "badly behaved" and a long way away from having unique factorization.

For instance one can view the class group of a Dedekind domain $A$ as measuring how badly unique factorization fails in $A$. This group can be very large even when $A$ is finitely generated over a field - taking the ring corresponding to an elliptic curve with a point deleted gives examples with infinite class group (the class group is pretty much the underlying elliptic curve in this case).

In fact it is a theorem of Claborn that any abelian group occurs as the class group of some Dedekind domain. I am not sure how far one can get working with finitely generated algebras over a field, although there are other results in this direction that allow one to construct such examples by taking integral closures in quadratic extensions I think, or via rings of functions on elliptic curves (this second being work of Rosen originally).

And all of this is just in dimension 1.

I understand the other part of your question now and I like Ben's answer. In higher dimension trying to understand this will get worse - I think about the best general statement one can make about unique factorization is that every regular local ring is a UFD so if the geometric incarnation of your algebra is singularity free it is locally a UFD.

Greg Stevenson
  • 8.7k
  • 1
  • 40
  • 38