Congruence lattices of \(p\)-algebras (Q1894551): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 13:22, 1 February 2024
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