Let be a binary operation, i.e. is a magma. We say that the operation is
See also shelf.
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 16:47:18. See the history of this page for a list of all contributions to it.