On extensions of orthosymmetric lattice bimorphisms
In the paper we prove that every orthosymmetric lattice bilinear map on the cartesian product of a vector lattice with itself can be extended to an orthosymmetric lattice bilinear map on the cartesian product of the Dedekind completion with itself. The main tool used in our proof is the technique associated with extension to a vector subspace generated by adjoining one element. As an application, we prove that if is a commutative -algebra and its Dedekind completion, then, can be equipped...