On the integral domains characterized by a Bézout property on intersections of principal ideals (Q2049373)

The authors study two classes of integral domains: Bézout intersection domains and strong Bézout intersection domains . An integral domain \(D\) is called: \(\bullet\) Bézout intersection domain (BID) if for any finite collection of pairwise incomparable elements \(a_{1}, a_{2}, \ldots, a_{n}\in D\), the ideal \[I = \left(a_{1}\right)\cap \left(a_{2}\right)\cap \ldots \cap \left(a_{n}\right)\] is either principal or is not finitely generated. \(\bullet\) Strong Bézout intersection domain (SBID) if for any finite collection of pairwise incomparable elements \(a_{1}, a_{2}, \ldots, a_{n}\in D\) with \(n\geq 2\), the ideal \[I = \left(a_{1}\right)\cap \left(a_{2}\right)\cap \ldots \cap \left(a_{n}\right)\] is not finitely generated. In Section 2, several proprieties of BID and SBID are established. In Theorem 2.5, it is shown that the classical \(k+\mathfrak{m}\) construction produces a wide class of examples of SBID. In Theorem 2.7, the notions of BID and SBID are studied in pullback diagrams of type square. A construction of a Krull domain which is also a BID is given in Theorem 2.14. In Section 3, an operation denoted \(\xi\) is defined on the class of ideals. The operation \(\xi\) is a variant of the classical \(w\) operation , which is itself a variant of the classical \(t\) classical operation. In Theorem 3.8, the operations \(\xi\), \(w\), \(t\) are used to gives equivalent conditions for a domain to be an SBID. In Section 4, several constructions of strong Bézout intersection domains are given. In Example 4.9, two examples of completely integrally closed SBID are described. Other examples of SBID domains are given in Proposition 4.10 and Theorem 4.12.