Bézout domain

In mathematics, a Bézout domain is an integral domain in which the sum of two principal ideals is also a principal ideal. This means that Bézout's identity holds for every pair of elements, and that every finitely generated ideal is principal. Bézout domains are a form of Prüfer domain.

Any principal ideal domain (PID) is a Bézout domain, but a Bézout domain need not be a Noetherian ring, so it could have non-finitely generated ideals; if so, it is not a unique factorization domain (UFD), but is still a GCD domain. The theory of Bézout domains retains many of the properties of PIDs, without requiring the Noetherian property.

Bézout domains are named after the French mathematician Étienne Bézout.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.