Abstract:We prove that if Q is a finite quasigroup quandle, then |Q| annihilates the torsion of its homology. It is a classical result in reduced homology of finite groups that the order of a group annihilates its homology. From the very beginning of the rack homology (between 1990 and 1995) the analogous result was suspected. The first general results in this direction were obtained independently about 2001 by <a class="link-external link-http" href="http://R.A.Litherland" rel="external noopener nofollow">this http URL</a> and <a class="link-external link-http" href="http://S.Nelson" rel="external noopener nofollow">this http URL</a>, and <a class="link-external link-http" href="http://P.Etingof" rel="external noopener nofollow">this http URL</a> and <a class="link-external link-http" href="http://M.Grana" rel="external noopener nofollow">this http URL</a>. In Litherland-Nelson paper it is proven that if (Q;*) is a finite homogeneous rack (this includes quasigroup racks) then the torsion of homology is annihilated by |Q|^n. In Etingof-Grana paper it is proven that if (X;A) is a finite rack and N=|G^0_Q| is the order of a group of inner automorphisms of Q, then only primes which can appear in the torsion of homology are those dividing N (the case of connected Alexander quandles was proven before by <a class="link-external link-http" href="http://T.Mochizuki" rel="external noopener nofollow">this http URL</a>). The result of Litherland-Nelson is generalized by Niebrzydowski and Przytycki and in particular, they prove that the torsion part of the homology of the dihedral quandle R_3 is annihilated by 3. In Niebrzydowski-Przytycki paper it is conjectured that for a finite quasigroup quandle, torsion of its homology is annihilated by the order of the quandle. The conjecture is proved by <a class="link-external link-http" href="http://T.Nosaka" rel="external noopener nofollow">this http URL</a> for finite Alexander quasigroup quandles. In this paper we prove the conjecture in full generality. For this version, we rewrote the Section 3 totally and introduced the concept of the precubic homotopy. In Section 2, the main addition is Corollary 2.2 which summarizes identities observed in the proof of the main theorem as we use it later in Section 3.

Torsion homology growth and cheap rebuilding of inner-amenable groups

Torsion invariants of complexes of groups

Hereditarily just-infinite torsion groups with positive first $\ell^2$-Betti number

On the growth of torsion in the cohomology of some arithmetic groups of $\mathbb{Q}$-rank one

Uniform boundedness of torsion subgroups of linear groups

Torsion homology and cellular approximation

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

Torsion and twists of abelian varieties

Growth of torsion groups of elliptic curves upon base change from number fields

Growth of Torsion Groups of Elliptic Curves Over Number Fields without Rationally Defined CM

Torsion-free nilpotent groups of small Hirsch length with isomorphic finite quotients

Finiteness properties of torsion fields of abelian varieties

Torsion Points and the Latte'S Family

Mod $p$ and torsion homology growth in nonpositive curvature

Torsion groups of subexponential growth cannot act on finite-dimensional CAT(0)-spaces without a fixed point

Torsion in pro-finite completions of torsion-free groups

Marton's Conjecture in abelian groups with bounded torsion

Cohomological consequences of (almost) free torus actions

Some torsion-free solvable groups with few subquotients

Homotopy braid groups are torsion-free

Torsion in $p$-adic étale cohomology: remarks and conjectures