Yet another single law for lattices (Q2496167)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Yet another single law for lattices |
scientific article |
Statements
Yet another single law for lattices (English)
0 references
12 July 2006
0 references
It was proven by R.\,McKenzie in 1970 that the equational theory of lattices is defined by a single identity. In this note the authors establish another single identity for this equational theory of length 29 with 8 variables, thus being shorter than the mentioned one.
0 references
lattice basis
0 references
lattice single identity
0 references
absorption law
0 references
equational theory
0 references
