Noetherian extensions of commutative rings (Q2312866)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Noetherian extensions of commutative rings
scientific article

    Statements

    Noetherian extensions of commutative rings (English)
    0 references
    0 references
    0 references
    18 July 2019
    0 references
    The authors study extensions of commutative rings (possibly, with zero-divisors) \(A\subseteq B\), where \(A\) is \(B\)-Noetherian, that is, each \(B\)-regular ideal of \(A\) is finitely generated (An ideal \(I\) of \(A\) is \(B\)-regular, if \(IB=B\)). The main purpose of the present paper is to generalize the Matijevic Theorem that implies the Krull-Akizuki Theorem: the authors prove that if \(A\subseteq B\) are commutative rings such that \(A\) is \(B\)-Noetherian, \(x\in A\) is \(B\)-regular, and \(R\) is a subring of \(A^{g(B)}\) containing \(A\), then \(R/xR\) is a Noetherian \(A\)-module and each ideal of \(R\) containing \(x\) is finitely generated. Here, assuming that there exist \(B\)-regular maximal ideals of \(A\). the ring \(A^{g(B)}\) is the set of all elements \(x\in B\) such that \(x\prod_{i=1}^k M_i\subseteq A\) for some \(B\)-regular maximal ideals \(M_1,\dots, M_k\) of \(A\), Among other results the authors present an analog of Hilbert basis theorem: if \(A\) is \(B\)-Noetherian and it is weakly surjective in \(B\), then \(A[X]\) is \(B[X]\)-Noetherian. Recall that \(A\) is weakly surjective in \(B\) if for every prime ideal \(P\) of \(A\) with \(PB=B\), one has \(A_P=B_{A\setminus P}\). Here is a quote from the authors' abstract: ``We also study some conditions on \(A\) and \(B\) under which if \(A\) is \(B\)-Noetherian with \(\dim_BA=1\), then any ring between \(A\) and \(B\) is \(B\)-Noetherian. This is the Krull-Akizuki theorem when \(A\) is an integral domain and \(B = T(A)\). Finally, we prove that if \(T(B)\) is integral over \(T(A)\) and \(A\) is integrally closed in \(B\), then every ideal \(I\) of \(A\) with \(IB = B\) is \(t\)-invertible.''
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    noetherian extension
    0 references
    global transform
    0 references
    r-Noetherian ring
    0 references
    Krull ring
    0 references
    0 references
    0 references