Applications of duality to the pure-injective envelope. (Q2369949)

If \(R\), \(S\) and \(T\) are associative rings with identity, \(_RK_T\) is an \(R\)-\(T\)-bimodule and \(M\) is an \(R\)-\(S\)-bimodule then the \(K\)-double dual \(M^{**}=\Hom_T[\Hom_R(M,K),K]\) also has an \(R\)-\(S\)-bimodule structure. It is known that some conditions on \(_RK_T\) affect the nature of the evaluation morphism \(\Phi_M\colon M_S\to M^{**}_S\). This relationship is studied more intensively. \(\Phi_M\) is shown to be a pure monomorphism if and only if \(_RK\) is a cogenerator. Let \(_RK\) denote the minimal cogenerator or minimal injective cogenerator in \(R\)-Mod and \(T=\text{End}_RK\). The \(K\)-topology on \(R\) is the left linear topology that has as basic open left ideals \(_RI\) those ideals for which \(R/I\) admits an embedding into a direct sum \(K^n\) of finitely many copies of the module \(_RK\). This topology is studied, particularly for the case where \(K_T\) is quasi-injective. The module \(K_T\) is shown to be quasi-injective if and only if the \(K\)-topology on \(R\) is linearly compact. If \(_RK\) is the minimal (injective) cogenerator, \(K_T\) is shown to be quasi-injective and \(M\) is finitely generated as \(R\)-module. The \(K\)-topology is examined for several specific examples of rings. Further results are found for the special case where \(K\) is a topology of finite type. For example, if \(K_T\) is quasi-injective, the morphism \(\Phi_R\colon R\to R^{**}\) is the pure-injective envelope of \(R_R\) as a right module over itself. Also, if \(_RM_S\) is finitely presented as left \(R\)-module and \(M\otimes_SM^*\in\sigma[_RK]\), then \(\Phi_M\) is the pure injective envelope of the right \(S\)-module \(M_S\).