Characterizations of complete sublattices of a given complete lattice (Q1597735)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Characterizations of complete sublattices of a given complete lattice |
scientific article |
Statements
Characterizations of complete sublattices of a given complete lattice (English)
0 references
30 May 2002
0 references
Let \(L\) be a complete lattice. A mapping \(\varphi\) of \(L\) into itself is called a closure operator if \(\varphi (x)\geq x\) and \(\varphi (\varphi ( x))=\varphi (x)\) for all \(x\in X\) and \(\varphi (x)\leq\varphi (y)\) whenever \(x\leq y\) for all \(x,y\in L\). The dual notion is that one of a kernel operator. It is proved that \(U\) is a complete sublattice of \(L\) if and only if there exists a closure operator \(\varphi\) preserving all suprema with \(U=\{x\in L;\varphi (x)=x\}\) (or, dually, if and only if there exists a kernel operator \(\psi\) preserving all infima with \(U=\{x\in L;\psi (x)=x\}\)). By this fact the author derives and formulates a characterization of all complete sublattices of \(L\) in terms of Galois-closed relations.
0 references
complete lattice
0 references
kernel operator
0 references
Galois connection
0 references
closure operator
0 references