Definition:Bézout Domain/Definition 1
Jump to navigation
Jump to search
Definition
A Bézout domain is an integral domain in which the sum of two principal ideals is again principal.
Also see
Source of Name
This entry was named for Étienne Bézout.
Historical Note
The definition of an integral domain, and even that of a ring, was not formulated until over a century after the death of Étienne Bézout.
However, a Bézout domain bears his name because in such an algebraic structure, each pair of elements satisfies an algebraic formulation of Bézout's Identity.