PRIME IDEALS IN 2-DIMENSIONAL DOMAINS OVER THE INTEGERS

Let beta be a finitely generated birational extension of Z[x], the rin g of polynomials in one variable over the integers Z. (That is, B is a finitely generated extension of Z[x] contained in its quotient field Q(x).) Then Spec(B) is order-isomorphic to Spec (Z[x]). This affirms p art of a conjecture of Wiegand (1986). (C) 1998 Elsevier Science B.V. All rights reserved.