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.

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

Annihilation of torsion in homology of finite $m$-AQ quandles

Lattice theory of torsion classes: Beyond $τ$-tilting theory

Torsion invariants of complexes of groups

Quasimorphisms on free racks and free quandles

The second quandle homology of the Takasaki quandle of an odd abelian group is an exterior square of the group

Quandle Identities and Homology

Homogeneous quandles with abelian inner automorphism groups and vertex-transitive graphs

Towers and the First-order Theories of Hyperbolic Groups

Torsion homology growth and cheap rebuilding of inner-amenable groups

Vanishing of quaternionic cohomology groups and applications

On Profinite Quandles

Towers and the first-order theory of hyperbolic groups

Finite involutory quandles of two-bridge links with an axis

A Jørgensen–Thurston Theorem for Homomorphisms

Quandles as pre-Lie skew braces, set-theoretic Hopf algebras & universal R-matrices

Persistent homological Quillen-McCord theorem

Lannes' $T$-functor and mod-$p$ cohomology of profinite groups

Loday-Quillen-Tsygan theorem on Quivers

Finiteness Of Canonical Quotients Of Dehn Quandles Of Surfaces

On arithmetic quotients of the group SL 2 over a quaternion division k -algebra