Maximal non-integrally closed subrings of an integral domain (Q6081935)

From MaRDI portal
scientific article; zbMATH DE number 7771811
Language Label Description Also known as
English
Maximal non-integrally closed subrings of an integral domain
scientific article; zbMATH DE number 7771811

    Statements

    Maximal non-integrally closed subrings of an integral domain (English)
    0 references
    0 references
    0 references
    29 November 2023
    0 references
    Let \(R\subset S\) be an extension of integral domains. The pair \((R,S)\)\ is called normal pair if each intermediate ring \(T\), \(R\subseteq T\subseteq S\), is integrally closed in \(S\). The domain \(R\) is called a maximal non-integrally closed subring of \(S\) if \(R\) is not integrally closed in \(S\), whereas each subring of \(S\) strictly containing \(R\) is integrally closed in \( S\). The study of such domains has been initiated for the case where \(S\) is the field of quotients of \(R\) in [\textit{A. Jaballah}, J. Algebra Appl. 11, No. 5, 1250041, 18 p. (2012; Zbl 1259.13004)]. The aim of this paper is to investigate these domains when \(S\) is not necessarily the field of quotients of \(R\). The main result Theorem 3.4 states that when \(R\) is not a field, it is a maximal non-integrally closed subring of \(S\), iff the integral closure \(\overline{ R_{S}}\) of \(R\) in \(S\) is the unique minimal overring of \(R\) in \(S\) and \(( \overline{R_{S}},S)\) is a normal pair, iff \(R\subset \overline{R_{S}}\) is a minimal extension, \((\overline{R_{S}},S)\) is a normal pair and \(R=R_{M}\cap S \), where \(M=(R:\overline{R_{S}})\). \textit{R. Gilmer} and \textit{W. J. Heinzer} asked in [J. Math. Kyoto Univ. 7, 133--150 (1967; Zbl 0166.30601)] which domains admit a unique minimal overring. Theorem 3.4 answers this question in the case where \((\overline{R_{S}},S)\) is a normal pair.
    0 references
    0 references
    integral domain
    0 references
    intermediate ring
    0 references
    overring
    0 references
    ring extension
    0 references
    integral extension
    0 references
    minimal extension
    0 references
    integrally closed
    0 references
    Prüfer domain
    0 references
    valuation domain
    0 references
    normal pair of rings
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references