Varieties with decidable finite algebras. II: Permutability (Q1124621): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q354675 |
||
Property / reviewed by | |||
Property / reviewed by: Aldo Ursini / rank | |||
Revision as of 19:12, 13 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Varieties with decidable finite algebras. II: Permutability |
scientific article |
Statements
Varieties with decidable finite algebras. II: Permutability (English)
0 references
1989
0 references
[This article is reviewed together with the preceding one (see Zbl 0679.08002).] The two papers prove the following theorem (which refines the main result of \textit{P. M. Idziak}'s paper [ibid. 26, No.1, 33-47 (1989; Zbl 0668.08008)]): If V is a finitely generated variety of finite type and congruence distributive, then the following are equivalent: (1) \(Th(V_{fin})\) is decidable, (2) \(Th(V_{fin})\) is not hereditarily undecidable, (3) V is congruence permutable and congruence linear. (Congruence linearity means that in any subdirectly irreducible algebra of V, congruences form a chain; \(V_{fin}\) is the class of finite algebras in V.) Let V be a congruence distributive variety. Part I shows that if V has a finite subdirectly irreducible algebra, with two incomparable congruences, then \(Th(V_{fin})\) is hereditarily undecidable. Part II shows that if V has a finite algebra with non- permutable congruences, then \(Th(V_{fin})\) is hereditarily undecidable. The proofs use semantical interpretation and a special kind of Boolean power. A noteworthy lemma shows that, for a congruence modular variety, having a finite algebra with non-permutable congruences implies having a finite algebra A and two atoms in Con(A) which do not permute.
0 references
finitely generated variety
0 references
congruence distributive
0 references
decidable
0 references
congruence permutable
0 references
congruence linear
0 references
subdirectly irreducible algebra
0 references
hereditarily undecidable
0 references
semantical interpretation
0 references
Boolean power
0 references
congruence modular
0 references