On a theorem of Fuller

DOI10.1006/JABR.1993.1005MaRDI QIDQ5905620zbMATH OpenOpenAlexFDO

Publication date 29 March 1993

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jabr.1993.1005

Jacobson radical left Artinian rings primitive idempotents

Injective modules, self-injective associative rings (16D50) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Prime and semiprime associative rings (16N60) Artinian rings and modules (associative rings and algebras) (16P20)

Review text

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.

Recommendations

Cited in

(16)

This page was built for publication: On a theorem of Fuller

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5905620)