Projective images (Q1320206)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Projective images |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Projective images |
scientific article |
Statements
Projective images (English)
0 references
17 April 1995
0 references
Let \(R\) be a ring, and let \(I\) be an ideal of \(R\). It is shown that if \(R/I\) is \(R\)-projective on both sides, then \(I\) is generated by a central idempotent of \(R\); i.e., \(R = I \oplus J\) for some ideal \(J\). This generalizes a result of \textit{T. Ikeda} [J. Algebra 105, 344-350 (1987; Zbl 0604.20007)] for blocks of group algebras. Contrary to an incorrect lemma of \textit{G. Huang} [Chin. Ann. Math., Ser. B 12, No. 3, 335-347 (1991; Zbl 0751.20005)], this is not true if \(R/I\) is projective on one side only. However, it is shown here that if \(R\) is a quasi-Frobenius ring, then \(R/I\) is left \(R\)-projective if and only if it is right \(R\)- projective.
0 references
projective module
0 references
direct summand
0 references
quasi-Frobenius blocks
0 references
central idempotent
0 references
blocks of group algebras
0 references
quasi-Frobenius ring
0 references
left \(R\)- projective
0 references