The binary operation in any semilattice is self-distributive on both sides, following from associativity, commutativity, and idempotence.

The operations in a rack (and hence also in a quandle) are self-distributive on the side on which they act. In particular, this includes the operation of conjugation in a group.

A Laver table is the multiplication table of a self-distributive operation.

Revised on February 14, 2016 11:47:18
by Todd Trimble
(50.154.86.95)