Definition:Bézout Domain

Definition
A Bézout domain is an integral domain in which the sum of two principal ideals is again principal.

Although even the definition of a ring was not formulated until over a century after his death, a Bézout Domain bears his name because in such a structure, each pair of elements satisfies an algebraic formulation of Bézout's Identity.