Polynomial extensions of modules with the quasi-Baer property (Q2333352)

All rings \(R\) in this paper have identity and all modules \(M_R\) are right and unital. For an arbitrary nonempty set of not necessarily commuting indeterminates \(X\), let \(R[X]\), \(R[[X]]\) (respectively, \(M[X]\) and \(M[[X]]\)) be polynomial ring, formal polynomial ring (modules, respectively, extended form the module \(M\)). When \(X=\{x\}\), \(R[X]\) is denoted as \(R[x]\) as usual. Let \(S=:\mathrm{End}_R(M)\) be the endomorphism ring of \(M_R\). Recall that a ring \(R\) is (quasi-)Baer if the right annihilator of every nonempty subset (resp. right ideal) of \(R\) is generated (as a right ideal) by an idempotent of \(R\). In the first section, the authors give a detailed survey of studies on the quasi-Baer property of rings and modules and other closely related topics. In the second section, the authors first show that \(\mathrm{End}_{R[x]} (M[x])\) is isomorphic to a subring of \(S[[x]]\), while \(\mathrm{End}_{R[[x]]}(M[[x]])\) is isomorphic to \(S[[x]]\). As a consequence, \(M_R\) is quasi-Baer if and only if \(M[X]_{R[X]}\) is quasi-Baer if and only if \(M[[X]]_{R[[X]]}\) is quasi-Baer. For a module with IFP (i.e., insertion of factors property), similar results are also included. For finitely generated \(M_R\) such that every semicentral idempotent in \(S\) is central, similar results are obtained for endo-p.q.-Baer. There appeared two repetitions in the abstract.