I was playing around with the following object: Let $Q$ be a set with a binary operator $\cdot$ obeying the axioms:

  1. $a \cdot a = a$ (idempotence)

  2. $a \cdot (b \cdot c) = (a \cdot b) \cdot (a \cdot c)$ (left self-distributivity)

Examples of this would be group conjugation, semilattices, and quandles in knot theory. Does this general algebraic object have a name, and has it been studied?

  • 3
    $\begingroup$ Neither. Note that group conjugation is only left self-distributive. Also, if you make this object commutative then it becomes a semilattice. $\endgroup$
    – Malper
    Sep 12, 2013 at 13:55
  • 3
    $\begingroup$ Just one observation: 1. and 2. imply $a(ba)=(ab)a$. This is a weak form of associativity. Probably this property already has a name? $\endgroup$ Sep 12, 2013 at 14:22
  • 3
    $\begingroup$ @MartinBrandenburg Good observation. I recognize that condition: it's the flexible identity. $\endgroup$
    – rschwieb
    Sep 12, 2013 at 14:49
  • 1
    $\begingroup$ @rschwieb An idempotent rack (a.k.a. a quandle) also has the property that the action of each element under left multiplication is a bijection. This object is more general. For example, if you had $a\cdot b = a$ for all $a, b \in Q$ ($\left|Q\right| > 1$), it would satisfy this definition but not be a quandle. $\endgroup$
    – Malper
    Sep 12, 2013 at 14:57
  • 2
    $\begingroup$ These have also appeared in the literature under the name "spindle", regarded as generalisations of quandles. $\endgroup$
    – James
    Dec 30, 2013 at 6:29

2 Answers 2


V.D. Belousov [Foundations of the theory of quasi-groups and loops , Moscow (1967) (In Russian)] called quasigroups with the axiom $2$ left distributive. So you can call your object an idempotent left distributive groupoid/magma.


There have been a lot of papers on this subject after Patrick Dehornoy connected it to extensions and orderings of braid groups. His book Braids and Self-Distributivity is a canonical and very well written reference.

Dehornoy uses the terms LD- and LDI-systems. People who had studied the combinatorics of the same axioms (with a second operation) that arise in "algebras" of elementary embeddings in set theory, called them LD and LDI algebras.

Where LD=left (self) distributive and I=idempotent.

  • $\begingroup$ Thank you for the reference! I look forward to reading about this topic. $\endgroup$
    – Malper
    Oct 22, 2013 at 13:32
  • 3
    $\begingroup$ That field had a brilliant opportunity to bring terms like LSD formula, LSD identity, LSD systems, ... to mathematics. Dehornoy does write it out as left self distributivity. $\endgroup$
    – zyx
    Oct 22, 2013 at 15:39

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .