# Yet Another Single Law for Lattices

• Published in 2003
In the collections
In this note we show that the equational theory of all lattices is defined by a single absorption law. The identity of length 29 with 8 variables is shorter than previously known such equations defining lattices.

## Other information

key
YetAnotherSingleLawforLattices
type
article
2019-03-02
date_published
2003-09-14

### BibTeX entry

@article{YetAnotherSingleLawforLattices,
key = {YetAnotherSingleLawforLattices},
type = {article},
title = {Yet Another Single Law for Lattices},
author = {William McCune and Ranganathan Padmanabhan and Robert Veroff},
abstract = {In this note we show that the equational theory of all lattices is defined by
a single absorption law. The identity of length 29 with 8 variables is shorter
than previously known such equations defining lattices.},
comment = {},
}