On the distribution of prime elements in polynomial Krull domains

Abstract

Let A A be a Krull domain having infinitely many height one primes. It is shown that any ideal of height two in the polynomial ring A [ t ] A[t] contains a prime element. An application to the construction of Dedekind domains with specified class groups is given, along with an example to show the necessity of assuming infinitely many height one primes.