Hi everybody,

I wonder if someone could provide me with a simple example of a Dedekind ring whose ideal class group is isomorphic to $\mathbb{Z}$.

The point is I would like the example simple enough to be understood by a 4^th year student, with basic knowledge in algebra.

I know that every abelian group is the ideal class group of some Dedekind ring. It is proved in a paper of Claborn. I've read through the paper, and followed the proof, but it seems very intricate and needs lots of prerequisites (it needs stuff on Krull domains, valuation rings, plus other intermediate results)

In fact, any example of a Dedekind ring with an infinite ideal class group would do. I've seen in an other topic that the integral closure of $\mathbb{C}[X]$ in $\mathbb{C}(X)(\sqrt{X^3-X})$ would do, but the proof needs some non trivial results on elliptic curves.

I really would like the example and the computation of the ideal class group as self-contained as it is possible. Maybe I'm asking too much, I don't know.

Thanks in advance !

Greg