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
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
noetherian extension
0 references
global transform
0 references
r-Noetherian ring
0 references
Krull ring
0 references
0 references
0 references