PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (204)
Orphanage
Unclass'd
Unproven (490)
Corrections (6)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: Very high Entry average rating: High
Bezout domain (Definition)

A Bezout domain $ D$ is an integral domain such that every finitely generated ideal of $ D$ is principal.

Remarks.

  • A PID is obviously a Bezout domain.
  • Furthermore, a Bezout domain is a gcd domain. To see this, suppose $ D$ is a Bezout domain with $ a,b\in D$. By definition, there is a $ d\in D$ such that $ (d)=(a,b)$, the ideal generated by $ a$ and $ b$. So $ a\in (d)$ and $ b\in (d)$ and therefore, $ d\mid a$ and $ d\mid b$. Next, suppose $ c\in D$ and that $ c\mid a$ and $ c\mid b$. Then both $ a,b\in (c)$ and so $ d\in (c)$. This means that $ c\mid d$ and we are done.
  • From the discussion above, we see in a Bezout domain $ D$, a greatest common divisor exists for every pair of elements. Furthermore, if $ \operatorname{gcd}(a,b)$ denotes one such greatest common divisor between $ a,b\in D$, then for some $ r,s\in D$:
    $\displaystyle \operatorname{gcd}(a,b)=ra+sb.$
    The above equation is known as the Bezout identity, or Bezout's Lemma.



"Bezout domain" is owned by CWoo.
(view preamble)

View style:

See Also: gcd domain, divisibility by product

Other names:  Bézout domain
Also defines:  Bezout identity

Attachments:
example of a Bezout domain that is not a PID (Example) by Wkbj79
Log in to rate this entry.
(view current ratings)

Cross-references: Bezout's lemma, equation, greatest common divisor, ideal generated by, gcd domain, PID, ideal, finitely generated, integral domain
There are 6 references to this entry.

This is version 7 of Bezout domain, born on 2004-04-23, modified 2005-01-28.
Object id is 5801, canonical name is BezoutDomain.
Accessed 4860 times total.

Classification:
AMS MSC: 13G05 (Commutative rings and algebras :: Integral domains)
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)