Properties of the symmetric difference in lattices with complementation
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866911021187203072 |
|---|---|
| author | Cenker, Václav Chajda, Ivan Länger, Helmut |
| author_facet | Cenker, Václav Chajda, Ivan Länger, Helmut |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_19980 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Properties of the symmetric difference in lattices with complementation Cenker, Václav Chajda, Ivan Länger, Helmut Rings and Algebras 06D05, 06B05, 06B20, 06F25, 06C15, 06E20 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. |
| title | Properties of the symmetric difference in lattices with complementation |
| topic | Rings and Algebras 06D05, 06B05, 06B20, 06F25, 06C15, 06E20 |
| url | https://arxiv.org/abs/2506.19980 |