Definition:Bézout Domain/Definition 1

From ProofWiki
Jump to navigation Jump to search


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.