Counting intermediate rings in normal pairs (Q2427143)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Counting intermediate rings in normal pairs
scientific article

    Statements

    Counting intermediate rings in normal pairs (English)
    0 references
    0 references
    0 references
    8 May 2008
    0 references
    In this paper, the authors study normal pairs of rings. A normal pair \((R,S)\) is a pair of integral domains such that each intermediate ring \(R \subset T \subset S\) is integrally closed in \(S\). The authors are mainly interested in the cardinality of the set \([R,S]\) of intermediate rings, and in particular, generalizing the results obtained by \textit{A.~Jaballah} [Expo. Math. 23, 353--360 (2005; Zbl 1100.13008)]. Under certain conditions, like the finiteness of the set \([R,S]\), the authors compute the number of intermediate rings. They also provide a connection between intermediate rings and prime ideals. One result toward this end is the following: If \(\mathfrak q\) is a prime ideal of \(R\) such that the set \(\mathcal M\) of maximal ideals \(\mathfrak m\) of \(R\) satisfying \(S_{R \backslash \mathfrak m}= R_{\mathfrak q}\) is non-empty, say \(\mathcal M=\{\mathfrak m_i : i \in I\}\), then for any intermediate ring \(T\) in \([\bigcap_{i \in I} R_{\mathfrak m_i}, R_{\mathfrak q}]\), there are prime ideals \(\mathfrak p_i \subset R\) such that \(T = \bigcap_{i \in I} R_{\mathfrak p_i}.\) If \([R,S]\) is assumed to be finite, then the cardinality of \([R_{\mathcal M}, R_{\mathfrak q}]\) is computed. When \(R\) is semiquasilocal with maximal ideals \(\mathfrak m_1, \dots, \mathfrak m_n\), the authors establish a bijective correspondence between the set of intermediate rings in \((R,S)\) and \(\prod_{j=1}^n [R_{\mathcal M_j}, R_{\mathfrak q}]\), where for each \(j\) the prime ideals \(\mathfrak q\) satisfy \(S_{R \backslash \mathfrak m_j}= R_{\mathfrak q}\). Moreover, the number of intermediate rings in \((R,S)\) is computed if (i) \([R,S]\) is assumed to be finite, or (ii) the prime ideals \(\mathfrak q\) are assumed to be pairwise incomparable.
    0 references
    ring extension
    0 references
    integral domain, intermediate ring
    0 references
    integrally closed
    0 references
    Prüfer domain
    0 references
    normal pair
    0 references

    Identifiers

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