Noetherian extensions of commutative rings (Q2312866)

From MaRDI portal
Revision as of 21:53, 19 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    noetherian extension
    0 references
    global transform
    0 references
    r-Noetherian ring
    0 references
    Krull ring
    0 references

    Identifiers