{"id":"arxiv/2603.29909","url":"https://arxiv.org/abs/2603.29909","tags":["math.RA"],"score":0,"title":"Implication semilattice of 990 quasigroup equational laws","domain":"math.RA","source":"arxiv","authors":["Bruno Le Floch"],"reviews":0,"subject":"math.RA","summary":"In his quest to disprove a claim by Peirce that all lattices are distributive, Ernst Schröder considered 135 years ago a list of 990 equational laws on quasigroups, analogous to associativity, such as $(x // y) * z = (y // x) \\backslash\\backslash z$. A quasigroup is a non-associative analogue of groups, specifically a set equipped with multiplication and right/left conjugate-division operations that are compatible. Each equation of interest identifies two three-variable expressions built from these operations. I determine all $114$ equivalence classes of their conjunctions, and all…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-31","reactions":{}}