Editing Racks and quandles (section)

{{Short description|Sets with binary operations analogous to the Reidemeister moves used on knot diagrams}}
{{Algebraic structures}}
In [[mathematics]], '''racks''' and '''quandles''' are sets with [[binary operation]]s satisfying axioms analogous to the [[Reidemeister move]]s used to manipulate [[knot theory|knot]] diagrams.

While mainly used to obtain invariants of knots, they can be viewed as [[abstract algebra|algebraic]] constructions in their own right.  In particular, the definition of a quandle axiomatizes the properties of [[Inner automorphism|conjugation]] in a [[Group (mathematics)|group]].