Which integral domains have the property that $R = \bigcap R_P$, the intersection being taken over all height one prime ideals of $R$?

It is a standard fact that Krull domains, and thus noetherian normal rings, have this property. But Krull domains satisfy two additional properties, namely:

  1. $R_P$ is a discrete valuation ring for all height one primes $P$.
  2. Every non-zero element is contained in only a finite number of height one prime ideals.

What happens if I drop these two assumptions? Do I get anything new? Is this true for non-noetherian normal rings (I fear not)?

  • 2
    $\begingroup$ A one-dimensional, local, integral domain has this property. So there are many examples, e.g., the local ring of $k[x,y]/\langle y^2 - x^3 \rangle$ at the maximal ideal $\langle x,y\rangle$. $\endgroup$ Sep 1, 2015 at 16:19

1 Answer 1


I cannot fully answer the question but some keywords:

  • If you drop 1. what you get is called a weakly Krull domain.

  • If you just weaken 1. to valuation ring what you get is called a generalized Krull domain.

There are a bunch of related notions. Thus, yes, you get something new and these types of rings got studied.

  • 1
    $\begingroup$ I didn't know about "weakly Krull domains". Thank you, I'll take a look at this. $\endgroup$
    – user78294
    Sep 1, 2015 at 15:57
  • $\begingroup$ After browsing through the literature I have to admit that I haven't seen any interesting non-obvious examples of weakly Krull domains. That's a bit annoying. $\endgroup$
    – user78294
    Sep 3, 2015 at 12:06
  • $\begingroup$ I am not sure which examples you saw but one-dimensional noetherian domains are weakly Krull (but perhaps this is in the 'obvious' category). IIIRC Cohen-Macaulay domains are also weakly Krull. Some constructions can be found in projecteuclid.org/euclid.rmjm/1181069485 $\endgroup$
    – user9072
    Sep 3, 2015 at 12:21
  • $\begingroup$ Alright, quite a lot in there indeed, thanks. Do you happen to know whether there exist non-normal non-noetherian non-onedimensional rings with $R = \bigcap R_P$? Perhaps not all non- have to be satisfied at the same time. $\endgroup$
    – user78294
    Sep 3, 2015 at 12:24
  • 1
    $\begingroup$ I would try to look at the subring of $C[x,y]$ generated by monomials $x^my^n$ with $m\leq n\sqrt 2$ or something like that. $\endgroup$ Feb 9, 2016 at 22:35

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy