Tensor products of semilattices with zero, revisited (Q1972285)

The authors generalize, from finite lattices to arbitrary lattices, a result of the first author, \textit{H. Lakser} and \textit{R. W. Quackenbush} [Trans. Am. Math. Soc. 267, 503-515 (1981; Zbl 0478.06003)]. Let \(A\) and \(B\) be lattices with zero. The tensor product \(A\otimes B\) of \(A\) and \(B\) as join-semilattices with zero is a join-semilattice with zero, but not necessarily a lattice. The authors give a natural condition under which \(A\otimes B\) is a lattice. They call a subset \(I\) of \(A\times B\) a bi-ideal if \(I\) contains \((A\times \{0\})\cup (\{0\}\times B)\), it is hereditary, and it is join-closed in the sense that if \(\langle a_0, b\rangle,\langle a_1,b\rangle\in I\), then \(\langle a_0\vee a_1, b\rangle\in I\), and symmetrically. A bi-ideal \(I\) is capped if there is a finite subset \(C\) of \(A\times B\) such that \(I\) is the hereditary subset of \(A\times B\) generated by \(C\) along with \((A\times \{0\})\cup (\{0\}\times B)\). A tensor product \(A\otimes B\) is capped if all bi-ideals in the representation of \(A\otimes B\) are capped. For a lattice \(L\), let \(\text{Con}_cL\) denote the join-semilattice with zero of compact congruences of \(L\). The main result is the following: Theorem. (I) If \(A\otimes B\) is a lattice, then there is a natural embedding of \(\text{Con}_cA\otimes \text{Con}_cB\) into \(\text{Con}_c(A\otimes B)\). (II) If \(A\otimes B\) is a capped tensor product, then \(\text{Con}_cA\otimes \text{Con}_cB\cong \text{Con}_c(A\otimes B)\). The authors also present more general constructions called sub-tensor product and capped sub-tensor product and prove their results in this more general context.