Regular congruence-preserving extensions of lattices. (Q1771864)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Regular congruence-preserving extensions of lattices. |
scientific article |
Statements
Regular congruence-preserving extensions of lattices. (English)
0 references
19 April 2005
0 references
The authors prove that every lattice \(L\) has a congruence-preserving extension to a regular lattice \(\bar L\) where every compact congruence of \(\bar L\) is principal. The construction of \(\bar L\) is done by iterating a construction of the first author and F. Wehrung and taking direct products. They also discuss the case of a finite lattice \(L\) for which \(\bar L\) can be chosen to be finite, and of a lattice \(L\) with zero, in which case \(\bar L\) can be chosen to have zero and the extension can be chosen to preserve zero.
0 references
regular lattice
0 references
principal congruence
0 references
compact congruence
0 references