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.

Last revised on February 14, 2016 at 11:47:18.
See the history of this page for a list of all contributions to it.