Namespaces
Variants
Actions

Difference between revisions of "Bezout ring"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (links)
(Category:Associative rings and algebras)
 
Line 1: Line 1:
An [[Integral domain]] with a unit element in which any ideal of finite type is principal. Any [[principal ideal ring]] and also any [[Valuation|valuation ring]] is Bezout. A Bezout ring is integrally closed, and its localizations (i.e. its rings of fractions with respect to multiplicative systems $S$, cf. [[Localization in a commutative algebra|Localization in a commutative algebra]]) are again Bezout rings. For a finite set $a_1,\ldots,a_n$ of elements of a Bezout ring $A$ there exist a [[greatest common divisor]] (a greatest common divisor of $(a_1,\ldots,a_n)$ has the form $\sum b_i a_i$, $b_i \in A$, a so-called Bezout identity) and a [[least 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.
+
An [[Integral domain]] with a unit element in which any ideal of finite type is principal. Any [[principal ideal ring]] and also any [[Valuation|valuation ring]] is Bezout. A Bezout ring is integrally closed, and its localizations (i.e. its rings of fractions with respect to multiplicative systems $S$, cf. [[Localization in a commutative algebra]]) are again Bezout rings. For a finite set $a_1,\ldots,a_n$ of elements of a Bezout ring $A$ there exist a [[greatest common divisor]] (a greatest common divisor of $(a_1,\ldots,a_n)$ has the form $\sum b_i a_i$, $b_i \in A$, a so-called Bezout identity) and a [[least 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.
  
  
Line 8: Line 8:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  R. Gilmer,  "Multiplicative ideal theory" , M. Dekker  (1972)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  R. Gilmer,  "Multiplicative ideal theory" , M. Dekker  (1972)</TD></TR></table>
 +
 +
{{TEX|done}}
 +
 +
[[Category:Associative rings and algebras]]

Latest revision as of 19:52, 2 November 2014

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 $S$, cf. Localization in a commutative algebra) are again Bezout rings. For a finite set $a_1,\ldots,a_n$ of elements of a Bezout ring $A$ there exist a greatest common divisor (a greatest common divisor of $(a_1,\ldots,a_n)$ has the form $\sum b_i a_i$, $b_i \in A$, a so-called Bezout identity) and a least 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.


Comments

References

[a1] R. Gilmer, "Multiplicative ideal theory" , M. Dekker (1972)
How to Cite This Entry:
Bezout ring. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bezout_ring&oldid=33607
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article