Models for free pseudosemilattices (Q997118): Difference between revisions

Using his solution to the word problem of the free pseudosemilattice [see Semigroup Forum 68, No. 2, 246--267 (2004; Zbl 1052.08002)], the author constructs two concrete models of the free pseudosemilattice on a set \(X\). The first one is in terms of pairs \((A_0,A_1)\) where the \(A_i\) are certain finite subsets of \(X^+\), the second one is in terms of pairs \((A,x)\) where \(A\) is a finite subset of \(X^+\) and \(x\in X\). These models are then used to characterize the relations \({\leq}_r\), \({\leq}_l\), \(\leq\), \(\mathcal R\), \(\mathcal L\) on the free pseudosemilattice on \(X\). The ultimate motivation for this work comes from interesting and surprising results on the lattice of pseudovarieties of pseudosemilattices and on the finite basis problem for finite pseudosemilattices that were presented in the author's dissertation, obtained by use of the results of the paper under review. The mentioned results are announced to be the topic of forthcoming papers.