17
$\begingroup$

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?

$\endgroup$
  • 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 '13 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$ – Martin Brandenburg Sep 12 '13 at 14:22
  • 3
    $\begingroup$ @MartinBrandenburg Good observation. I recognize that condition: it's the flexible identity. $\endgroup$ – rschwieb Sep 12 '13 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 '13 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 '13 at 6:29
4
+100
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ Thank you for the reference! I look forward to reading about this topic. $\endgroup$ – Malper Oct 22 '13 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 '13 at 15:39
6
$\begingroup$

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.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.