On radicals of skew inverse Laurent series rings. (Q2809256)

For a ring \(R\), the well-known result of Amitsur giving the Jacobson radical of a polynomial ring \(R[x]\), \(J(R[x])=(J(R[x])\cap R)[x]\) and \(J(R[x])\cap R\) is a nil ideal of \(R\) (which coincides with the nil radical of \(R\) when \(R\) is commutative), has been generalized to skew polynomial rings, skew Laurent polynomial rings and skew formal power series rings. For the rings of formal skew inverse Laurent series and the ring of formal skew power series in \(x^{-1}\), information on their Jacobson radical, respectively, is known only for a few cases; mostly where the base ring \(R\) fulfills some finiteness requirement.NEWLINENEWLINE In this paper the author follows a different approach. It is rather assumed that the base ring \(R\) fulfills an Armendariz-like condition (product of two power series zero implies certain products of coefficients zero). For such a ring \(R\), if \(S\) denotes any one of the five types of rings mentioned above, it is shown that \(\mathrm{rad}(S)=\mathrm{rad}(R)S=\mathrm{nil}(S)\) and \(\mathrm{rad}(S)\cap R=\mathrm{nil}(R)\) where \(\mathrm{rad}(-)\) denotes a radical that could be any one of the Wedderburn, lower nil, Levitzki, upper nil or Jacobson radicals and \(\mathrm{nil}(R)\) is the set of nilpotent elements of \(R\).