# quandles

###### Definition 1

A quandle is an algebraic structure  , specifically it is a set $Q$ with two binary operations  on it, $\lhd$ and $\lhd^{-1}$ and the following axioms.

1. 1.

$q\lhd q=q\ \forall q\in Q$

2. 2.

$(q_{1}\lhd q_{2})\lhd^{-1}q_{2}=(q_{1}\lhd^{-1}q_{2})\lhd q_{2}\ \forall q_{1}% ,q_{2}\in Q$

3. 3.

$(q_{1}\lhd q_{2})\lhd q_{3}=(q_{1}\lhd q_{3})\lhd(q_{2}\lhd q_{3})\ \forall q_% {1},q_{2},q_{3}\in Q$

It is useful to consider $q_{1}\lhd q_{2}$ as ’$q_{2}$ acting on $q_{1}$’.
Examples.

1. 1.

Let $Q$ be some group, and let $n$ be some fixed integer. Then let $g_{1}\lhd g_{2}=g_{2}^{-n}g_{1}g_{2}^{n},\hskip 8.0ptg_{1}\lhd^{-1}g_{2}=g_{2}% ^{n}g_{1}g_{2}^{-n}$.

2. 2.

Let $Q$ be some group. Then let $g_{1}\lhd g_{2}=g_{1}\lhd^{-1}g_{2}=g_{2}g_{1}^{-1}g_{2}$.

3. 3.

Let $Q$ be some module, and $T$ some invertable linear operator on $Q$. Then let $m_{1}\lhd m_{2}=T(m_{1}-m_{2})+m_{2},\hskip 8.0ptm_{1}\lhd^{-1}m_{2}=T^{-1}(m_% {1}-m_{2})+m_{2}$

## References

Title quandles Quandles 2013-03-22 16:42:37 2013-03-22 16:42:37 StevieHair (1420) StevieHair (1420) 8 StevieHair (1420) Definition msc 08A99