Year: 2026
Type: article
Abstract: The symmetric difference in Boolean lattices can be defined in two different but equivalent forms. However, it can be introduced also in every bounded lattice with complementation where these two forms need not coincide. We study lattices with complementation and the variety of such lattices where these two expressions coincide and point out explicitly some interesting subvarieties. Using a result of J. Berman we estimate the size of free algebras in these subvarieties. It is well-known that the symmetric difference is associative in every Boolean lattice. We prove that it is just the property of Boolean lattices, namely the symmetric difference in a lattice with complementation is associative if and only if this lattice is Boolean. Similarly, we prove that a lattice with complementation is Boolean if and only if the symmetric difference satisfies a certain simple identity in two variables. We also characterize lattices with a unary operation satisfying De Morgan's laws.
Source: Mathematica Slovaca
DOI: 10.1515/ms-2026-0136
Authors: Václav Cenker, Ivan Chajda, Helmut Länger
Institutions: Palacký University Olomouc, TU Wien
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $2,712
Awards: G1577947870, G45840339
OpenAlex ID: W4414988008
FWCI:
Cites:
Cited by:
Related to: