Homomorphisms on a product of free convex semilattices

Abstract

Convex semilattices form an equational class that combines convex algebras and semilattices by a distributive law. For a set $I$ let $\mathcal FI$ be the free convex semilattice with basis $I$. A product $\mathcal FI\times\mathcal FJ$ is generated by $I\times J$, but is not free. Hence, not every map from $I\times J$ into an arbitrary convex semilattice $X$ extends uniquely to a homomorphism from $\mathcal FI\times\mathcal FJ$ to $X$. We investigate a condition on a map $φ$ of $I\times J$ into some convex semilattice $X$ that is always necessary and often sufficient for $φ$ to have such an extension to a homomorphism $Φ$ of $\mathcal FI\times\mathcal FJ$ into $X$.