Noetherian rings of the form \({\mathcal{A}}[X,Y;\lambda]\) (Q6185702)

All rings considered in this paper are commutative with identity. The authors introduce a new class of composite rings. Recall first that if \(A\) is a ring, \(\lambda :\mathbb{R}_{+}\rightarrow \mathbb{R}_{+}\) is a nonzero increasing function, \(X=\{X_{1},\dots,X_{n}\}\) and \( Y=\{Y_{1},\dots,Y_{m}\}\) are two finite sets of indeterminates then \( A[X,Y;\lambda ]=\{f=\sum\limits_{k=0}^{\infty }f_{k}\in A[X][[Y]]\mid \exists c_{f}\geq 0\) such that \(\deg _{X}(f_{k})\leq c_{f}(\lambda (k)+1),\forall k\geq 0\}\). Let \(\mathcal{A}=(A_{k})_{k\geq 0}\) be an increasing sequence of rings, \( A=\bigcup\limits_{k=0}^{\infty }A_{k}\) and \(\lambda :\mathbb{R} _{+}\rightarrow \mathbb{R}_{+}\) be a nonzero increasing function. The authors define the ring \(\mathcal{A}[X,Y;\lambda ]=\{f=\sum\limits_{k=0}^{\infty }f_{k}\in A[X,Y;\lambda ]\) such that \( f_{k}\in A_{k}[X,Y]\) for every \(k\geq 0\}\). If we suppose in addition that for every \(x,y\geq 1\), \(\lambda (x)\neq 0\) and \(\lambda (x)+\lambda (y)\leq \lambda (x+y)\) then the authors show that \( \mathcal{A}[X,Y;\lambda ]\) is Noetherian if and only if the ring \(A_{0}\) is Noetherian, the sequence \(\mathcal{A}\) is stationary, for each \(k\geq 1\), the \(A_{0}\)-module \(A_{k}\) is finitely generated and the sequence \((\frac{ \lambda (k+1)}{\lambda (k)})_{k\geq 1}\) is bounded. Moreover, if \(Y\) has one variable, \(A\subset B\) is a ring extension, \(I\) is an ideal of \(B\), \(\lambda :\mathbb{R}_{+}\rightarrow \mathbb{R}_{+}\) is a nonzero increasing function such that for every \(x,y\geq 1\), \(\lambda (x)\neq0 \), \(\lambda (x)+\lambda (y)\leq \lambda (x+y)\) and the sequence \((\frac{ \lambda (k+1)}{\lambda (k)})_{k\geq 1}\) is bounded then the ring \( A[X]+YI[X,Y;\lambda ]=\{f=\sum\limits_{k=0}^{\infty }f_{k}(X)Y^{k}\in B[X,Y;\lambda ]\) such that \(f_{0}\in A[X]\) and \(\forall k\geq 1\), \(f_{k}\in I[X]\}\) is Noetherian if and only if \(A\) is Noetherian, the ideal \(I\) is idempotent and it is a finitely generated \(A\)-module.