Injective quotient rings of commutative rings

Abstract

INTRODUCTION In the broadest sense, this is a study of commutative rings which satisfy the (finitely) pseudo-Froben[us (or (F)PF) condition: All (finitely generated) faithful modules generate the category mod-R of all R-modules. These rings include: Pr[[fer rings, almost maximal valuation rings, self-injective rings, e.g. , quasi-Frobenius (QF) and pseudo-Frobenius (PF) rings, and finite products of these. (In fact, any product of commutative FPF rings is FPF [34]; hence, any product of commutative PF rings is FPF (cf. §9).) If R is FPF, so is its (classical)ring of quotients Qc~(R) and its maximal quotient ring Qmax(R). All known FPF rings are (classically) quotientinjective in the sense that Qcf is injective. 2 We conjecture that all FIDF rings are quot[ent-injective, and prove this in the three cases: (i) local rings (Proposition 7 and Theorem 9B): (2) Noether[an rings (Theorem ii; Endo' s Theorem [25J~ (3) reduced rings (Proposition 3B and Theorem 4). Moreover, any FPF commutative ring R splits, R = R 1 X R2, where R 1 is semihered[tary, and R 2 has essential nilradical. (If R is semilocal or Noetherian, then R 2 is injective. ) Thus any reduced FPF ring has regular [njective Qc~' and conversely any quotient-injective sem[hered[tary ring is FPF (Theorem 4). A ring iS pre-(l~PF iff all(finitely generated)faithful ideals are generators, and we