Non-locally factorial domain

367 Views Asked by At

What is the simplest example of an integrally closed Noetherian domain in which not every height one prime is locally principal? The latter condition is equivalent to the ring being locally factorial.

So the question is to find an integrally closed Noetherian domain which is not locally factorial (hence not factorial) and a non-locally principal ideal of height one in it.

But when it comes to nonfactorial rings, I can't come up with anything better than $\mathbb{Z}[\sqrt{-5}]$; however, this ring is locally factorial.

Note that locally principal ideal means an ideal whose localizations at all primes are principal ideals in the corresponding localized ring (another way of saying this is that such an ideal is just a locally free module of rank one).