{"id":"arxiv/2605.17274","url":"https://arxiv.org/abs/2605.17274","tags":["math.RA"],"score":0,"title":"Varieties and quasivarieties of lattices with complementation","domain":"math.RA","source":"arxiv","authors":["V. Cenker","I. Chajda","J. Kühr","H. Länger"],"reviews":0,"subject":"math.RA","summary":"We investigate (quasi)varieties of lattices with complementation, i.e., complemented lattices equipped with a fixed complementation as a unary operation. We focus on subclasses satisfying additional conditions, such as the quasi-identity $({x'\\wedge y\\approx 0} \\;\\&\\; {x\\wedge y'\\approx 0})$ $\\Rightarrow x\\approx y$, modularity, or De Morgan's laws. We present a construction resembling a semidirect product that yields infinitely many finite subdirectly irreducible modular lattices with complementation satisfying this quasi-identity. We axiomatize small varieties, each of which covers the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-17","reactions":{}}