Some remarks on certain classes of semilattices.
Stone Lattices
The article continues the formalization of the lattice theory (as structures with two binary operations, not in terms of ordering relations). In the paper, the notion of a pseudocomplement in a lattice is formally introduced in Mizar, and based on this we define the notion of the skeleton and the set of dense elements in a pseudocomplemented lattice, giving the meet-decomposition of arbitrary element of a lattice as the infimum of two elements: one belonging to the skeleton, and the other which...
Subdirectly irreducible sectionally pseudocomplemented semilattices
Sectionally pseudocomplemented semilattices are an extension of relatively pseudocomplemented semilattices—they are meet-semilattices with a greatest element such that every section, i.e., every principal filter, is a pseudocomplemented semilattice. In the paper, we give a simple equational characterization of sectionally pseudocomplemented semilattices and then investigate mainly their congruence kernels which leads to a characterization of subdirectly irreducible sectionally pseudocomplemented...
Sur les treillis de Coxeter finis
Björner (1984) a montré que l’ordre faible de Bruhat défini sur un groupe de Coxeter fini (Bourbaki 1969) est un treillis. Dans le cas du groupe symétrique ce résultat (treillis permutoèdre) a été prouvé par Guilbaud-Rosenstiehl (1963). Dans ce papier nous montrons que des propriétés connues des treillis permutoèdres peuvent s’étendre à tous les treillis de Coxeter finis et qu’inversement des propriétés démontrées sur tous les Coxeter finis ont des retombées intéressantes sur les permutoèdres....