# A Noetherian ring with Krull dimension one which is not a Dedekind domain

Can someone give me, with proof, an example of a Noetherian ring which has Krull dimension one but is not a Dedekind domain?

I think it would also be instructive to see other "near misses."

-
A domain is Dedekind if and only if it is integrally closed, Noetherian, and has Krull dimension $1$. So if you want to stick to domains, just take one which is not integrally closed but is all the rest. Wouldn't $\mathbb{Z}[\sqrt{-3}]$ work, or more generally, $\mathbb{Z}[\sqrt{d}]$ with $d\neq 1$, squarefree, and $d\equiv 1 \pmod{4}$? –  Arturo Magidin Jan 3 '11 at 1:35
Must, not, make, movie, reference. –  uncle brad Jan 3 '11 at 3:05
The affine ring of an irreducible singular affine curve is such an example. –  Makoto Kato Jun 5 '12 at 2:43
@vadim123 Only 15 topics tagged as Krull-dimension? I bet you can find more! –  user26857 Jun 21 '13 at 7:05

The ring $\mathbb{Z}[2i]$ is an example. It satisfies all the properties of a Dedekind domain except that it is not integrally closed. (To see that it satisfies these properties, note that it is integral over $\mathbb{Z}$, so the Krull dimension is one, as integral extensions preserve dimension. It is also clearly noetherian.)

-
As for the proof that integral extensions preserve dimension, the following is my proof. Is there an easier way to see it? Let's suppose that B is integral over A. By Lying-Over, dim B \geq dim A. Conversely, it is a standard argument that if p \subset q is a strict containment in B, then the containment is still strict after intersecting. –  Tony Jan 4 '11 at 14:46
@Tony: That's the standard argument, I believe; I'm afraid I know of no others. –  Akhil Mathew Jan 4 '11 at 16:22

The ring $R_1 = \mathbb{Z} \times \mathbb{Z}$ gives a counterexample to your claim (it is not a domain). However $\operatorname{Spec}(R_1)$ is a Dedekind scheme, so this is a somewhat cheap counterexample. The counterexample $R_2 = \mathbb{Z}[t]/(t^2)$ is more serious.

-

If by "other near misses" you mean other rings that satisfy two of the three conditions for being a Dedekind domain, another such ring is k[x, y], which is Noetherian (by the Hilbert basis theorem), integrally closed (it is a UFD, and UFDs are integrally closed) but not every prime ideal is maximal (for example (x)).

-