In mathematics, a Bézout domain, named after Étienne Bézout, is an integral domain which is, in a certain sense, a non-Noetherian analogue of a principal ideal domain (PID). Mathematics is the body of Knowledge and Academic discipline that studies such concepts as Quantity, Structure, Space and Étienne Bézout ( March 31, 1730 - September 27, 1783) was a French Mathematician who was born in Nemours, In Abstract algebra, a principal ideal domain, or PID is an Integral domain in which every ideal is principal i
More precisely, a Bézout domain is a domain in which each finitely generated ideal is principal. This definition makes clear that a Noetherian ring is a Bézout domain iff it is a PID.
A ring is a Bézout domain iff it is an integral domain in which any two elements have a greatest common divisor that is a linear combination of 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. In Mathematics, the greatest common divisor (gcd, sometimes known as the greatest common factor (gcf or highest common factor (hcf, of two non-zero In Mathematics, linear combinations are a concept central to Linear algebra and related fields of mathematics The expression of the gcd of two elements of a PID as a linear combination is often called Bézout's identity, whence the terminology. In Number theory, Bézout's identity or Bézout's lemma is a linear Diophantine equation.
For a Bézout domain R, the following conditions are all equivalent:
(i) R is a PID.
(ii) R is Noetherian.
(iii) R is a unique factorization domain.
(iv) R satisfies the ascending chain condition on principal ideals (ACCP).
(v) Every nonzero nonunit in R factors into a product of irreducibles (R is an atomic domain).
Indeed, the equivalence of (i) and (ii) was noted above. That (i) implies (iii) implies (iv) implies (v) 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 (iv) implies (ii). 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 (v) implies (iii).
A Bézout domain is a Prüfer domain, i. In Mathematics, a Prüfer domain is a type of Commutative ring that generalizes Dedekind domains in a non- Noetherian context 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 domain and 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. In Abstract algebra, a valuation ring is an Integral domain D such that for every element x of its Field of fractions F So the localization of a Bézout domain at a prime ideal is a valuation domain. Since an invertible ideal in a local ring is 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 group is 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 complex plane.
- 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 closure of 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.
References
- O. Helmer, Divisibility properties of integral functions, Duke Math. J. 6 (1940), 345-356.
- I. Kaplansky, Commutative Rings, Allyn & Bacon, 1970.
Dapyx Software network: MP3 Explorer | Ebook Manager | Zenithic