On almost relative injectives on Artinian modules (Q2639132): Difference between revisions

Let R be a ring with identity. Every module is a unitary right R-module. Let U and \(U_ 0\) be two R-modules. Let V be a submodule of U and let i be the inclusion. Consider a commutative diagram and two conditions: 1) There exists \(\tilde h:\) \(U\to U_ 0\) such that \(\tilde hi=h\) or 2) There exists a nonzero direct summand \(U'\) of U and \(\tilde h:\) \(U_ 0\to U'\) such that \(\tilde hh=\pi i\), where \(\pi: U\to U'\) is a projection of U onto \(U'.\) \(U_ 0\) is called almost U-injective if the above 1) and 2) holds true for the diagram (0) with any V and any h \((U_ 0\) is called U-injective if we have only 1)). Let X be an R-module. If for any submodule Y of X, there exists a direct decomposition of X such that \(X=X_ 1\oplus X_ 2\) and \(X_ 1\) is an essential extension of Y, then X is called an extending module. The main theorem given by the author is: Let \(U_ 0\) be an R-module, \(\{U_ j;I_ k\}^ n_{j=1},^ m_{k=1}\) a set of R-modules such that \(U_ 0\) is \(I_ k\)-injective for all k and \(U_ 0\) is almost \(U_ j\)-injective but not \(U_ j\)-injective for all j. Assume that the \(U_ j\) are LE R-modules for all j. If \(U_ 0\) is almost \((\sum^ n_{j=1}\oplus U_ j)\oplus (\sum^ m_{k=1}\oplus I_ k)\)- injective, then \(\sum^ n_{j=1}\oplus U_ j\) is an extending module. If the \(U_ j\) are artinian, then the converse is true.