Congruence normality: The characterization of the doubling class of convex sets
type: Item
instance of: scholarly article
title: Congruence normality: The characterization of the doubling class of convex sets
zbMATH Open document ID: 0804.06006
DOI: 10.1007/BF01221793
author: Alan Day
published in: Algebra Universalis
publication date: 1994-07-18T00:00:00Z
review text: Let \(D= (D_ L)\), where \(L\) ranges over the class of finite lattices and \(D_ L\) is a system of convex subsets of \(L\). A finite lattice, \(M\), is said to be constructible from \(D\) by doubling if there is a finite sequence of finite lattices \(1= L_ 0, L_ 1, \dots, L_ n =M\) and convex sets \(C_ i \subseteq L_ i\) with \(C_ i\in D_{L_ i}\), \(i<n\), such that \(L_{i+1} \cong L_ i [C_ i]\). The doubling class \(D\) is the class of all finite lattices that are constructible from \(D\) by doubling: it is denoted by \(1[D]\). The author characterizes the doubling classes of several classes as: the class \(CC\) of all connected convex sets of finite lattices, the classes \(LC\) of all lower and \(UC\) all upper pseudo-intervals, and the class \(INT\) of all the intervals, where a lower pseudo-interval in \(L\) in a (finite) lattice is a member of \(C_ L\) with \(\bigwedge_ L V\in V\) and an upper pseudo-interval is defined dually. An interval in \(L\) is a member of \(C_ L\) of the form \(u\setminus v\). The characterizations obtained are, respectively: the class \(CN\) of all congruence normal finite lattices, the classes \(CU_ \vee\), \(CU_ \wedge\) and \(CU\) of all join resp. meet resp. fully congruence uniform lattices. A comparison with a paper of W. Geyer written in the language of concept lattices is made.
Mathematics Subject Classification ID: 06B10
Mathematics Subject Classification ID: 06B20
zbMATH DE Number: 590887
zbMATH Keywords: doubling class
zbMATH Keywords: convex sets
zbMATH Keywords: pseudo-intervals
zbMATH Keywords: congruence normal finite lattices
zbMATH Keywords: congruence uniform lattices
reviewed by: Grigore Călugăreanu
MaRDI profile type: Publication
cites work: A Simple Solution to the Word Problem for Lattices
cites work: Characterizations of Finite Lattices that are Bounded-Homomqrphic Images or Sublattices of Free Lattices
cites work: Doubling Constructions in Lattice Theory
cites work: Covers in Free Lattices
cites work: The generalized doubling construction and formal concept analysis
full work available at URL: https://doi.org/10.1007/bf01221793
OpenAlex ID: W2052295090
description: scientific article; zbMATH DE number 590887