# 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.