Independence of Quandle Axioms
摘要
We investigate the independence of axioms defining a quandle – an algebraic structure important in knot theory and combinatorial algebra. It is proved that all four axioms included in the standard definition of a quandle are independent. For finite quandles, one of the solvability axioms turns out to be a consequence of the others, owing to which it is possible to construct a minimal system of three axioms. An example of a right-distributive left quasigroup is constructed. As an application, for the constructed right-distributive systems, set-theoretic solutions to the Yang–Baxter equations and the corresponding associated groups are indicated.