Almost Bézout domains (Q1178920)

From MaRDI portal
Revision as of 15:06, 14 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Almost Bézout domains
scientific article

    Statements

    Almost Bézout domains (English)
    0 references
    0 references
    0 references
    26 June 1992
    0 references
    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\).
    0 references
    0 references
    AB-domain
    0 references
    API-domain
    0 references
    almost Bézout domain
    0 references
    almost Prüfer domain
    0 references
    almost principal ideal domain
    0 references
    AGCD-domain
    0 references
    almost valuation domain
    0 references
    AV- domain
    0 references
    AD-domain
    0 references

    Identifiers