The torsion of a finite quasigroup quandle is annihilated by its order (Q2348135)

A quandle is a set \(Q\) together with a binary operation * satisfying {\parindent=0.6cm\begin{itemize}\item[Q1:] \((a*b)*c=(a*c)*(b*c)\) for all \(a,b,c\in Q\), \item[Q2:] \((-)*a:Q\to Q\) is bijective for all \(a\in Q\), \item[Q3:] \(a*a=a\) for ll \(a\in Q\). \end{itemize}} An important example is when \(Q=G\) is a group and \(a*b=b^{-1}ab\). A similar kind of example can be given with \(Q\subset G\) a subset stable under conjugation, but not every quandle comes in that way. Notice that condition Q2 implies that, given \(a,b\in Q\), the equation \(x*a=b\) has unique solution, but in general, the equation \(a*x=b\) may have several (or none) solutions. A quandle is called \textit{quasi-group} if, for any \(a,b\), the equation \(a*x=b\) has unique solution. In the paper under review the authors prove that \(|Q|\) annihilates the torsion part of the rack homology when \(Q\) is a quandle quasi-group. This result is in analogy with group homology for finite groups. Some previous partial results where known and are commented in the introduction. The proof of the main theorem is by giving explicit homotopy in the homology complex.