Representation of homomorphisms between submodule lattices (Q581519)

For an \(R\)-module \(M\) resp. an \(S\)-module \(N\) (\(R\) and \(S\) are rings) the author considers a mapping \(f: L(_ RM)\to L(_ SN)\) between the submodule lattices which preserves arbitrary sums and ``disjointness'': \[ Rx\cap (Ry+Rz)=0\quad \Rightarrow \quad f(Rx)\cap (f(Ry)+f(Rz))=0. \] He shows that such a mapping \(f\) has a unique representation of the form \[ f(U)=<h[_ SB_ R\times_ RU]>\quad\text{ for all }U\in L(_ RM), \] \({}_ SB_ R\) is a bimodule and \(h\) is an \(R\)-balanced mapping, provided certain conditions on the module \({}_ RM\) are satisfied. Examples of rings \(R\), where the modules \({}_ RM\) satisfy the conditions, are integral domains and \({}_ RM\) contains a free \(R\)-submodule of rank 3. There are also results, in the same vein, in order that f be a join preserving lattice homomorphism or a lattice isomorphism. In this paper only main results and a sketch of the proof of the main theorem are given. Full details will be given in a subsequent paper.