Terms that are self-dual in Boolean algebras but not in MO₂

DOI10.1007/S00012-009-2094-4MaRDI QIDQ1047083zbMATH OpenOpenAlexFDO

Authors David Kelly, R. Padmanabhan

Publication date 4 January 2010

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-009-2094-4

zbMATH Keywords

absorption lawBoolean algebraidempotent termminority termorthomodular latticePixley termself-dualsymmetric difference

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Equational logic, Mal'tsev conditions (08B05)

Review text

An absorption law is an identity of the form \(p=x\). The main result of the paper says that if \(q\) is an idempotent term that equals its dual in Boolean algebras then there exists a term \(p\) of the same arity as \(q\) which does not equal its dual in the six-element orthomodular lattice but satisfies the same \(2\)-variable absorption laws in orthomodular lattices as \(q\) does in Boolean algebras.

Recommendations

• scientific article; zbMATH DE number 4041980
• Single identities forcing lattices to be Boolean
• Varieties generated by two-element majority algebras and their equivalences
• A combinatorial characterization of Boolean algebras
• scientific article; zbMATH DE number 4070986

This page was built for publication: Terms that are self-dual in Boolean algebras but not in \(MO_{2}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1047083)