The ring <i>A</i> [ <i>X</i> , <i>Y</i> ; <i>λ</i> ] and the SFT property (Q6561452)

All rings considered in this paper are commutative with identity. Let \(A\) be 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}\}\) 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\},\) where \(f_{k}\) is a polynomial of \(A[X,Y]\) which is zero or homogeneous in \(Y\) of degree \(k,\) is a subring of \(A[X][[Y]]\) which contains \(A[X,Y].\)\N\NIn this paper under review, the authors show that if \(A\) is a Noetherian ring with nonzero characteristic and \(\lambda :\mathbb{R}_{+}\rightarrow \mathbb{R}_{+}\) is a nonzero increasing function such that \(\underset{ k\rightarrow +\infty }{\lim }\frac{\lambda (k+1)}{\lambda (k)}=+\infty \) then the ring \(A[X,Y;\lambda ]\) is an SFT ring. Moreover, they prove that the completion of the ring \(A[X,Y;\lambda ]\) for its \(X\)-adic topology is the ring \(A[[X,Y]]\) and its completion for its \(Y\)-adic topology is the ring \(A[X][[Y]].\) So they give a large class of non Noetherian SFT rings with Noetherian completions.\N\NOn the other hand, let \(A\subset B\) be an extension of commutative rings, \(I\) an ideal of \(B\) and \(\lambda :\mathbb{R}_{+}\rightarrow \mathbb{R}_{+}\) be a nonzero increasing function, the authors considered the ring \( A[X]+YI[X,Y;\lambda ]=\{f=\sum\limits_{k=0}^{\infty }f_{k}(X)Y^{k}\in B[X,Y,\lambda ]\mid f_{0}\in A[X]\) and \(\forall k\geq 1,f_{k}\in I[X]\}.\) They prove that if \(A\) is a Noetherian ring with nonzero characteristic, \( I^{2}=I,\) \(I\) is a finitely generated \(A\)-module and \(\underset{k\rightarrow +\infty }{\lim }\frac{\lambda (k+1)}{\lambda (k)}=+\infty \) then the ring \( A[X]+YI[X,Y;\lambda ]\) is SFT. Moreover, its completion for its \(X\)-adic topology is the ring \(A[[X]]+YI[[X,Y]].\)