Yet Another Single Law for Lattices

• Published in 2003
• Added on 2019-03-02

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.

Links

• http://arxiv.org/abs/math/0307284v1
• http://arxiv.org/pdf/math/0307284v1

Other information

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 = {},
	date_added = {2019-03-02},
	date_published = {2003-09-26},
	urls = {http://arxiv.org/abs/math/0307284v1,http://arxiv.org/pdf/math/0307284v1},
	collections = {Attention-grabbing titles,Fun maths facts},
	url = {http://arxiv.org/abs/math/0307284v1 http://arxiv.org/pdf/math/0307284v1},
	year = 2003,
	urldate = {2019-03-02},
	archivePrefix = {arXiv},
	eprint = {math/0307284},
	primaryClass = {math.LO}
}