A New Lattice Construction: The Box Product

✍ Scribed by G Grätzer; F Wehrung

• Publisher: Elsevier Science
• Year: 1999
• Tongue: English
• Weight: 208 KB
• Volume: 221
• Category: Article
• ISSN: 0021-8693
• DOI: 10.1006/jabr.1999.7975

✦ Synopsis

In a recent paper, the authors have proved that for lattices A and B with zero, the isomorphism

holds, provided that the tensor product satisfies a very natural condition (of being capped) implying that A ⊗ B is a lattice. In general, A ⊗ B is not a lattice; for instance, we proved that M 3 ⊗ F 3 is not a lattice.

In this paper, we introduce a new lattice construction, the box product for arbitrary lattices. The tensor product construction for complete lattices introduced by G. N. Raney in 1960 and by R. Wille in 1985 and the tensor product construction of A. Fraser in 1978 for semilattices bear some formal resemblance to the new construction.

For lattices A and B, while their tensor product A ⊗ B (as semilattices) is not always a lattice, the box product, A I B, is always a lattice. Furthermore, the box product and some of its ideals behave like an improved tensor product. For example, if A and B are lattices with unit, then the isomorphism Con c A I B ∼ = Con c A ⊗ Con c B * Research was partially supported by the NSERC of Canada.

315