\(M\)-density, \(M\)-adic completion and \(M\)-subgeneration (Q1378841)

The notions addressed in the title as well as the relationship between them are studied. The \(M\)-adic completion of any \(R\)-module \(_RX\) (resp. \(_RR\)) is described and the question when it coincides with the double dual \(X^{**}\) (resp. \(R^{**}\)) is discussed. In some sense the \(M\)-adic completion \(\widehat R\) is the largest ring extension of \(R\) for which the categories of subgenerated modules \(\sigma[{_RM}]\) and \(\sigma[{_{\widehat R}M}]\) coincide. For a given filter basis (inverse system) \(\mathcal L\) of \(R\)-submodules of the bimodule \({_RM_D}\) the set of all \(\mathcal L\)-invariant endomorphisms of \(M_D\): \({\mathfrak A}({_RM_D},{\mathcal L})=\{\alpha\in\text{End}(M_D)\mid\alpha(L)\subseteq L\) for any \(L\in{\mathcal L}\}\) is introduced and studied (in the case \({\mathcal L}={\mathcal L}({_RM})\) it is known as \(\text{alglat}({_RM_D})\)). \((M,{\mathcal L})\) is a linearly topological left \({\mathfrak A}({_RM_D},{\mathcal L})\)-module. If \((M,{\mathcal L})\) is Hausdorff separated and complete then \({\mathfrak A}({_RM_D},{\mathcal L})\) is a complete topological ring in the pointwise convergence topology (induced by the product topology on \(M^M\)). In particular, the ring \(\text{alglat}({_RM_D})\) is complete in the finite topology. If \((M,{\mathcal L})\) is a Hausdorff separated linearly compact \(R\)-module, then \({\mathfrak A}({_RM_D},{\mathcal L})\) is a left linearly compact ring. The behaviour of ``alglat'' with respect to arbitrary direct sums is shown. For any module \(_RM\) the ring \(\text{alglat}(M^{(\mathbb{N})})\) is isomorphic to the \(M\)-adic completion of \(R\).