5
$\begingroup$

Are there any Prufer domains that have an infinity of prime ideals but only one of those primes is not finitely generated?

$\endgroup$

2 Answers 2

3
$\begingroup$

Yes. In fact, there's an example of such a ring that is also a Bezout domain (so all the finitely generated primes are in fact principal). The construction is as follows. Fix an integer prime $p$, let $\alpha$ be an element of $\mathbb Z_p$ that is transcendental over $\mathbb Q$, and set $A = \{ \alpha + p, \alpha + p^2, \ldots \}$. The desired ring is then $R = \{ f \in \mathbb Q(X) \colon f(A) \subset \mathbb Z_p \}.$ The nonzero primes of $R$ are all maximal and of the form ${\mathfrak m}_i = \{ f \in R \colon f(\alpha + p^i) \in p\mathbb Z_p\}$ ($i\geq0$). The ideal $\mathfrak m_0$ is not finitely generated but all the others are. This follows from general facts about rings of "integer-valued rational functions" together with the observation that $\alpha$ is a limit point of $A$ while $\alpha + p^i$ (with $i>0$) are all isolated points. The relevant details are in Chapter X of Cahen & Chabert, Integer-Valued Polynomials (AMS, 1997); see exercises 19 and 20 in particular.

Incidentally, the localization of $R$ at each $\mathfrak m_i$ is a dvr, but $R$ is not noetherian because ${\mathfrak m}_0$ is not finitely generated. Thus $R$ is an example of an "almost Dedekind domain" that isn't Dedekind. A question about such rings came up not too long ago.

$\endgroup$
0
2
$\begingroup$

In $\mathbb{Z}+X\mathbb{Q}[X]$, all prime ideals are principal except $X\mathbb{Q}[X]$ which is not finitely generated. Also $\mathbb{Z}+X\mathbb{Q}[X]$ is a Bezout domain (A domain in which each finitely generated ideal is principal) and a Bezout domain is always Prufer.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.