Extensions of orthosymmetric lattice bimorphisms

Let be an Archimedean vector lattice, let be its Dedekind completion and let be a Dedekind complete vector lattice. If is an orthosymmetric lattice bimorphism, then there exists a lattice bimorphism that not just extends but also has to be orthosymmetric. As an application, we prove the following: Let be an Archimedean -algebra. Then the multiplication in can be extended to a multiplication in , the Dedekind completion of , in such a fashion that is again a -algebra with respect to this extended multiplication. This gives a positive answer to the problem posed by C. B. Huijsmans in 1990.