Is a right perfect right self-injective ring right PF? (Q5930015)
From MaRDI portal
scientific article; zbMATH DE number 1587258
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Is a right perfect right self-injective ring right PF? |
scientific article; zbMATH DE number 1587258 |
Statements
Is a right perfect right self-injective ring right PF? (English)
0 references
2 May 2002
0 references
Recall that a ring \(R\) is called right pseudo-Frobenius (PF) if \(R_R\) is an injective cogenerator, right Kasch if \(R_R\) contains a copy of each simple right \(R\)-module, left CS if every left ideal is essential in a direct summand of \(_RR\), and left principally injective (respectively left mininjective) if every \(R\)-homomorphism from a principal (resp. minimal) left ideal of \(R\) to \(R\) can be extended to \(R\). We denote the left singular ideal, left socle, right socle, and Jacobson radical of \(R\) by \(Z(_RR)\), \(\text{Soc}(_RR)\), \(\text{Soc}(R_R)\), and \(J(R)\) respectively. The main result of this paper states that if \(R\) is a semiperfect right self-injective ring in which \(Re\) contains a minimal left ideal for every primitive idempotent \(e\) then the following conditions are equivalent: (a) \(R\) is right PF; (b) \(R\) is left principally injective; (c) \(R\) is left mininjective; (d) \(J(R)=Z(_RR)\); (e) \(\text{Soc}(_RR)=\text{Soc}(R_R)\); (f) \(\text{Soc}(R_R)\) is an essential left ideal of \(R\); (g) every simple left \(R\)-module embeds in \(\text{Soc}(R_R)\). (As the author notes, the implications (a) \(\Rightarrow\) (b), (c), (d), (e), (f) and (g) appear in \textit{W. K. Nicholson} and \textit{M. F. Yousif} [J. Algebra 187, No. 2, 548-578 (1997; Zbl 0879.16002)].) He also proves that (i) a semiperfect left CS ring \(R\) is right Kasch if and only if \(\text{Soc}(R_R)\) is an essential left ideal of \(R\), (ii) a right perfect right self-injective ring \(R\) is right PF if and only if \(R/Z(_RR)\) is a semiprime ring, and (iii) a right perfect left quasi-continuous ring is left and right Kasch.
0 references
right pseudo-Frobenius rings
0 references
injective cogenerators
0 references
simple right modules
0 references
direct summands
0 references
left principally injective modules
0 references
left singular ideals
0 references
socles
0 references
Jacobson radical
0 references
semiperfect right self-injective rings
0 references
minimal left ideals
0 references
primitive idempotents
0 references
essential left ideals
0 references
semiperfect left CS rings
0 references
right Kasch rings
0 references
right perfect right self-injective rings
0 references
semiprime rings
0 references
right perfect left quasi-continuous rings
0 references