\(M\)-\(\mathcal A\)-injective (flat) and strongly \(\mathcal B\)-injective (flat) modules. (Q2354266)

Let \(M\) denote a left module over an associative ring \(R\), \(\mathcal A\) a family of submodules of \(A\) and \(\mathcal B\) a family of \(R\)-modules. Generalizing the concept of a coherent module, a family \(\mathcal B\) is called coherent if all members of \(\mathcal B\) are finitely presented. The module \(M\) is called \(\mathcal A\)-coherent if \(\mathcal A\) is coherent. A left \(R\)-module \(C\) is called \(M\)-\(\mathcal A\)-injective if \(C\) has the injective property with respect to every short exact sequence \(0\to A\to M\) for each \(A\in\mathcal A\). On the other hand, a left \(R\)-module \(D\) is called strongly \(\mathcal B\)-injective if \(D\) has the injective property with respect to each short exact sequence \(0\to X\to Y\) with \(Y/X\) isomorphic to a member of \(\mathcal B\). If \(\mathcal B=\{M/A\}_{A\in\mathcal A}\), then strongly \(\mathcal B\)-injectivity is called strongly \(M\)-\(\mathcal A\)-injectivity. \(M\)-\(\mathcal A\)-injective modules generalize concepts such as mininjectivity and \(M\)-mininjectivity. A right \(R\)-module \(C\) is called \(M\)-\(\mathcal A\)-flat if, for each short exact sequence \(0\to A\to M\), with \(A\in\mathcal A\), the sequence \(0\to C\otimes A\to C\otimes M\) is also exact. This generalizes the concepts of (i.a.) \(M\)-flatness and \(M\)-min-flatness. A right \(R\)-module \(C\) is called strongly \(\mathcal B\)-flat if, for each short exact sequence \(0\to X\to Y\), with \(Y/X\) isomorphic to a member of \(\mathcal B\), the sequence \(0\to C\oplus X\to C\otimes Y\) is also exact. If \(\mathcal B\) consists of all quotient modules of \(M\) by a member of \(\mathcal A\), then a strongly \(\mathcal B\)-flat module is called strongly \(M\)-\(\mathcal A\)-flat. The classes of \(M\)-\(\mathcal A\)-injective, strongly \(\mathcal B\)-injective, strongly \(M\)-\(\mathcal A\)-injective, \(M\)-\(\mathcal A\)-flat, strongly \(M\)-\(\mathcal A\)-flat and strongly \(\mathcal B\)-flat modules are denoted by \(M\)-\(\mathcal A\text I\), \(S\)-\(\mathcal B\text I\), \(\text SM\)-\(\mathcal A\text I\), \(M\)-\(\mathcal A\text F\), \(\text SM\)-\(\mathcal A\text F\) and \(\text S\)-\(\mathcal B\text F\), respectively. Results on the closure of these classes with respect to various properties are found. Particularly strong results are found for the cases where \(M\) is finitely generated and \(\mathcal A\)-coherent or when \(\mathcal B\) is coherent. For a finitely presented module \(M\), \(M\) is shown to be \(\mathcal A\)-coherent if and only if \((\text S)M\)-\(\mathcal A\text I\) is closed under direct limits if and only if \((\text S)M\)-\(\mathcal A\text F\) is closed under direct products (\(R\) a coherent ring) if and only if every right \(R\)-module has an \((\text S)M\)-\(\mathcal A\text F\) preenvelope. If all modules in \(\mathcal A\) are flat (projective), then \(M\) is called an \(\text F\mathcal A\) (\(\text P\mathcal A\)) module. The concepts of \(\text F\mathcal A\) and \(\text P\mathcal A\) modules coincide if \(M\) is \(\mathcal A\)-coherent. Relationships between \(\text F\mathcal A\) and \(\text P\mathcal A\) modules and some of the other classes defined above are found and in the case where \(M\) is \(\mathcal A\)-coherent and flat, characterizations of \(\text F\mathcal A\) and \(\text P\mathcal A\) modules are given.