The order of principal congruences of a bounded lattice
From MaRDI portal
Publication:364684
DOI10.1007/s00012-013-0242-3zbMath1294.06006arXiv1302.4163OpenAlexW2962980558MaRDI QIDQ364684
Publication date: 9 September 2013
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1302.4163
Partial orders, general (06A06) Complete lattices, completions (06B23) Lattice ideals, congruence relations (06B10)
Related Items
The ordered set of principal congruences of a countable lattice. ⋮ Characterizing fully principal congruence representable distributive lattices ⋮ Some preliminary results on the set of principal congruences of a finite lattice ⋮ Representing an isotone map between two bounded ordered sets by principal lattice congruences ⋮ Homomorphisms and principal congruences of bounded lattices. II. Sketching the proof for sublattices ⋮ Homomorphisms and principal congruences of bounded lattices. III. The independence theorem ⋮ On the set of principal congruences in a distributive congruence lattice of an algebra ⋮ A short proof of the congruence representation theorem of rectangular lattices. ⋮ An extension theorem for planar semimodular lattices. ⋮ Representing some families of monotone maps by principal lattice congruences ⋮ Cometic functors and representing order-preserving maps by principal lattice congruences ⋮ Representing a monotone map by principal lattice congruences ⋮ On the largest numbers of congruences of finite lattices ⋮ A technical lemma for congruences of finite lattices
Cites Work
- Regular congruence-preserving extensions of lattices.
- A lattice construction and congruence-preserving extensions
- Proper congruence-preserving extensions of lattices
- A solution to Dilworth's congruence lattice problem
- Theory of equivalence relations
- Lattice Theory: Foundation
- Congruence Lattices of Finite Semimodular Lattices
- On the independence theorem of related structures for modular (arguesian) lattices
- On congruence lattices of lattices
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item