Polynomial extensions of Baer and quasi-Baer rings (Q5935970)

A ring \(R\) is called (quasi-)Baer ring if the right annihilator of every (ideal) non-empty subset of \(R\) is generated, as a right ideal, by an idempotent of \(R\). Theorem 1.2. Let \(R\) be a quasi-Baer ring. Then the following extension rings are quasi-Baer rings, where \(X\) is an arbitrary nonempty set of not necessarily commuting indeterminates and \(\alpha\) is a ring automorphism of \(R\): (i) \(R[X]\); (ii) \(R[[X]]\); (iii) \(R[x;\alpha]\); (iv) \(R[[x;\alpha]]\); (v) \(R[x,x^{-1};\alpha]\); (vi) \(R[[x,x^{-1};\alpha]]\), where the notations are the polynomial ring over \(R\), the formal power series ring over \(R\), the skew polynomial ring over \(R\), the skew power series ring over \(R\), the skew Laurent polynomial ring over \(R\), and the skew Laurent series ring over \(R\), respectively. Conversely, if either \(R[X]\) or \(R[[X]]\) is quasi-Baer (Baer), then so is \(R\). Theorem 1.8. Let \(R\) be a ring and \(X\) an arbitrary nonempty set of not necessarily commuting indeterminates. Then the following are equivalent: (i) \(R\) is quasi-Baer; (ii) \(R[X]\) is quasi-Baer; (iii) \(R[[X]]\) is quasi-Baer; (iv) \(R[x,x^{-1}]\) is quasi-Baer; (vi) \(R[[x,x^{-1}]]\) is quasi-Baer. These results also hold for involution rings if \(X\) is an arbitrary nonempty set of commuting indeterminates.