A theorem of Burgess and Stephenson asserts that in an exchange ring with central idempotents, every maximal left ideal is also a right ideal. The proof uses sheaf-theoretic techniques. In this paper, we give a short elementary proof of this important theorem.

A long-standing conjecture of Faith in ring theory states that a left self-injective semi-primary ring A is necessarily a quasi-Frobenius ring. We propose a new method for approaching this conjecture, and prove it under some mild conditions; we show that if the simple A-modules are at most countably generated over a subring of the centre of A, then the conjecture holds. Also, the conjecture holds for algebras A over sufficiently large fields, i.e. if the cardinality of is larger than the dimension of the simple A-modules (or of A/Jac(A)). This effectively proves the conjecture in many situations, and we obtain several previously known results on this problem as a consequence.

It is proved here that a ring $R$ is right pseudo-Frobenius if and only if $R$ is a right Kasch ring such that the second right singular ideal is injective.

We consider rings as in the title and find the precise obstacle for them not to be Quasi-Frobenius, thus shedding new light on an old open question in Ring Theory. We also find several partial affirmative answers for that question.

It is shown that, over any ring R, the direct sum M = ⊕i∈IMi of uniform right R-modules Mi with local endomorphism rings is a CS-module if and only if every uniform submodule of M is essential in a direct summand of M and there does not exist an infinite sequence of non-isomorphic monomorphisms , with distinct in ∈ I. As a consequence, any CS-module which is a direct sum of submodules with local endomorphism rings has the exchange property.

Let S = k[[x,y]] be a formal power series ring in two variables x, y over a field k and I an (x, y)-primary ideal of S. We show that S/I is selfinjective if Hi(S/I, S/I ⊗k S/I) = 0 for i = 1 and 2.

A module M is said to be weakly N-projective if it has a projective cover π: P(M) ↠M and for each homomorphism : P(M) → N there exists an epimorphism σ:P(M) ↠M such that (kerσ) = 0, equivalently there exists a homomorphism :M ↠N such that σ= . A module M is said to be weakly projective if it is weakly N-projective for all finitely generated modules N. Weakly N-injective and weakly injective modules are defined dually. In this paper we study rings over which every weakly injective right R-module is weakly projective. We also study those rings over which every weakly projective right module is weakly injective. Among other results, we show that for a ring R the following conditions are equivalent:

(1) R is a left perfect and every weakly projective right R-module is weakly injective.

(2) R is a direct sum of matrix rings over local QF-rings.

(3) R is a QF-ring such that for any indecomposable projective right module eR and for any right ideal I, soc(eR/eI) = (eR/eJ)n for some positive integer n.

(4) R is right artinian ring and every weakly injective right R-module is weakly projective.

(5) Every weakly projective right R-module is weakly injective and every weakly injective right R-module is weakly projective.