- Bézout domain
mathematics, a Bézout domain is an integral domainwhich is, in a certain sense, a non-Noetherian analogue of a principal ideal domain. More precisely, a Bézout domain is a domain in which every finitely generated ideal is principal. A Noetherian ring is a Bézout domain if and only if it is a principal ideal domain (PID). Bézout domains are named after the French mathematician Étienne Bézout.
A ring is a Bézout domain if and only if it is an integral domain in which any two elements have a
greatest common divisorthat is a linear combinationof them: indeed, this is easily seen to be equivalent to the statement that an ideal which is generated by two elements is also generated by a single element, and then by induction all finitely generated ideals are principal. The expression of the greatest common divisor of two elements of a PID as a linear combination is often called Bézout's identity, whence the terminology.
For a Bézout domain "R", the following conditions are all equivalent:
# "R" is a principal ideal domain.
# "R" is Noetherian.
# "R" is a
unique factorization domain(UFD).
# "R" satisfies the ascending chain condition on principal ideals (ACCP).
# Every nonzero nonunit in "R" factors into a product of irreducibles (R is an atomic domain).
Indeed, the equivalence of (1) and (2) was noted above. That (1) implies (3) implies (4) implies (5) are standard facts. Now assume "R" is not Noetherian. Then there exists an infinite ascending chain of finitely generated ideals, so in a Bézout domain an infinite ascending chain of principal ideals. Thus (4) implies (2). The existence of greatest common divisors implies that irreducible elements are prime, and an atomic domain in which irreducibles are prime is a unique factorization domain (this is essentially
Euclid's lemma), so (5) implies (3).
A Bézout domain is a
Prüfer domain, i.e., a domain in which each finitely generated ideal is invertible.
Roughly speaking, one may view the implications "Bézout domain implies Prüfer domain and GCD-domain" as the non-Noetherian analogues of the more familiar "PID implies
Dedekind domainand UFD". The analogy fails to be precise in that a UFD (or an atomic Prüfer domain) need not be Noetherian.
Prüfer domains can be characterized as integral domains whose
localizations at all prime (equivalently, all maximal) ideals are valuation domain. So the localization of a Bézout domain at a prime ideal is a valuation domain. Since an invertible ideal in a
local ringis principal, a local ring is a Bézout domain iff it is a valuation domain. Moreover a valuation domain with noncyclic value group is not Noetherian, and every totally ordered abelian groupis the value group of some valuation domain. This gives many examples of non-Noetherian Bézout domains. Here are two others:
* (Helmer, 1940) The ring of functions holomorphic on the entire
* The ring of all
algebraic integers. Theorem 102 of (Kaplansky, 1970) gives a more general result: let "R" be a Dedekind domain with quotient field"K", let "L" be the algebraic closureof "K", and let "T" be the "integral closure" of "R" in "L". Suppose that for any finite extension of K, the ring of integers has a torsion class group. Then T is a Bézout domain. On the other hand a domain (not itself a field) whose fraction field is algebraically closed cannot be a PID, for then it would carry a nontrivial discrete valuation and hence admit ramified extensions of all degrees.
* O. Helmer, Divisibility properties of integral functions, Duke Math. J. 6 (1940), 345-356.
* I. Kaplansky, Commutative Rings, Allyn & Bacon, 1970.
Wikimedia Foundation. 2010.
Look at other dictionaries:
Domain — may refer to: General Territory (administrative division), a non sovereign geographic area which has come under the authority of another government Public domain, a body of works and knowledge without proprietary interest Eminent domain, the… … Wikipedia
Bézout's identity — In number theory, Bézout s identity for two integers a, b is an expression where x and y are integers (called Bézout coefficients for (a,b)), such that d is a common divisor of a and b. Bézout s lemma states that such coefficients exist for every … Wikipedia
Étienne Bézout — (March 31, 1730 September 27, 1783) was a French mathematician who was born in Nemours, Seine et Marne, France, and died in Basses Loges (near Fontainebleau), France.WorkIn 1758 Bézout was elected an adjoint in mechanics of the French Academy of… … Wikipedia
Anneau de Bézout — En algèbre commutative un anneau de Bézout est un anneau où la propriété de Bézout va se trouver vérifiée. Plus formellement, c est un anneau dans lequel tout idéal de type fini est principal. Si, en toute théorie, la définition d un anneau de… … Wikipédia en Français
Dedekind domain — In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily … Wikipedia
Integrally closed domain — In commutative algebra, an integrally closed domain A is an integral domain whose integral closure in the field of fractions of A is A itself. Many well studied domains are integrally closed: Fields, the ring of integers Z, unique factorization… … Wikipedia
GCD domain — A GCD domain in mathematics is an integral domain R with the property that any two non zero elements have a greatest common divisor (GCD). Equivalently, any two non zero elements of R have a least common multiple (LCM). [cite book|author=Scott T … Wikipedia
Ascending chain condition on principal ideals — In abstract algebra, the ascending chain condition can be applied to the posets of principal left, principal right, or principal two sided ideals of a ring, partially ordered by inclusion. The ascending ascending chain condition on principal… … Wikipedia
Smith normal form — The Smith normal form is a normal form that can be defined for any matrix (not necessarily square) with entries in a principal ideal domain (PID). The Smith normal form of a matrix is diagonal, and can be obtained from the original matrix by… … Wikipedia
List of mathematics articles (B) — NOTOC B B spline B* algebra B* search algorithm B,C,K,W system BA model Ba space Babuška Lax Milgram theorem Baby Monster group Baby step giant step Babylonian mathematics Babylonian numerals Bach tensor Bach s algorithm Bachmann–Howard ordinal… … Wikipedia