Quasi-Frobenius ring

Definition
A commutative unital ring is termed quasi-Frobenius if it satisfies the following equivalent properties:


 * It is injective as a module over itself
 * Every projective module over it is injective
 * Every injective module over it is projective

Stronger properties

 * Field
 * Semisimple Artinian ring