Almost Bézout domains (Q1178920): Difference between revisions

Let \(R\) be an integral domain. \(R\) is called an AGCD-domain if for \(x,y\in R-\{0\}\) there exists an \(n\) with \(x^ nR\cap y^ nR\) principal. \(R\) is an almost Bézout (AB-)domain if, for \(a,b\in R- \{0\}\), there exists a positive integer \(n\) with \((a^ n,b^ n)\) principal. \(R\) is an almost Prüfer (AP-)domain if, under the same conditions, \((a^ n,b^ n)\) is invertible. \(R\) is an almost principal ideal (API-)domain if, for any nonempty subset \(\{a_ \alpha\}\subseteq R-\{0\}\) there exists an \(n\), with \((\{a^ n_ \alpha\})\) principal. It is an AD-domain, if \((\{a^ n_ \alpha\})\) is invertible. \(R\) is an almost valuation domain (AV-domain) if, for \(a,b\in R-\{0\}\), there exists an \(n\) such that one of \(a^ n,b^ n\) divides the other. The following are some of the results among the 22 theorems and 18 lemmas, propositions and corollaries contained in the paper: Every flat overring of an AGCD-domain is its localization. If \(S\) is an overring of \(R\) with \(R\subseteq S\subseteq\overline R\), then \(R\) is an AB-domain (respectively, AP-domain) if and only if \(S\) is an AB-domain (respectively, AP-domain) and, for each \(s\in S\), there exists an \(n\) with \(s^ n\in R\). The following statements are equivalent: (a) \(R\) is an integrally closed API-domain (respectively, AD-domain); (b) \(R\) is a root closed API-domain (respectively, AD-domain); (c) \(R\) is a Dedekind domain with torsion class group (respectively, Dedekind domain). The following conditions are equivalent: (a) \(R\) is an AV-domain; (b) \(\overline R\) is a valuation domain and \(R\subseteq\overline R\) is a root extension; (c) \(R\) is a \(t\)-local AGCD-domain; (d) \(R\) is a quasi-local AB-domain. \(R\) is an AP-domain if and only if for each maximal ideal \(M\) of \(R\), \(R_ M\) is an AV-domain. Let \(R\) be a commutative ring with identity and let \(I\) be an ideal of \(R\). If \(R\) contains a field of characteristic zero, then \(I^ n=I_ n\equiv(\{a^ n\mid a\in I\})\), for all natural \(n\); if \(R\) contains a field of characteristic \(p>0\), \(I^ n=I_ n\equiv(\{a^ n\mid a\in I\})\), for all natural \(n\) with \(1\leq n<p\).