On a theorem of Fuller (Q5905620)

The authors consider associative rings with identity and unital \(R\)- modules. Let \(R\) be a left artinian ring and \(e\) a primitive idempotent in \(R\). They say that \((eR, Rf)\) for a primitive idempotent \(f \in R\) is an \(i\)-pair if \(\text{Socle} (eR_ R) \simeq fR/fN\) and \(\text{Socle} (_ RRf) \simeq Re/Ne\) where \(N\) is the Jacobson radical of \(R\). Let \(R\) be a semiprimary ring. Then (A) For a primitive idempotent \(e\) in \(R\), \(eR_ R\) is injective if and only if there exists a primitive idempotent \(f\) in \(R\) such that: (1) \((eR, Rf)\) is an \(i\)-pair, (2) \(r_{Rf} l_{eR} (X) = X\) for any right \(fRf\) module \(X\) of \(Rf_{fRf}\), where \(r_{Rf}(*) = x\in Rf |{^*x}= 0\) and \(l_{eR} (*) = x\in eR| x^* = 0\), (B) For primitive idempotents \(e\) and \(f\) in \(R\) such that \((eR, Rf)\) is an \(i\)-pair, the following are equivalent: (1) \(_{eRe} R\) is artinian, (2) \(Rf_{fRf}\) is artinian, (3) Both \(eR_ R\) and \(_ RRf\) are injective. The authors improve an analogous result of \textit{K. R. Fuller} [Pac. J. Math. 29, 115-135 (1969; Zbl 0182.05702)] and give an elementary proof of it.