Mysterious varieties (Q799713): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Connections between congruence-lattices and polynomial properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Direct factor varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Maximality of the Sum of Monotone Operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01190433 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4251946337 / rank | |||
Normal rank |
Latest revision as of 10:40, 30 July 2024
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