Principal congruences on pseudocomplemented semilattices (Q535107): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / review text | |||
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)]. | |||
| Property / review text: 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)]. / rank | |||
Normal rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Ivan Chajda / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 06A12 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 5886746 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
pseudocomplemented semilattice | |||
| Property / zbMATH Keywords: pseudocomplemented semilattice / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
principal congruence | |||
| Property / zbMATH Keywords: principal congruence / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
binary discriminator variety | |||
| Property / zbMATH Keywords: binary discriminator variety / rank | |||
Normal rank | |||
Revision as of 09:50, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Principal congruences on pseudocomplemented semilattices |
scientific article |
Statements
Principal congruences on pseudocomplemented semilattices (English)
0 references
11 May 2011
0 references
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)].
0 references
pseudocomplemented semilattice
0 references
principal congruence
0 references
binary discriminator variety
0 references
