On \(\sigma\)-nil ideals of bounded index of \(\sigma\)-nilpotence. (Q1952151)

For many of the well-known radicals, the radical of the skew polynomial ring \(R[x;\sigma]\) has been determined, usually expressed in terms of the corresponding radical and certain \(\sigma\)-ideals of the ring \(R\). For a ring \(R\), the set \(B(R)\) of all elements of \(R\) that generate one-sided ideals which are nil of bounded index is an ideal of \(R\) and is called the bounded nil radical of \(R\). Here the authors investigate the structure of the bounded nil radical of \(R[x;\sigma]\). For this they define the concepts of a \(\sigma\)-nil ideal of \(R\) of bounded index of \(\sigma\)-nilpotence and the set \(B_\sigma(R)\) of all elements of \(R\) that generate bounded \(\sigma\)-nil right ideals. The main results are restricted to rings \(R\) which are \(\sigma\)-nilpotent zero-insertive or \(\sigma\)-skew \(\sigma\)-nilpotent zero-insertive; both these notions are also defined by the authors. For any ring \(R\), it is shown that \(B(R[x;\sigma])\subseteq (B(R)\cap B_\sigma(R))+B_\sigma(R)xR[x;\sigma]\) and when \(R\) is \(\sigma\)-skew \(\sigma\)-nilpotent zero-insertive, then the equality holds and also \(B_\sigma(R)[x;\sigma]=B_\sigma(R[x;\sigma])\). Many examples are given to distinguish between some of the notions introduced and to show the necessity of certain requirements. The authors also investigate the relationship between the \( \sigma\)-Wedderburn radical of \(R\) and \(B_\sigma(R)\).