Free \(Q\)-distributive lattices from meet semilattices
type: Item
instance of: scholarly article
title: Free \(Q\)-distributive lattices from meet semilattices
zbMATH Open document ID: 0963.06010
DOI: 10.1016/S0012-365X(00)00106-0
published in: Discrete Mathematics
publication date: 2001-01-25T00:00:00Z
review text: A \(Q\)-distributive lattice is an algebra \((L,\wedge ,\vee ,0,1,\nabla)\) of type \((2,2,0,0,1)\) such that \((L,\wedge ,\vee ,0,1)\) is a distributive \((0,1)\)-lattice and \(\nabla\) is a unary operation of \(L\) satisfying the identities \(\nabla 0=0\), \(x\leq\nabla x\), \(\nabla (x\wedge\nabla y)=\nabla (x\wedge y)\), and \(\nabla (x\vee y)=\nabla x\vee\nabla y\). We say that \((L,\wedge ,\vee ,0,1,\nabla)\) is a \(Q\)-distributive lattice freely generated by a poset \(P\), if there exists an injective order preserving mapping \(\phi :P\to L\) such that for every order preserving mapping \(\psi\) from \(P\) into a \(Q\)-distributive lattice \((L',\wedge ,\vee ,0,1,\nabla)\) there exists exactly one homomorphism of \(Q\)-distributive lattices \(f:(L,\wedge ,\vee ,0,1,\nabla)\to (L',\wedge ,\vee ,0, 1,\nabla)\) with \(f\circ\phi =\psi\). For a finite poset \(P\), an explicit construction of a \(Q\)-distributive lattice freely generated by \(P\) is presented. The construction has two steps. The first step constructs the poset of meet-irreducible elements of a freely generated \(Q\)-distributive lattice by two applications of the construction of a free semilattice. The second step uses the construction of the distributive \((0,1)\)-lattice with a given poset of meet-irreducible elements. The construction is illustrated by examples.
reviewed by: Václav Koubek
Mathematics Subject Classification ID: 06D05
Mathematics Subject Classification ID: 06B25
zbMATH DE Number: 1533336
zbMATH Keywords: \(Q\)-distributive lattice
zbMATH Keywords: freely generated \(Q\)-distributive lattice
zbMATH Keywords: freely generated semilattice
author: Manuel Abad
author: Patricio Díaz Varela
MaRDI profile type: Publication
full work available at URL: s0012-365x(00)00106-0
OpenAlex ID: W2059909123
description: scientific article; zbMATH DE number 1533336