Morita and Curtis proved
independently that if A is a quasi-Frobenius ring and Pa∨ finitely generated,
projective, faithful, left A-module, then the ring of endomorphisms B = EndA(P)
is quasi-Frobenius and P is a finitely generated, projective, faithful, left
B-module. It also turns out that A≅EndB(P). We prove a theorem implying
that every quasi-Frobenius ring can be represented as such a ring of
endomorphisms.
|