Congruence lattices of \(p\)-algebras (Q1894551): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 06:07, 5 March 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