Principal congruences on pseudocomplemented semilattices
From MaRDI portal
Publication:535107
It is proved that every principal congruence \(\Theta (a,b)\) on a pseudocomplemented semilattice can be expressed as a relational product of three principal semilattice congruences whose entries are couples which are terms in \(a,b,a^*,b^*\). The proof of this exploits the theory of binary discriminator varieties presented in [\textit{I. Chajda, R. Halaš} and \textit{I. G. Rosenberg}, ``Ideals and the binary dicriminator in universal algebra, Algebra Univers. 42, No.~4, 239--251 (1999; Zbl 0979.08001)].
Recommendations
- Congruences on pseudocomplemented semilattices
- scientific article; zbMATH DE number 4031757
- Congruence lattices of pseudocomplemented semilattices
- Principal Congruences of Pseudocomplemented Distributive Lattices
- scientific article; zbMATH DE number 1471881
- scientific article; zbMATH DE number 591144
- scientific article; zbMATH DE number 5372074
- Principal Congruences of Pseudocomplemented Demorgan Algebras
- Pseudocomplemented and Almost Pseudocomplemented Ockham Algebras: Principal Congruences
- Congruences on the Lattice of Pseudovarieties of Finite Semigroups
Cites work
- A note on the congruence extension property
- Corrigendum: Implicative BCS-algebra subreducts of skew Boolean algebras
- scientific article; zbMATH DE number 3717306 (Why is no real title available?)
- scientific article; zbMATH DE number 3739609 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- Ideals and the binary discriminator in universal algebra
- Principal Congruences of Pseudocomplemented Semilattices and Congruence Extension Property
- Stone lattices
- The number of subdirectly irreducible algebras in a variety
Cited in
(9)- On complementation of prime semilattices
- On a new construction of pseudocomplemented semilattices
- Skew lattices and binary operations on functions
- Congruences on pseudocomplemented semilattices
- scientific article; zbMATH DE number 4066962 (Why is no real title available?)
- scientific article; zbMATH DE number 591144 (Why is no real title available?)
- Principal ideals in the congruence semilattice of a path.
- Dual binary discriminator varieties
- Congruence lattices of pseudocomplemented semilattices
This page was built for publication: Principal congruences on pseudocomplemented semilattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535107)
