Tensor products of semilattices with zero, revisited

DOI10.1016/S0022-4049(98)00145-5MaRDI QIDQ1972285zbMATH OpenOpenAlexWikidataFDO

Authors Friedrich Wehrung, G. Grätzer

Publication date 8 October 2000

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0501436

zbMATH Keywords

bi-idealcapped tensor productcompact congruencesjoin-semilattices with zerolattices with zerosub-tensor product

Mathematics Subject Classification ID

Semilattices (06A12) Structure theory of lattices (06B05)

Abstract: Let A and B be lattices with zero. The classical tensor product, $AotimesB$, of A and B as join-semilattices with zero is a join-semilattice with zero; it is, in general, not a lattice. We define a very natural condition: $AotimesB$ is capped (that is, every element is a finite union of pure tensors) under which the tensor product is always a lattice. Let Conc L denote the join-semilattice with zero of compact congruences of a lattice L. Our main result is that the following isomorphism holds for any capped tensor product: $ConcAotimesConcBcongConc(AotimesB)$. This generalizes from finite lattices to arbitrary lattices the main result of a joint paper by the first author, H. Lakser, and R. W. Quackenbush.

Review text

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.

Recommendations

• Publication:4726297
• Tensor products of semirings
• Associativity of the tensor product of semilattices
• Tensor Products and Transferability of Semilattices
• Some properties of tensor products of ternary semimodules
• scientific article; zbMATH DE number 1076478
• scientific article; zbMATH DE number 4055924
• scientific article; zbMATH DE number 3387644
• scientific article; zbMATH DE number 5878949
• Tensor products of contexts and complete lattices

Cited in

(14)

• On Boolean ranges of Banaschewski functions
• Tensor products of semilattices and fuzzy ideals
• Tensor products and relation quantales
• Solutions to five problems on tensor products of lattices and related matters.
• Algebras with implication and fusion: a different point of view.
• Associativity of the tensor product of semilattices
• The tensor product of distributive lattices: structural results
• Tensor Products and Transferability of Semilattices
• FROM JOIN-IRREDUCIBLES TO DIMENSION THEORY FOR LATTICES WITH CHAIN CONDITIONS
• scientific article; zbMATH DE number 3999990 (Why is no real title available?)
• A non-capped tensor product of lattices.
• The limit and tensor product in the category of Q-P quantale modules
• A note on the modularization of lattices
• Tensor products for bounded posets revisited

This page was built for publication: Tensor products of semilattices with zero, revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1972285)