FI-injective and FI-flat modules. (Q875090): Difference between revisions

A left \(R\)-module \(M\) is defined to be `FI-injective' (resp. `FI-flat') if \(\text{Ext}^1_R(G,M)=0\) (resp. \(\text{Tor}_1(G,M)=0\)) for any FP-injective left \(R\)-module \(G\). A number of characterizations of FI-injectivity and FI-flatness are obtained. In particular, if \(R\) is a left coherent ring, then a left \(R\)-module \(M\) is characterized to be FI-injective if and only if \(M\) is a direct sum of an injective left \(R\)-module and a reduced FI-injective left \(R\)-module. A ring is shown to be QF (i.e., Noetherian and every injective left \(R\)-module is flat) if and only if every left \(R\)-module is FI-injective. Over a left and right coherent ring, various equivalences of \(\text{FP-id}(R_R)\leq 1\) are found in terms of FI-injectivity of \(R\)-modules. The left FP-dimension of rings and modules are studied next. A coherent ring is shown to be left semihereditary (i.e., \(\text{l.FP-}\dim(R)\leq 1\)) if and only if every FI-injective left module is injective. A number of equivalences for \(R\) to be coherent and \(\text{l.FP-}\dim(R)\leq 2\) are found in terms of FI-injective and FI-flat modules. For example, a ring \(R\) is shown to be left coherent and have \(\text{l.FP-}\dim(R)\leq 2\) if and only if \(R\) is left coherent and every finitely presented FI-flat right \(R\)-module has an epic flat (pre)envelope.