Prime ideals in two-dimensional domains over the integers Original Research Article

Let B be a finitely generated birational extension of image, the ring of polynomials in one variable over the integers image. (That is, B is a finitely generated extension of image contained in its quotient field image Then Spec(B) is order-isomorphic to Specimage. This affirms part of a conjecture of Wiegand (1986).