Abstract.
Modelling an abstract version of the set-theoretic operation of symmetric difference, we first introduce the class of orthocomplemented difference lattices (\(\mathcal {ODL}\)). We then exhibit examples of ODLs and investigate their basic properties finding, for instance, that any ODL induces an orthomodular lattice (OML) but not all OMLs can be converted to ODLs. We then analyse an appropriate version of ideals and valuations in ODLs and show that the set-representable ODLs form a variety. We finally investigate the question of constructing ODLs from Boolean algebras and obtain, as a by-product, examples of ODLs that are not set-representable but that “live” on set-representable OMLs.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
This work is a part of the research plan MSM 0021620839 that is financed by the Ministry of Education of the Czech Republic.
Received April 10, 2007; accepted in final form February 12, 2008.
Rights and permissions
About this article
Cite this article
Matoušek, M. Orthocomplemented lattices with a symmetric difference. Algebra univers. 60, 185–215 (2009). https://doi.org/10.1007/s00012-009-2105-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-009-2105-5