Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Is a right perfect right self-injective ring right PF? - MaRDI portal

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
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    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