A new lattice construction: The box product (Q1818840)

It is known that for lattices \(A,B\), their tensor product \(A \otimes B\) (as semilattices) need not be a lattice. The authors give a new construction, called box product \(A\square B\), and show that \(A\square B\) is always a lattice whenever \(A,B\) are lattices. Their construction is the following: for \(a\in A\), \(b\in B\), put \(a\square b=\{(x,y)\in A\times B\); \(x\leq a\) or \(y\leq b\}\); then \(A\square B\) is the set of all finite integer-sections of the form \(\cap(a_i\square b_i;i<n)\), with the set containment as order relation. The meet in \(A\square B\) is the set intersection, for the join an explicit expression is given. Further, the lattice tensor product \(A\boxtimes B\) of lattices \(A,B\) is defined. Denote \(\perp_A=\{0_A\}\) if \(A\) has a zero, \(\perp_A =\emptyset\) otherwise and put \(\perp_{A,B} =(A\times\perp_B) \cup(\perp_A\times B)\). For \(a\in A\), \(b\in B\) let \(a\boxtimes b=(a\circ b)\cup \perp_{A,B}\) where \(a\circ b\) is the principal ideal in the direct product of \(A,B\) generated by \((a,b)\). Then \(A\boxtimes B\) is the set of all elements \(X\in A\square B\) with the property \(X\subseteq a\boxtimes b\) for some \(a\in A\), \(b\in B\). If \(A \boxtimes B\) is nonempty then it is called the lattice tensor product of \(A\) and \(B\); in this case it is said that \(A\boxtimes B\) is defined. \(A\boxtimes B\) is defined iff \(A\) and \(B\) are lattices with zero, or \(A\) and \(B\) are lattices with unit, or \(A\) is bounded, or \(B\) is bounded; in each case \(A \boxtimes B\) is a lattice. Many further properties of the operations \(\square\) and \(\boxtimes\) are found. As an example, the following result, as a consequence of the results obtained, is proved: Call a join semilattice \(S\) with zero \(\{0\}\)-representable if there exists a lattice \(L\) with zero such that the join semilattice of compact congruences in \(L\) is isomorphic to \(S\). Then there holds: If \(S\) to \(T\) are \(\{0\}\)-representable join semilattices then the tensor product \(S\otimes T\) is also \(\{0\}\)-representable. The paper ends with 7 open problems.