Semilocal pairs and finitely cogenerated injective modules (Q5937556)

Let \(P\) and \(Q\) be rings and let \(_PM\), \(N_Q\) and \(_PV_Q\) be modules. Then we say that \((_PM,N_Q)\) is a pair with respect to \(\varphi\) if \(\varphi\colon M\times N\to V\) is a \(P\)-\(Q\)-bilinear map. A module \(_PM\) is said to be colocal if \(_PM\) has an essential simple socle and a pair \((_PM,N_Q)\) is said to be colocal if \(_PMN_Q\) is colocal both as a left \(P\)-module and as a right \(Q\)-module, where \(_PMN_Q\) denotes the \(P\)-\(Q\)-subbimodule of \(_PV_Q\) generated by \(\{\varphi(x,y)\mid x\in M,\;y\in N\}\).NEWLINENEWLINENEWLINEIn this paper, the authors define semicolocal pairs as a generalization of a colocal pair and give some generalizations of previous results using the term ``semicolocal pairs''. In particular, they give characterizations of finitely cogenerated injective modules.