(1) Mathematics and Computer Science Division, Argonne National Laboratory, 60419 Argonne, Illinois, USA;(2) Department of Mathematics, University of Manitoba, R3T 2N2 Winnipeg, Manitoba, Canada;(3) Department of Computer Science, University of New Mexico, 87131 Albuquerque, New Mexico, USA
Abstract:
In this note we show that the equational theory of all lattices is defined by thesingle absorption lawThis identity of length 29 with 8 variables is shorter than previously known such equationsdefining lattices.
This identity of length 29 with 8 variables is shorter than previously known such equationsdefining lattices.