Principal congruences on pseudocomplemented semilattices (Q535107): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Matthew Spinks / rank | |||
Property / author | |||
Property / author: Matthew Spinks / rank | |||
Normal rank | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00012-011-0113-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2031258285 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stone lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The number of subdirectly irreducible algebras in a variety / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5453728 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ideals and the binary discriminator in universal algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on the congruence extension property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Principal Congruences of Pseudocomplemented Semilattices and Congruence Extension Property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3926631 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3907555 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:36, 4 July 2024
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
0 references