Jump to content

Prüfer domain

From Wikipedia, the free encyclopedia
(Redirected from Pruefer domain)

In mathematics, a Prüfer domain is a type of commutative ring that generalizes Dedekind domains in a non-Noetherian context. These rings possess the nice ideal and module theoretic properties of Dedekind domains, but usually only for finitely generated modules. Prüfer domains are named after the German mathematician Heinz Prüfer.

Examples

[edit]

The ring of entire functions on the open complex plane form a Prüfer domain. The ring of integer valued polynomials with rational coefficients is a Prüfer domain, although the ring of integer polynomials is not (Narkiewicz 1995, p. 56). While every number ring is a Dedekind domain, their union, the ring of algebraic integers, is a Prüfer domain. Just as a Dedekind domain is locally a discrete valuation ring, a Prüfer domain is locally a valuation ring, so that Prüfer domains act as non-noetherian analogues of Dedekind domains. Indeed, a domain that is the direct limit of subrings that are Prüfer domains is a Prüfer domain (Fuchs & Salce 2001, pp. 93–94).

Many Prüfer domains are also Bézout domains, that is, not only are finitely generated ideals projective, they are even free (that is, principal). For instance the ring of analytic functions on any non-compact Riemann surface is a Bézout domain (Helmer 1940), and the ring of algebraic integers is Bézout.

Definitions

[edit]

A Prüfer domain is a semihereditary integral domain. Equivalently, a Prüfer domain may be defined as a commutative ring without zero divisors in which every non-zero finitely generated ideal is invertible. Many different characterizations of Prüfer domains are known. Bourbaki lists fourteen of them, (Gilmer 1972) has around forty, and (Fontana, Huckaba & Papick 1997, p. 2) open with nine.

As a sample, the following conditions on an integral domain R are equivalent to R being a Prüfer domain, i.e. every finitely generated ideal of R is projective:

Ideal arithmetic
  • Every non-zero finitely generated ideal I of R is invertible: i.e. , where and is the field of fractions of R. Equivalently, every non-zero ideal generated by two elements is invertible.
  • For any (finitely generated) non-zero ideals I, J, K of R, the following distributivity property holds:
  • For any (finitely generated) ideals I, J, K of R, the following distributivity property holds:
  • For any (finitely generated) non-zero ideals I, J of R, the following property holds:
  • For any finitely generated ideals I, J, K of R, if IJ = IK then J = K or I = 0.
Localizations
Flatness
Integral closure
  • Every overring of is integrally closed
  • is integrally closed and there is some positive integer such that for every , in one has .
  • is integrally closed and each element of the quotient field of is a root of a polynomial in whose coefficients generate as an -module (Gilmer & Hoffmann 1975, p. 81).

Properties

[edit]
  • A commutative ring is a Dedekind domain if and only if it is a Prüfer domain and Noetherian.
  • Though Prüfer domains need not be Noetherian, they must be coherent, since finitely generated projective modules are finitely related.
  • Though ideals of Dedekind domains can all be generated by two elements, for every positive integer n, there are Prüfer domains with finitely generated ideals that cannot be generated by fewer than n elements (Swan 1984). However, finitely generated maximal ideals of Prüfer domains are two-generated (Fontana, Huckaba & Papick 1997, p. 31).
  • If R is a Prüfer domain and K is its field of fractions, then any ring S such that RSK is a Prüfer domain.
  • If R is a Prüfer domain, K is its field of fractions, and L is an algebraic extension field of K, then the integral closure of R in L is a Prüfer domain (Fuchs & Salce 2001, p. 93).
  • A finitely generated module M over a Prüfer domain is projective if and only if it is torsion-free. In fact, this property characterizes Prüfer domains.
  • (Gilmer–Hoffmann Theorem) Suppose that is an integral domain, its field of fractions, and is the integral closure of in . Then is a Prüfer domain if and only if every element of is a root of a polynomial in at least one of whose coefficients is a unit of (Gilmer & Hoffmann 1975, Theorem 2).
  • A commutative domain is a Dedekind domain if and only if the torsion submodule is a direct summand whenever it is bounded (M is bounded means rM = 0 for some r in R), (Chase 1960). Similarly, a commutative domain is a Prüfer domain if and only if the torsion submodule is a direct summand whenever it is finitely generated (Kaplansky 1960).

Generalizations

[edit]

More generally, a Prüfer ring is a commutative ring in which every non-zero finitely generated ideal containing a non-zero-divisor is invertible (that is, projective).

A commutative ring is said to be arithmetical if for every maximal ideal m in R, the localization Rm of R at m is a chain ring. With this definition, a Prüfer domain is an arithmetical domain. In fact, an arithmetical domain is the same thing as a Prüfer domain.

Non-commutative right or left semihereditary domains could also be considered as generalizations of Prüfer domains.

See also

[edit]

References

[edit]
  • Bourbaki, Nicolas (1998) [1989], Commutative algebra. Chapters 1–7, Elements of Mathematics (Berlin), Berlin: Springer-Verlag, ISBN 3-540-64239-0
  • Chase, Stephen U. (1960), "Direct products of modules", Transactions of the American Mathematical Society, 97 (3): 457–473, doi:10.2307/1993382, ISSN 0002-9947, JSTOR 1993382, MR 0120260
  • Fontana, Marco; Huckaba, James A.; Papick, Ira J. (1997), Prüfer domains, Monographs and Textbooks in Pure and Applied Mathematics, vol. 203, New York: Marcel Dekker Inc., ISBN 978-0-8247-9816-1, MR 1413297
  • Fuchs, László; Salce, Luigi (2001), Modules over non-Noetherian domains, Mathematical Surveys and Monographs, vol. 84, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1963-0, MR 1794715
  • Gilmer, Robert (1972), Multiplicative ideal theory, New York: Marcel Dekker Inc., MR 0427289
  • Gilmer, Robert; Hoffmann, Joseph F. (1975), "A characterization of Prüfer domains in terms of polynomials", Pacific J. Math., 60 (1): 81–85, doi:10.2140/pjm.1975.60.81, ISSN 0030-8730, MR 0412175.
  • Helmer, Olaf (1940), "Divisibility properties of integral functions", Duke Mathematical Journal, 6 (2): 345–356, doi:10.1215/S0012-7094-40-00626-3, ISSN 0012-7094, MR 0001851
  • Kaplansky, Irving (1960), "A characterization of Prufer rings", J. Indian Math. Soc., New Series, 24: 279–281, MR 0125137
  • Lam, T. Y. (1999), Lectures on modules and rings, Graduate Texts in Mathematics No. 189, New York: Springer-Verlag, ISBN 0-387-98428-3
  • Narkiewicz, Władysław (1995), Polynomial mappings, Lecture Notes in Mathematics, vol. 1600, Berlin: Springer-Verlag, ISBN 978-3-540-59435-2, Zbl 0829.11002
  • Swan, Richard G. (1984), "n-generator ideals in Prüfer domains", Pacific Journal of Mathematics, 111 (2): 433–446, doi:10.2140/pjm.1984.111.433, ISSN 0030-8730, MR 0734865