Mysterious varieties (Q799713)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Mysterious varieties |
scientific article |
Statements
Mysterious varieties (English)
0 references
1984
0 references
The following diagram showing subclasses of the class of hereditarily semi-simple (HSS) varieties appears to have a missing variety at the place marked with a query. (Here CP=congruence permutable, CD=congruence distributive, FI=filtral D=discriminator, FG=finitely-generated, PP=paraprimal, QP=quasiprimal.) A non-trivial variety, V, is called mysterious if for some r, \(1\leq r<\omega\), there are 3-place terms M and \(t_ 0,...t_{r-1}\) such that the subdirectly irreducible members of V satisfy the following axioms. (a) \(M(x,y,y)=x;\) (b) \(M(x,x,y)=y;\) (c) \(t_ p(x,x,y)=y,p<r;\) (d) \(x\neq y\to\bigvee_{p<r}t_ p(x,y,z)=x.\) The main result of this note is that mysterious varieties indeed occupy the desired position in the above diagram.
0 references
hereditarily semi-simple varieties
0 references
congruence permutable
0 references
congruence distributive
0 references
filtral
0 references
discriminator
0 references
finitely-generated
0 references
paraprimal
0 references
quasiprimal
0 references
3-place terms
0 references
subdirectly irreducible
0 references
mysterious varieties
0 references