The ring A [ X , Y ; λ ] and the SFT property

From MaRDI portal
Publication:6561452





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 \(AX,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 \(AX+YIX,Y.\)











This page was built for publication: The ring A [ X , Y  ; λ ] and the SFT property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561452)