Congruence lattices of \(p\)-algebras (Q1894551)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Congruence lattices of \(p\)-algebras |
scientific article |
Statements
Congruence lattices of \(p\)-algebras (English)
0 references
31 July 1995
0 references
A \(p\)-algebra is a bounded lattice endowed with a unary operation \({}^*\) satisfying \(x\leq a^*\) iff \(x\wedge a=0\). The authors give a new proof of the following theorem due to Katriňák: Every finite distributive lattice is isomorphic to the congruence lattice of a finite \(p\)-algebra. Then they indicate how to modify the proof so as to obtain the following generalization. If \(D\) is an algebraic distributive lattice such that the unit element of \(D\) is compact and every compact element of \(D\) is a finite join of join-irreducible compact elements, then \(D\) can be represented as the congruence lattice of a \(p\)-algebra. Finally some open problems are stated.
0 references
finite distributive lattice
0 references
congruence lattice
0 references
\(p\)-algebra
0 references
algebraic distributive lattice
0 references
compact element
0 references