×

A new product structure in the category of molecular lattices. (English) Zbl 0835.06006

Summary: The relation \(\prec\) on the usual direct product \(\prod_{i \in I}L_i\) of a family of molecular lattices \(\{L_i\}_{i \in I}\) is introduced by means of the relation \(\triangleleft\) on complete lattices. Some fundamental properties of the relation \(\prec\) are discussed. Based on the relation \(\prec\), the concept of the \(\prec\)- lower sets on the direct product \(\prod_{i \in I}L_i\) is given, and it is proved that the set of all \(\prec\)- lower sets on the direct product \(\prod_{i \in I} L_i\) forms a molecular lattice. Hence, the product structure of a family of molecular lattices in the category of molecular lattices is obtained, and all molecules and complete molecules in the product object are given. It is finally proved that the product object of a family of strong molecular lattices in the category of molecular lattices is also a strong molecular lattice.

MSC:

06B05 Structure theory of lattices
06B23 Complete lattices, completions
18A30 Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)