Published online by Cambridge University Press: 20 November 2018
A Prüfer domain is an integral domain D with the property that for every proper prime ideal P of D the quotient ring DP is a valuation ring. Examples of such domains are valuation rings and Dedekind domains, a Dedekind domain being merely a noetherian Prüfer domain. The integral closure of the integers in an infinite algebraic extension of the rationals is another example of a Prüfer domain (5, p. 555, Theorem 8). This third example has been studied initially by Krull (4) and then by Nakano (8).