Bezout ring

From Encyclopedia of Mathematics
Revision as of 17:28, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

An integral domain with a unit element in which any ideal of finite type is principal. Any principal ideal ring and also any valuation ring is Bezout. A Bezout ring is integrally closed, and its localizations (i.e. its rings of fractions with respect to multiplicative systems , cf. Localization in a commutative algebra) are again Bezout rings. For a finite set of elements of a Bezout ring there exist the greatest common divisor (the greatest common divisor of has the form , , a so-called Bezout identity) and the lowest common multiple. A Noetherian ring (and even a ring that satisfies the ascending chain condition only for principal ideals) which is Bezout is a principal ideal ring. As for principal ideal rings, a module of finite type over a Bezout ring is a direct sum of a torsion module and a free module.



[a1] R. Gilmer, "Multiplicative ideal theory" , M. Dekker (1972)
How to Cite This Entry:
Bezout ring. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article