Injectivity of quasi-projective modules, projectivity of quasi-injective modules, and projective cover of injective modules (Q1210081): Difference between revisions

By \(R\) is denoted a semiprimary ring with identity 1 and \(R\)-modules be unitary. For a left \(R\)-module \(M\) the injective hull of \(M\) is denoted by \(E(M)\), the socle of \(M\) by \(S(M)\), the Jacobson radical by \(\text{rad}(M)\) and the top \(M/(\text{rad}(M))\) by \(T(M)\). For a subset \(S\) of \(R\) and an element \(r\in R\) the map \(S\to Sr\) defined via \(s\mapsto sr\) for all \(s\in S\) is denoted by \({}\cdot r\). For subsets \(S\) and \(T\) of \(R\) let \(\ell_ S(T)=\{x\in S\mid xT=0\}\) and \(r_ S(T)=\{x\in S\mid Tx=0\}\). For idempotents \(e\), \(f\) and \(g\) of \(R\) it is said that \(R\) satisfies the condition \(D_ r[f,g,e]\) (resp. \(D_ \ell [f,g,e]\)) if the descending chain condition holds on \(\{r_{gRe}(I)\mid I\) is a left \(fRf\)-submodule of \(fRg\}\) (resp. \(\{\ell_{fRg} (I')\mid I'\) is a right \(eRe\)-submodule of \(gRe\})\). The principal results established by the author are: 1) Let \(e\) and \(f\) be primitive idempotents of \(R\). Suppose that \(R\) satisfies \(D_ r[f,1,e]\) and \(D_ \ell[f,f,e]\). Then the following four conditions are equivalent. (1) \(E(T(_ R Rf))\) is quasi-projective with the projective cover \(\varphi: Re\to E(T(_ R Rf))\). (2) \(fR_ R\) is quasi-injective with \(S(fR_ R)\approx T(eR_ R)\). (3) (i) \(S(fR_ R))\approx T(eR_ R)\), (ii) \(S(_{fRf} fRe)\) is simple. (4) (i) \(\ell_{fR}(Re)=0\), (ii) \(fRe\) defines Morita duality between the category of finitely generated left \(fRf\)-modules and the category of finitely generated right \(eRe/e\cdot r_{Re}(fR)\)-modules; (2) Let \(e,f_ 1,\dots,f_ n\) be primitive idempotents of \(R\). Suppose that \(R\) satisfies \(D_ \ell[f,1,e]\) and both \(S(f_ i Re_{eRe})\) and \(S(_{f_ iRf_ i} f_ i Re)\) are simple for any \(i\in\{1,\dots,n\}\). Then \(S(_ R Re)\approx \bigoplus_{i=1}^ n T(_ RRf_ i)\) if and only if \(\bigoplus _{i=1}^ n f_ i R\) is the projective cover of \(E(T(eR_ R))\).