Ternary and $n$-ary $f$-distributive Structures

TL;DR

This paper introduces and classifies ternary and higher $n$-ary $f$-distributive structures, develops their extension theory and cohomology, and provides computational examples to illustrate these concepts.

Contribution

It presents the first classification of ternary $f$-quandles, develops a cohomology theory for $n$-ary $f$-quandles, and explores their extension theory.

Findings

Classification of ternary $f$-quandles in low dimensions

Development of a cohomology theory for $n$-ary $f$-quandles

Provision of computational examples

Abstract

We introduce and study ternary $f$-distributive structures, Ternary $f$-quandles and more generally their higher $n$-ary analogues. A classification of ternary $f$-quandles is provided in low dimensions. Moreover, we study extension theory and introduce a cohomology theory for ternary, and more generally $n$-ary, $f$-quandles. Furthermore, we give some computational examples.

Tables

Table 1. Table 1. Cayley representation of ternary quandle τ 12 subscript 𝜏 12 \tau_{12}

z=1			z=2			z=3
1	2	3	2	1	1	3	1	1
2	1	2	1	2	3	2	3	2
3	3	1	3	3	2	1	2	3

Table 2. Table 2. Permutation representation of ternary quandle τ 12 subscript 𝜏 12 \tau_{12}

$\tau$	z=1	z=2	z=3
${\tau }_{12}$	(1),(12),(13)	(12),(1),(23)	(13),(23),(1)

Table 3. Table 3. Isomorphism classes of ternary quandles of order 3

z=1	z=2	z=3	z=1	z=2	z=3
(1),(1),(1)	(1),(1),(1)	(1),(1),(1)	(1),(1),(1)	(1),(1),(1)	(1),(1),(1 2)
(1),(1),(1)	(1),(1),(1)	(1 2),(1 2),(1)	(1),(1),(1)	(1),(1),(1)	(1 2),(1 2),(1 2)
(1),(1),(1)	(1),(1),(2 3)	(1),(2 3),(1)	(1),(1),(1)	(2 3),(1),(1)	(2 3),(1),(1)
(1),(1),(1)	(2 3),(1),(2 3)	(2 3),(2 3),(1)	(1),(1),(1 2)	(1),(1),(1 2)	(1),(1),(1 2)
(1),(1),(1 2)	(1),(1),(1 2)	(1 2),(1 2),(1)	(1),(1),(1 2)	(1),(1),(1 2)	(1 2),(1 2),(1 2)
(1),(1),(1 2 3)	(1 2 3),(1),(1)	(1),(1 2 3),(1)	(1),(1),(1 3 2)	(1 3 2),(1),(1)	(1),(1 3 2),(1)
(1),(1),(1 3)	(1),(1 3),(1)	(1 3),(1),(1)	(1),(1),(1 3)	(1 3),(1),(1 3)	(1 3),(1),(1)
(1),(1),(1 3)	(1 3),(1 3),(1 3)	(1 3),(1),(1)	(1),(2 3),(2 3)	(2 3),(1),(2 3)	(2 3),(2 3),(1)
(1),(2 3),(2 3)	(1 3),(1),(1 3)	(1 2),(1 2),(1)	(1),(1 2),(1 2)	(1 2),(1),(1 2)	(1),(1),(1 2)
(1),(1 2),(1 2)	(1 2),(1),(1 2)	(1 2),(1 2),(1 2)	(1),(1 2),(1 3)	(1 2),(1),(2 3)	(1 3),(2 3),(1)
(1),(1 2 3),(1 2 3)	(1 2 3),(1),(1 2 3)	(1 2 3),(1 2 3),(1)	(1),(1 2 3),(1 3 2)	(1 3 2),(1),(1 2 3)	(1 2 3),(1 3 2),(1)
(1),(1 3 2),(1 2 3)	(1 2 3),(1),(1 3 2)	(1 3 2),(1 2 3),(1)	(1),(1 3),(1 2)	(2 3),(1),(1 2)	(2 3),(1 3),(1)
(2 3),(1),(1)	(1),(1 3),(1)	(1),(1),(1 2)	(2 3),(2 3),(2 3)	(1 3),(1 3),(1 3)	(1 2),(1 2),(1 2)
(2 3),(1 2),(1 3)	(1 2),(1 3),(2 3)	(1 3),(2 3),(1 2)	(2 3),(1 2 3),(1 3 2)	(1 3 2),(1 3),(1 2 3)	(1 2 3),(1 3 2),(1 2)
(2 3),(1 3 2),(1 2 3)	(1 2 3),(1 3),(1 3 2)	(1 3 2),(1 2 3),(1 2)	(2 3),(1 3),(1 2)	(2 3),(1 3),(1 2)	(2 3),(1 3),(1 2)

Table 4. Table 4. Isomorphism classes of ternary f 𝑓 f -quandles of order 3

z=1	z=2	z=3	z=1	z=2	z=3
(1),(1),(1)	(1),(2 3),(1)	(1),(1),(2 3)	(1),(1),(1)	(1),(2 3),(2 3)	(1),(2 3),(2 3)
(1),(1),(1)	(2 3),(2 3),(1)	(2 3),(1),(2 3)	(1),(1),(1)	(2 3),(2 3),(2 3)	(2 3),(2 3),(2 3)
(1),(1),(1)	(1 2 3),(1 2 3),(1 2 3)	(1 3 2),(1 3 2),(1 3 2)	(1),(1),(1)	(1 3 2),(1 3 2),(1 3 2)	(1 2 3),(1 2 3),(1 2 3)
(1),(1),(1 2 3)	(1),(1 3 2),(1 3 2)	(1 2 3),(1 3 2),(1 2 3)	(1),(1),(1 3 2)	(1 2 3),(1 3 2),(1 3 2)	(1 2 3),(1),(1 2 3)
(1),(2 3),(2 3)	(1),(2 3),(1)	(1),(1),(2 3)	(1),(2 3),(2 3)	(1),(2 3),(2 3)	(1),(2 3),(2 3)
(1),(2 3),(2 3)	(2 3),(2 3),(1)	(2 3),(1),(2 3)	(1),(2 3),(2 3)	(2 3),(2 3),(2 3)	(2 3),(2 3),(2 3)
(1),(2 3),(2 3)	(2 3),(1 2 3),(2 3)	(2 3),(2 3),(1 3 2)	(1),(1 2),(1 3)	(1 3),(1 2 3),(1 2)	(1 2),(1 3),(1 3 2)
(1),(1 2 3),(1 2 3)	(1),(1 3 2),(1)	(1 3 2),(1 3 2),(1 2 3)	(1),(1 2 3),(1 3 2)	(1),(1 2 3),(1 3 2)	(1),(1 2 3),(1 3 2)
(1),(1 2 3),(1 3 2)	(1 2 3),(1 3 2),(1)	(1 3 2),(1),(1 2 3)	(1),(1 3 2),(1 2 3)	(1),(1 3 2),(1 2 3)	(1),(1 3 2),(1 2 3)
(1),(1 3 2),(1 2 3)	(1 3 2),(1 2 3),(1)	(1 2 3),(1),(1 3 2)	(1),(1 3),(1 2)	(1 2),(1 2 3),(1 3)	(1 3),(1 2),(1 3 2)
(2 3),(1),(1)	(1),(2 3),(1)	(1),(1),(2 3)	(2 3),(1),(1)	(1),(2 3),(2 3)	(1),(2 3),(2 3)
(2 3),(1),(1)	(2 3),(2 3),(1)	(2 3),(1),(2 3)	(2 3),(1),(1)	(2 3),(2 3),(2 3)	(2 3),(2 3),(2 3)
(2 3),(1),(1)	(1 2 3),(2 3),(1 2 3)	(1 3 2),(1 3 2),(2 3)	(2 3),(2 3),(2 3)	(1),(2 3),(1)	(1),(1),(2 3)
(2 3),(2 3),(2 3)	(1),(2 3),(2 3)	(1),(2 3),(2 3)	(2 3),(2 3),(2 3)	(2 3),(2 3),(1)	(2 3),(1),(2 3)
(2 3),(2 3),(2 3)	(2 3),(2 3),(2 3)	(2 3),(2 3),(2 3)	(2 3),(2 3),(2 3)	(1 2),(1 2),(1 2)	(1 3),(1 3),(1 3)
(2 3),(1 2),(1 3)	(2 3),(1 2),(1 3)	(2 3),(1 2),(1 3)	(2 3),(1 2),(1 3)	(1 3),(2 3),(1 2)	(1 2),(1 3),(2 3)
(2 3),(1 2 3),(1 3 2)	(1),(2 3),(1 3 2)	(1),(1 2 3),(2 3)	(2 3),(1 3 2),(1 2 3)	(1 3 2),(2 3),(1)	(1 2 3),(1),(2 3)
(2 3),(1 3),(1 2)	(1 2),(2 3),(1 3)	(1 3),(1 2),(2 3)	(2 3),(1 3),(1 2)	(1 3),(1 2),(2 3)	(1 2),(2 3),(1 3)
(1 2),(1),(1 3 2)	(1 3 2),(2 3),(1)	(1),(1 3 2),(1 3)	(1 2),(2 3),(1 3)	(1 2),(2 3),(1 3)	(1 2),(2 3),(1 3)
(1 2),(1 2),(1 2)	(2 3),(2 3),(2 3)	(1 3),(1 3),(1 3)	(1 2),(1 2 3),(1 2 3)	(1 2 3),(2 3),(1 2 3)	(1 2 3),(1 2 3),(1 3)
(1 2),(1 3 2),(1)	(1),(2 3),(1 3 2)	(1 3 2),(1),(1 3)	(1 2),(1 3),(2 3)	(1 3),(2 3),(1 2)	(2 3),(1 2),(1 3)
(1 2 3),(1),(1)	(1),(1 2 3),(1)	(1),(1),(1 2 3)	(1 2 3),(1),(1 2 3)	(1 2 3),(1 2 3),(1)	(1),(1 2 3),(1 2 3)
(1 2 3),(1),(1 3 2)	(1 3 2),(1 2 3),(1)	(1),(1 3 2),(1 2 3)	(1 2 3),(2 3),(1 3)	(1 2),(1 2 3),(1 3)	(1 2),(2 3),(1 2 3)
(1 2 3),(1 2),(1 2)	(2 3),(1 2 3),(2 3)	(1 3),(1 3),(1 2 3)	(1 2 3),(1 2 3),(1)	(1),(1 2 3),(1 2 3)	(1 2 3),(1),(1 2 3)
(1 2 3),(1 2 3),(1 2 3)	(1 2 3),(1 2 3),(1 2 3)	(1 2 3),(1 2 3),(1 2 3)	(1 2 3),(1 2 3),(1 3 2)	(1 3 2),(1 2 3),(1 2 3)	(1 2 3),(1 3 2),(1 2 3)
(1 2 3),(1 3 2),(1)	(1),(1 2 3),(1 3 2)	(1 3 2),(1),(1 2 3)	(1 2 3),(1 3 2),(1 2 3)	(1 2 3),(1 2 3),(1 3 2)	(1 3 2),(1 2 3),(1 2 3)
(1 2 3),(1 3 2),(1 3 2)	(1 3 2),(1 2 3),(1 3 2)	(1 3 2),(1 3 2),(1 2 3)	(1 2 3),(1 3),(2 3)	(1 3),(1 2 3),(1 2)	(2 3),(1 2),(1 2 3)

Equations

$$(x\ast y)\ast (z\ast z)=(x\ast z)\ast (y\ast z).$$

$$T(T(x,y,z),\alpha (u),\alpha (v))=T(T(x,u,v),T(y,u,v),T(z,u,v)).$$

$$T\circ (T\times \alpha \times \alpha )=T\circ (T\times T\times T)\circ \rho \circ (id\times id\times id\times D\times D),$$

$$\rho (x_1,\cdots ,x_9)=(x_1,x_4,x_7,x_2,x_5,x_8,x_3,x_6,x_9).$$

$$T(x,y,z)=(x\ast y)\ast f(z),\forall x,y,z\in Q.$$

$$\varphi (T(x,y,z))=T^{\prime }(\varphi (x),\varphi (y),\varphi (z)).$$

$$T(T(a,b,c),T(d,e,f),T(g,h,k))=T(T(a,d,g),T(b,e,h),T(c,f,k)).$$

$$\underset{\text{ 9 times}}{\underbrace{Q\times \cdot \cdot \cdot \times Q}}$$

$$T(T(x_1,\cdots ,x_n),\alpha (u_1),\cdots ,\alpha (u_{n-1}))=$$

$$T(T(x_1,u_1,\cdots ,u_{n-1}),T(x_2,u_1,\cdots ,u_{n-1}),\cdots ,T(x_n,u_1,\cdots ,u_{n-1})),$$

$$R_{a_1,\cdots ,a_{n-1}}(x)=T(x,a_1,\cdots ,a_{n-1})$$

$$T(x,\cdots ,x)=\alpha (x).$$

$$T(x_1,x_2,\cdots ,x_n)=((\dots (x_1\ast x_2)\ast f(x_3))\ast f^2(x_4))\ast \dots )\ast f^{n-2}(x_n)\forall x_i\in Q,$$

$$T(T(x_{11},x_{12},\cdots ,x_{1n}),T(x_{21},x_{22},\cdots ,x_{2n}),\cdots ,T(x_{n1},x_{n2},\cdots ,x_{nn}))=$$

$$T(T(x_{11},x_{21},\cdots ,x_{n1}),T(x_{12},x_{22},\cdots ,x_{n2}),\cdots ,T(x_{1n},x_{2n},\cdots ,x_{nn})).$$

$$LHS(I)=\beta \circ T(\beta \circ T(x_1,\cdots ,x_n),\beta \circ \alpha (u_1),\cdots ,\beta \circ \alpha (u_{n-1}))$$

$$R_{\beta (a_1),\cdots ,\beta (a_{n-1})}(x)$$

$$\beta \circ T(x,\cdots ,x)$$

$${\alpha }_{f(x),f(u),f(v)}({\alpha }_{x,x,x}(a,b,c),g(d),g(e))=$$

$${\alpha }_{T(x,u,v),T(x,u,v),T(x,u,v)}({\alpha }_{x,u,v}(a,d,e),{\alpha }_{x,u,v}(b,d,e),{\alpha }_{x,u,v}(c,d,e))$$

$${\eta }_{T(x,y,z),f(u),f(v)}{\eta }_{x,y,z}={\eta }_{T(x,u,v),T(y,u,v),T(z,u,v)}{\eta }_{x,u,v}$$

$${\eta }_{T(x,y,z),f(u),f(v)}{\tau }_{x,y,z}={\tau }_{T(x,u,v),T(y,u,v),T(z,u,v)}{\eta }_{y,u,v}$$

$${\eta }_{T(x,y,z),f(u),f(v)}{\mu }_{x,y,z}={\mu }_{T(x,u,v),T(y,u,v),T(z,u,v)}{\eta }_{z,u,v}$$

$${\tau }_{T(x,y,z),f(u),f(v)}g={\eta }_{T(x,u,v),T(y,u,v),T(z,u,v)}{\tau }_{x,u,v}+{\tau }_{T(x,u,v),T(y,u,v),T(z,u,v)}{\tau }_{y,u,v}$$

$$+{\mu }_{T(x,u,v),T(y,u,v),T(z,u,v)}{\tau }_{z,u,v}$$

$${\mu }_{T(x,y,z),f(u),f(v)}g={\eta }_{T(x,u,v),T(y,u,v),T(z,u,v)}{\mu }_{x,u,v}+{\tau }_{T(x,u,v),T(y,u,v),T(z,u,v)}{\mu }_{y,u,v}$$

$$+{\mu }_{T(x,u,v),T(y,u,v),T(z,u,v)}{\mu }_{z,u,v}$$

$${\eta }_{T(x_1,x_2,...,x_n),f(y_2),f(y_3),...,f(y_n)}{\eta }_{x_1,x_2,...,x_n}={\eta }_{T(x_1,y2,...,y_n),T(x_2,y_2,...,y_n),...,T(x_n,y_2,...,y_n)}{\eta }_{x_1,y_2,...,y_n}$$

$${\eta }_{T(x_1,x_2,...,x_n),f(y_2),f(y_3),...,f(y_n)}{\tau }_{x_1,x_2,...,x_n}^i={\tau }_{T(x_1,y2,...,y_n),T(x_2,y_2,...,y_n),...,T(x_n,y_2,...,y_n)}^i{\eta }_{x_i,y_2,...,y_n}$$

$${\tau }_{T(x_1,x_2,...,x_n),f(y_2),f(y_3),...,f(y_n)}^{i}g={\eta }_{T(x_1,y2,...,y_n),T(x_2,y_2,...,y_n),...,T(x_n,y_2,...,y_n)}{\tau }_{x_1,y_2,...,y_n}^i$$

$$+\sum _{j=1}^{n-1}{\tau }_{T(x_1,y2,...,y_n),T(x_2,y_2,...,y_n),...,T(x_n,y_2,...,y_n)}^j{\tau }_{x_j,y_2,...,y_n}^i.$$

$${\tau }_{f(x),f(u),f(v)}g$$

$${\mu }_{f(x),f(u),f(v)}g$$

$${\eta }_{T(x,u,v),T(x,u,v),T(x,u,v)}+{\tau }_{T(x,u,v),T(x,u,v),T(x,u,v)}+{\mu }_{T(x,u,v),T(x,u,v),T(x,u,v)}=id.$$

$${\eta }_{f(x),f(u),f(v)}{\eta }_{x,x,x}={\eta }_{T(x,u,v),T(x,u,v),T(x,u,v)}{\eta }_{x,u,v}.$$

$${\eta }_{T(x,y,z),f(u),f(v)}{\eta }_{x,y,z}={\eta }_{T(x,u,v),T(y,u,v),T(z,u,v)}{\eta }_{x,u,v}$$

Full text

1. 1 Introduction

2. 2 $f$-Quandles and Ternary (resp. $n$-ary) Distributive Structures

3. 2.1 A Review of $f$-Quandles and related structures

4. 2.2 Ternary and $n$-ary $f$-Quandles

5. 3 Yau Twist

6. 4 Classification of Ternary $f$-Quandles of low orders

7. 5 Extensions of $f$-Quandles and Modules

8. 5.1 Extensions with dynamical cocycles and Extensions with constant cocycles

9. 5.2 Modules over Ternary $f$-rack

10. 6 Cohomology Theory of $n$-ary $f$-quandles

1. Introduction

The first instances of ternary operations appeared in the nineteenth century when Cayley considered cubic matrices. Ternary operations or more generally $n$-ary operations appeared naturally in various domains of theoretical and mathematical physics. The first instances of ternary Lie algebras appeared in the Nambu’s Mechanics when generalizing hamiltonian mechanics by considering more than one hamiltonian [Nambu]. The algebraic formulation of Nambu’s Mechanics was achieved by Takhtajan in [MR1290830]. Moreover, ternary algebraic structures appeared in String and Superstring theories when Basu and Harvey suggested to replace Lie algebra in the context of Nahm equations by a 3-Lie algebra. Furthermore, a ternary operation was used by Bagger-Lambert in the context of Bagger-Lambert-Gustavsson model of M2-branes and in the work of Okubo [Okubo] on Yang-Baxter equation which gave impulse to significant development on $n$-ary algebras. In recent years, there has been a growth of interests in many generalizations of binary structures to higher $n$-ary contexts. In Lie algebra theory, for example, the bracket is replaced by a $n$-ary bracket and the Jacobi identity is replaced by its higher analogue, see [Filippov]. Generalizations of quandles to the ternary case were done recently in [EGM].

In this paper we introduce and study a twisted version of ternary, respectively $n$-ary, generalizations of racks and quandles, where the structure is defined by a ternary operation and a linear map twisting the distributive property. These type of algebraic structures, called sometimes Hom-algebras, appeared first in quantum deformations of algebras of vector fields, motivated by physical aspects. A systematic study and mathematical aspects were provided for Lie type algebras by Hartwig-Larsson and Silvestrov in [HLS] whereas associative and other nonassociative algebras were discussed by the fourth author and Silvestrov in [MS] and $n$-ary Hom-type algebras in [AMS]. The main feature of all these generalization is that the usual identities are twisted by a homomorphism. We introduce in this article the notions of ternary, respectively $n$-ary, $f$-shelf (resp. $f$-rack, $f$-quandle), give some key constructions and properties. Moreover, we provide a classification in low dimensions of $f$-quandles. We also study extensions and modules, as well as cohomology theory of these structures. For classical quandles theory, we refer to [EN], see also [And-Grana, Carter-Crans-Elhamdadi-Saito, Carter-Elhamdadi-Grana-Saito, CES, CENS, EMR, FR, Joyce, Matveev]. For basics and some development of Hom-type algebras, we refer to [FG, LS, MS, MS4, MakhloufSilv, Yau1, Yau2, Yau3]

This paper is organized as follows. In Section 2, we review the basics of $f$-quandles and ternary distributive structures and give the general $n$-ary setting. In Section 3, we discuss a key construction introduced by Yau, we show that given a $n$-ary $f$-shelf (resp. $f$-rack, $f$-quandle) and a shelf morphism then one constructs a new $n$-ary $f$-shelf (resp. $f$-rack, $f$-quandle) and we provide examples. In Section 4, we provide a classification of ternary $f$-quandles in low dimensions. Section 5 gives the extension theory of $f$-quandles and modules. Finally, in Section 6 we introduce the cohomology of $n$-ary $f$-distributive structures and give examples.

2. $f$-Quandles and Ternary (resp. $n$-ary) Distributive Structures

In this section we aim to introduce the notion of ternary and more generally $n$-ary $f$-quandles, generalizing the notion of $f$-quandle given in [CEGM].

2.1. A Review of $f$-Quandles and related structures

First, we review the basics of the binary $f$-quandles. We refer to [CEGM] for the complete study. Classical theory of quandle could be found in

Definition 2.1**.**

*An $f$-shelf is a triple $(X,*,f)$ in which $X$ is a set, $*$ is a binary operation on $X$, and $f\colon X\to X$ is a map such that, for any $x,y,z\in X$, the identity

$(x*y)*f(z)=(x*z)*(y*z)$

*holds. An $f$-rack is an $f$-shelf such that, for any $x,y\in X$, there exists a unique $z\in X$ such that

$z*y=f(x).$**

*An $f$-quandle is an $f$-rack such that, for each $x\in X$, the identity

$x*x=f(x)$**

*holds.

An $f$-crossed set is an $f$-quandle $(X,*,f)$ such that $f:X\to X$ satisfies $x*y=f(x)$ whenever $y*x=f(y)$ for any $x,y\in X$.

Definition 2.2**.**

Let $(X_{1},*_{1},f_{1})$ and $(X_{2},*_{2},f_{2})$ be two $f$-racks (resp. $f$-quandles). A map $\phi:X_{1}\to X_{2}$ is an $f$-rack (resp. $f$-quandle) morphism if it satisfies $\phi(a*_{1}b)=\phi(a)*_{2}\phi(b)$ and $\phi\circ f_{1}=f_{2}\circ\phi$.

Remark 2.3**.**

A category of $f$-quandles is a category whose objects are tuples $(A,*,f)$ which are $f$-quandles and morphism are $f$-quandle morphisms.

Examples of $f$-quandles include the following:

• •

Given any set $X$ and map $f:X\to X$, then the operation $x*y=f(x)$ for any $x,y\in X$ gives a $f$-quandle. We call this a trivial $f$-quandle structure on $X$.

• •

For any group $G$ and any group endomorphism $f$ of $G$, the operation $x*y=y^{-1}xf(y)$ defines a $f$-quandle structure on $G$.

• •

Consider the Dihedral quandle $R_{n}$, where $n\geq 2$, and let $f$ be an automorphism of $R_{n}$. Then $f$ is given by $f(x)=ax+b$, for some invertible element $a\in\mathbb{Z}_{n}$ and some $b\in\mathbb{Z}_{n}$ [EMR]. The binary operation $x*y=f(2y-x)=2ay-ax+b\pmod{n}$ gives a $f$-quandle structure called the Dihedral $f$-quandle.

• •

Any ${\mathbb{Z}}[T^{\pm 1},S]$-module $M$ is a $f$-quandle with $x*y=Tx+Sy$, $x,y\in M$ with $TS=ST$ and $f(x)=(S+T)x$, called an Alexander $f$-quandle.

Remark 2.4**.**

Axioms of Definition 2.1 give the following identity,

[TABLE]

*We note that the two medial terms in this equation are swapped (resembling the mediality condition of a quandle). Note also that the mediality in the general context may not be satisfied for $f$-quandles. For example one can check that the $f$-quandle given in item (2) of Examples is not medial. *

2.2. Ternary and $n$-ary $f$-Quandles

Now we introduce and discuss the analogous notion of a $f$-quandle in the ternary setting and more generally in the $n$-ary setting.

Definition 2.5**.**

Let $Q$ be a set, $\alpha$ be a morphism and $T:Q\times Q\times Q\rightarrow Q$ be a ternary operation on $Q$. The operation $T$ is said to be right $f$-distributive with respect to $\alpha$ if it satisfies the following condition for all $x,y,z,u,v\in Q$

[TABLE]

The previous condition is called right $f$-distributivity.

Remark 2.6**.**

Using the diagonal map $D:Q\rightarrow Q\times Q\times Q=Q^{\times 3}$ such that $D(x)=(x,x,x)$, equation (1) can be written, as a map from $Q^{\times 5}$ to $Q$, in the following form

[TABLE]

where $id$ stands for the identity map. In the whole paper we denote by $\rho:Q^{\times 9}\rightarrow Q^{\times 9}$ the map defined as $\rho=p_{6,8}\circ p_{3,7}\circ p_{2,4}$ where $p_{i,j}$ is the transposition $i^{th}$ and $j^{th}$ elements, i.e.

[TABLE]

Definition 2.7**.**

Let $T:Q\times Q\times Q\rightarrow Q$ be a ternary operation on a set $Q$. The triple $(Q,T,\alpha)$ is said to be a ternary $f$-shelf if the identity (1) holds. If, in addition, for all $a,b\in Q$, the map $R_{a,b}:Q\rightarrow Q$ given by $R_{a,b}(x)=T(x,a,b)$ is invertible, then $(Q,T,\alpha)$ is said to be a ternary $f$-rack. If further $T$ satisfies $T(x,x,x)=\alpha(x),$ for all $x\in Q,$ then $(Q,T,\alpha)$ is called a ternary $f$-quandle. **

Remark 2.8**.**

Using the right translation $R_{a,b}:Q\to Q$ defined as $R_{a,b}(x)=T(x,a,b)$, the identity (1) can be written as $R_{\alpha(u),\alpha(v)}\circ R_{y,z}=R_{R_{u,v}(y),R_{u,v}(z)}\circ R_{u,v}$.

Example 2.9**.**

Let $(Q,*,f)$ be a $f$-quandle and define a ternary operation on $Q$ by

[TABLE]

It is straightforward to see that $(Q,T,\alpha)$ is a ternary $f$-quandle where $\alpha=f\circ f$. Note that in this case $R_{a,b}=R_{b}\circ R_{a}$. We will say that this ternary $f$-quandle is induced by a (binary) quandle.

Remark 2.10**.**

Binary $f$-quandles relates to ternary $f$-quandle when $\alpha=f\circ f$. Also, ternary operations $T$ lead to binary operations by setting for example $x*y=T(x,y,y)$.

Example 2.11**.**

Let $(M,*,f)$ be an Alexander $f$-quandle, then the ternary $f$-quandle $(M,T,\alpha)$ coming from $M$, has the operation $T(x,y,z)=Px+Qy+Rz$ where $P,Q,R$ commutes with each other and $\alpha(x)=(P+Q+R)x$.

Example 2.12**.**

Any group $G$ with the ternary operation $T(x,y,z)=f(xy^{-1}z)$ gives an example of ternary $f$-quandle. This is called $f$ $heap$ (sometimes also called a groud) of the group $G$.

A morphism of ternary quandles is a map $\phi:(Q,T)\rightarrow(Q^{\prime},T^{\prime})$ such that

[TABLE]

A bijective ternary quandle endomorphism is called ternary $f$-quandle automorphism.

Therefore, we have a category whose objects are ternary $f$-quandles and morphisms as defined above.

As in the case of the binary quandle there is a notion of medial ternary quandle

Definition 2.13**.**

[Borowic] A ternary quandle $(Q,T,\alpha)$ is said to be medial if for all $a,b,c,d,e,f,g,h,k\in Q,$ the following identity is satisfied

[TABLE]

This definition of mediality can be written in term of the following commutative diagram

[TABLE]

Example 2.14**.**

Every affine ternary $f$-quandle is medial.

We generalize the notion of ternary $f$-quandle to $n$-ary setting.

Definition 2.15**.**

An $n$-ary distributive set is a triple $(Q,T,\alpha)$ where $Q$ is a set, $\alpha:Q\to Q$ is a morphism and $T:Q^{\times n}\rightarrow Q$ is an $n$-ary operation satisfying the following conditions:

1. (I)

[TABLE]

$\forall x_{i},u_{i}\in Q$ ($f$-distributivity). 2. (II)

For all $a_{1},\cdots,a_{n-1}\in Q$, the map $R_{a_{1},\cdots,a_{n-1}}:Q\rightarrow Q$ given by

[TABLE]

is invertible. 3. (III)

For all $x\in Q$,

[TABLE]

If $T$ satisfies only condition (1), then $(Q,T,\alpha)$ is said to be an $n$-ary $f$-shelf. If both conditions (1) and (2) are satisfied then $(Q,T,\alpha)$ is said to be an $n$-ary $f$-rack. If all three conditions (1), (2) and (3) are satisfied then $(Q,T,\alpha)$ is said to be an $n$-ary $f$-quandle.

Example 2.16**.**

Let $(Q,*,f)$ be an $f$-quandle and define an $n$-ary twisted operation on $Q$ by

[TABLE]

*where $i=1,\cdots,n$.

It is straightforward to see that $(Q,T,\alpha)$ is an $n$-ary $f$-quandle where $\alpha=f^{n-1}$.*

Example 2.17**.**

Let $(M,*,f)$ be an Alexander $f$-quandle, then the $n$-ary $f$-quandle $(M,T,\alpha)$ coming from $M$ has the operation $T(x_{1},\cdots,x_{n})=S_{1}x_{1}+S_{2}x_{2}+\cdots+S_{n}x_{n},$ where $S_{i},i=1,\cdots,n$ commutes with each other and $\alpha(x)=(S_{1}+S_{2}+\cdots+S_{n})x$.

Definition 2.18**.**

An $n$-ary quandle $(Q,T,\alpha)$ is said to be medial if for all $x_{ij}\in Q,1\leq i,j\leq n,$ the following identity is satisfied

[TABLE]

3. Yau Twist

The following proposition provide a way of constructing new $n$-ary $f$-shelf (resp. $f$-rack, $f$-quandle) along a shelf morphism. In particular, given an $n$-ary shelf (resp. rack, quandle) and a shelf morphism, one may obtain an $n$-ary $f$-shelf (resp. $f$-rack, $f$-quandle). Recall that this construction was introduced first by Yau to deform a Lie algebra to a Hom-Lie algebra along a Lie algebra morphism. It was generalized to different situation, in particular to $n$-ary algebras in [AMS].

Proposition 3.1**.**

Let $(Q,T,\alpha)$ be an $n$-ary $f$-shelf (resp. $f$-rack, $f$-quandle) and $\beta:Q\rightarrow Q$ a shelf morphism then $(Q,\beta\circ T,\beta\circ\alpha)$ is a new $n$-ary $f$-shelf (resp. $f$-rack, $f$-quandle).

Proof.

1. (A)

[TABLE]

Therefore, $(Q,\beta\circ T,\beta\circ\alpha)$ is an $n$-ary $f$-shelf. 2. (B)

For all $a_{1},\cdots,a_{n-1}\in Q$, the map $R_{\beta(a_{1}),\cdots,\beta(a_{n-1})}:Q\rightarrow Q$ given by

[TABLE]

is invertible.

Therefore, $(Q,\beta\circ T,\beta\circ\alpha)$ is an $n$-ary $f$-rack. 3. (C)

For all $x\in Q$,

[TABLE]

Therefore, $(Q,\beta\circ T,\beta\circ\alpha)$ is an $n$-ary $f$-quandle.

∎

Example 3.2**.**

Let $(Q,*)$ be a quandle and define a ternary operation on $Q$ by $T(x,y,z)=(x*y)*z,\forall x,y,z\in Q$. It is straightforward to see that (Q,T) is a ternary quandle. Let $\alpha:Q\to Q$ be a morphism. Then $(Q,\alpha\circ T,\alpha)$ is a ternary $f$-quandle.

Example 3.3**.**

Let $(M,T)$ be an Alexander ternary quandle, where $T(x,y,z)=t^{2}x+t(1-t)y+(1-t)z$. Let $f:M\to M$ be a morphism. Then $(M,f\circ T,f)$ is a ternary $f$-quandle.

Example 3.4**.**

Let $M$ be a $\mathbb{Z}[t,t^{-1}]$-module. Consider the ternary quandle $(M,T)$ defined by the operation $T(x,y,z)=t^{2}x+t(1-t)y+(1-t)z$, where $x,y,z\in M$. For any map $\phi:M\rightarrow M$ satisfying $\phi\circ T=T\circ(\phi\otimes\phi\otimes\phi)$, we associate a new ternary $f$-quandle $(M,\phi\circ T,\phi)$.

Example 3.5**.**

Let $M$ be any ${\Lambda}$-module where ${\Lambda}=\mathbb{Z}[t^{\pm 1},s]$. The operation $T(x,y,z)=tx+sy+kz$ where $\alpha(x)=(t+s+k)x$ defines a ternary $f$-quandle structure on $M$. (We call this an affine ternary $f$-quandle). Let $f:M\to M$ be a morphism. Then $(M,f\circ T,f\circ\alpha)$ is a ternary $f$-quandle.

Example 3.6**.**

Let $(Q,*)$ be a quandle and define a $n$-ary operation on $Q$ by $T(x_{1},x_{2},\cdots,x_{n})=((\dots(x_{1}*x_{2})*x_{3})*x_{4})*\dots)*x_{n}),\forall x_{i}\in Q$ where $i=1,\cdots,n$. Let $f:Q\to Q$ be a morphism. It is straightforward to see that $(Q,f\circ T,f)$ is an $n$-ary $f$-quandle.

4. Classification of Ternary $f$-Quandles of low orders

We developed a simple program to compute all ternary $f$-quandles of orders 2 and 3. The results of which we used to obtain the complete list of isomorphism classes.

For order 2, we found 6 distinct isomorphism classes, each of which can be defined over $\mathbb{Z}_{2}$ by one of the following maps: $\tau(x,y,z)=x$, $\tau(x,y,z)=x+1$, $\tau(x,y,z)=x+y$, $\tau(x,y,z)=x+z$, $\tau(x,y,z)=x+y+z$, or $\tau(x,y,z)=x+y+z+1$.

In the case of order 3, we found a total of 84 distinct isomorphism classes, including 30 ternary quandles (those such that $f=id_{Q}$).

Since for each fixed $a,b$, the map $x\mapsto\tau(x,a,b)$ is a permutation, in the following table we describe all ternary $f$-quandles of order three in terms of the columns of the Cayley table. Each column is a permutation of the elements and is described in standard notation, that is by explicitly writing it in terms of products of disjoint cycles. Thus for a given $z$ we give the permutations resulting from fixing $y=1,2,3$. For example, the ternary set $\tau_{12}(x,y,z)$ with the Cayley Table 1 will be represented with the permutations $(1),(12),(13);(12),(1),(23);(13),(23),(1)$. This will appear on Table 3 as shown in Table 2.

Table 4 lists the isomorphism classes, the first table lists those that such that $f=id_{Q}$, and the second table lists classes with members with a non-trivial twisting.

5. Extensions of $f$-Quandles and Modules

In this section we investigate extensions of ternary $f$-quandles. We define generalized ternary $f$-quandle $2$-cocycles and give examples. We give an explicit formula relating group $2$-cocycles to ternary $f$-quandle $2$-cocycles, when the ternary $f$-quandle is constructed from a group.

5.1. Extensions with dynamical cocycles and Extensions with constant cocycles

Proposition 5.1**.**

Let $(X,T,F)$ be a ternary $f$-quandle and $A$ be a non-empty set. Let $\alpha:X\times X\times X\to\text{Fun}(A\times A\times A,A)$ be a function and $f,g:A\to A$ are maps. Then, $X\times A$ is a ternary $f$-quandle by the operation $T((x,a),(y,b),(z,c))=(T(x,y,z),\alpha_{x,y,z}(a,b,c))$, where $T(x,y,z)$ denotes the ternary $f$-quandle product in $X$, if and only if $\alpha$ satisfies the following conditions:

1. (1)

$\alpha_{x,x,x}(a,a,a)=g(a)$* for all $x\in X$ and $a\in A$;* 2. (2)

$\alpha_{x,y,z}(-,b,c):A\to A$* is a bijection for all $x,y,z\in X$ and for all $b,c\in A$;* 3. (3)

$\alpha_{T(x,y,z),f(u),f(v)}(\alpha_{x,y,z}(a,b,c),g(d),g(e))=\\ \alpha_{T(x,u,v),T(y,u,v),T(z,u,v)}(\alpha_{x,u,v}(a,d,e),\alpha_{y,u,v}(b,d,e),\alpha_{z,u,v}(c,d,e))$* for all $x,y,z,u,v\in X$ and $a,b,c,d,e\in A$.*

Such function $\alpha$ is called a dynamical ternary $f$-quandle cocycle or dynamical ternary $f$-rack cocycle (when it satisfies above conditions).

The ternary $f$-quandle constructed above is denoted by $X\times_{\alpha}A$, and it is called extension of $X$ by a dynamical cocycle $\alpha$. The construction is general, as Andruskiewitch and Gra$\tilde{n}$a showed in [And-Grana].

Assume $(X,T,F)$ is a ternary $f$-quandle and $\alpha$ be a dynamical $f$-cocycle. For $x\in X$, define $T_{x}(a,b,c):=\alpha_{x,x,x}(a,b,c)$. Then it is easy to see that $(A,T_{x},F)$ is a ternary $f$-quandle for all $x\in X$.

Remark 5.2**.**

When $x=y=z$ in condition (3) above, we get

[TABLE]

*for all $a,b,c,d,e\in A$. *

Now, we discuss Extensions with constant cocycles. Let $(X,T,F)$ be a ternary $f$-rack and $\lambda:X\times X\times X\to S_{A}$ where $S_{A}$ is group of permutations of $X$.

If $\lambda_{T(x,y,z),F(u),F(v)}\lambda_{x,y,z}=\lambda_{T(x,u,v),T(y,u,v),T(z,u,v)}\lambda_{x,u,v}$ we say $\lambda$ is a constant ternary $f$-rack cocycle.

If $(X,T,F)$ is a ternary $f$-quandle and further satisfies $\lambda_{x,x,x}=id$ for all $x\in X$ , then we say $\lambda$ is a constant ternary $f$-quandle cocycle.

5.2. Modules over Ternary $f$-rack

Definition 5.3**.**

Let $(X,T,F)$ be a ternary $f$-rack, $A$ be an abelian group and $f,g:X\to X$ be homomorphisms. A structure of $X$-module on $A$ consists of a family of automorphisms $(\eta_{ijk})_{i,j,k\in X}$ and a family of endomorphisms $(\tau_{ijk})_{i,j,k\in X}$ of $A$ satisfying the following conditions:

[TABLE]

In the $n$-ary case, we generalized the above definition as follows.

Definition 5.4**.**

Let $(X,T,F)$ be an $n$-ary $f$-rack, $A$ be an abelian group and $f,g:X\to X$ be homomorphisms. A structure of $X$-module on $A$ consists of a family of automorphisms $(\eta_{ijk})_{i,j,k\in X}$ and a family of endomorphisms $(\tau^{i}_{ijk})_{i,j,k\in X}$ of $A$ satisfying the following conditions:

[TABLE]

Remark 5.5**.**

If $X$ is a ternary $f$-quandle, a ternary $f$-quandle structure of $X$-module on $A$ is a structure of an $X$-module further satisfies

[TABLE]

and

[TABLE]

Furthermore, if $f,g=id$ maps, then it satisfies

[TABLE]

Remark 5.6**.**

When $x=y=z$ in (4), we get

[TABLE]

Example 5.7**.**

*Let $A$ be a non-empty set and $(X,T,F)$ be a ternary $f$-quandle, and $\kappa$ be a generalized $2$-cocycle. For $a,b,c\in A$, let

$\alpha_{x,y,z}(a,b,c)=\eta_{x,y,z}(a)+\tau_{x,y,z}(b)+\mu_{x,y,z}(c)+\kappa_{x,y,z}$.

Then, it can be verified directly that $\alpha$ is a dynamical cocycle and the following relations hold:

[TABLE]

Definition 5.8**.**

When $\kappa$ further satisfies $\kappa_{x,x,x}=0$ in (19) for any $x\in X$, we call it a generalized ternary $f$-quandle $2$-cocycle.

Recall that the quandle algebra of an $f$-quandle $(X,\vartriangleright,f)$ is a $\mathbb{Z}$-algebra $\mathbb{Z}(X)$ presented by generators as in [And-Grana] with relations (4),(5), (6),( 5.3),(5.3),(13),(14).

Example 5.9**.**

*Let $(X,T,F)$ be a ternary $f$-quandle and $A$ be an abelian group.

Set $\eta_{x,y,z}=\tau_{x,y,z},\mu_{x,y,z}=0,\kappa_{x,y,z}=\phi(x,y,z)$.

Then $\phi$ is a $2$-cocycle. That is,*

[TABLE]

Example 5.10**.**

Let $\Gamma=\mathbb{Z}[P,Q,R]$ denote the ring of Laurent polynomials. Then any $\Gamma$-module $M$ is a $\mathbb{Z}(X)$-module for any ternary $f$-quandle $(X,T,F)$ by $\eta_{x,y,z}(a)=Pa$ ,$\tau_{x,y,z}(b)=Qb$ and $\mu_{x,y,z}(c)=Rc$ for any $x,y,z\in X$.

Definition 5.11**.**

*A set $G$ equipped with a ternary operator $T:G\times G\times G\to G$ is said to be a ternary group $(G,T)$ if it satisfies the following condition:

1. (i)

$T(T(x,y,z),u,v)=T(x,T(y,z,u),v)=T(x,y,T(z,u,v))$* (associativity),* 2. (ii)

$T(e,x,e)=T(x,e,e)=T(e,e,x)=x$* (existence of identity element),* 3. (iii)

$T(x,y,y)=T(y,x,y)=T(y,y,x)=e$* ( existence of inverse element).*

Example 5.12**.**

*Here we provide an example of a ternary $f$-quandle module and explicit formula of the ternary $f$-quandle $2$-cocycle obtained from a group $2$-cocycle. Let $G$ be a group and let $0\to A\to E\to G\to 1$ be a short exact sequence of groups where $E=A\rtimes_{\theta}G$ by a group $2$-cocycle $\theta$ and $A$ is an Abelian group.

The multiplication rule in $E$ given by $(a,x)\cdot(b,y)\cdot(c,z)=(a+x\cdot b+y\cdot c+\theta(x,y,z),T(x,y,z))$, where $x\cdot b$ means the action of $A$ on $G$. Recall that the group 3-cocycle condition is*

[TABLE]

Now, let $X=G$ be a ternary $f$-quandle with the operation $T(x,y,z)=f(xy^{-1}z)$ and let $g:A\rightarrow A$ be a map on $A$ so that we have a map $F:E\rightarrow E$ given by $F(a,x)=(g(a),f(x))$. Therefore the group $E$ becomes a ternary $f$-quandle with the operation

[TABLE]

Explicit computations give that $\eta_{x,y,z}(a)=g(a)$, $\tau_{x,y,z}(b)=-2xy^{-1}g(b)$, $\mu_{x,y,z}=y^{-1}g(c)$ and $\kappa_{x,y,z}=g[\theta(xy,y,y^{-1})-\theta(xy^{-1},y,y)+\theta(xy,y^{-1},y)+2\theta(x,y,e)-\theta(x,y^{2},y^{-1})-\theta(x,y^{-1},y^{2})+\theta(x,y^{-1},y)-\theta(x,y,y)-\theta(x,y,y^{-1})+\theta(x,y^{-1},z)]$.

6. Cohomology Theory of $n$-ary $f$-quandles

In this section we present a general cohomology for $n$-ary $f$-quandles, and include specific examples, including the generalized ternary case, and specific examples in both the ternary and binary case.

Let $(X,T,f)$ be a ternary $f$-rack where $f:X\to X$ is a ternary $f$-rack morphism. We will define the generalized cohomology theory of $f$-racks as follows:

For a sequence of elements $(x_{1},x_{2},x_{3},x_{4},\dots,x_{2p+1})\in X^{2p+1}$ define

[TABLE]

More generally, if we are considering an $n$-ary $f$-rack $(X,T,f)$, using the same notation $T$ for the $n$-ary operation, we define the bracket as follows:

[TABLE]

Notice that for $i=(p-1)j+1<n$, we have

[TABLE]

This relation is obtained by applying the first axiom of $f$-quandles $p-i$ times, first grouping the first $i-1$ terms together, then iterating this process, again grouping and iterating each.

We provide cohomology theory for the $f$-rack

Theorem 6.1**.**

Consider the free left $\mathbb{Z}(X)$-module $C_{p}(X)=\mathbb{Z}(X)X^{p}$ with basis $X^{p}$. For an abelian group $A$, denote $C^{p}(X,A):=Hom_{\mathbb{Z}(X)}(C_{p}(X),A)$, then the coboundary operators are defined as $\partial=\partial^{p}:C^{p+1}(X)\to C^{p}(X)$ such that

[TABLE]

*where $A(i)=x_{1},x_{2},...,\hat{x}_{(n-1)i},\hat{x}_{(n-1)i+1},...,\hat{x}_{(n-1)(i+1)},x_{n(i+1)-i},...,x_{(n-1)p+1},$

$B_{k}(i)=x_{(n-1)i+k},x_{(n-1)i+n+1},x_{(n-1)i+2},...,x_{(n-1)p+1},$

$C_{k}(i)=x_{k},x_{(n-1)i},x_{(n-1)i+1},...,x_{(n-1)i+n-2}.$*

Then the pair $(C(X),\partial)$ defines a cohomology complex.

Proof.

To prove that $\partial^{p+1}\partial^{p}=0$, and thus $\partial$ is a coboundary map we will break the composition into pieces, using the linearity of $\eta$ and $\tau^{i}$.

First we will show that the composition of the $i^{th}$ term of the first summand of $\partial^{p}$ with the $j^{th}$ term of the first summand of $\partial^{p+1}$ cancels with the $(j+1)^{th}$ term of the first summand of $\partial^{p}$ with the $i^{th}$ term of the first summand of $\partial^{p+1}$ for $i\leq j$. As the sign of these terms are opposite, we need only show that the compositions are equal up to their sign. For the sake of readability we will introduce the following, based on $A$ and $B$ above:

[TABLE]

[TABLE]

Now, we can see that the composition of the $i^{th}$ term of the first summand of $\partial^{p}$ with the $j^{th}$ term of the first summand of $\partial^{p+1}$ can be rewritten as follows:

[TABLE]

This is precisely the $(j+1)^{th}$ term of the first summand of $\partial^{p}$ with the $i^{th}$ term of the first summand of $\partial^{p+1}$.

Similar manipulations show that the composition of $\tau^{i}$ from $\partial^{p}$ with the $i^{th}$ term of the first sum of $\partial^{p+1}$ cancels with the composition of the $(i+1)^{th}$ term of the first sum of $\partial^{p}$ with $\tau^{i}$ from $\partial^{p+1}$. For the sake of brevity we will omit showing these manipulations, but the table below presents all relations which are canceled by similar manipulations.

In the table, $\eta_{i}$ represents the $i^{th}$ summand of the first sum, $\circ_{i}$ represents the $i^{th}$ summand of the second sum, with order of composition determining its origin in $\delta_{p}$ or $\delta_{p+1}$.

[TABLE]

All these relations leave $n+1$ remaining terms, which cancel via the third axiom from the Definition. ∎

We present the ternary case below, using the convention from the previous section, so $\tau$ and $\mu$ representing $\tau^{1}$ and $\tau^{2}$ respectively.

Example 6.2**.**

*By specializing $n=2$ in Theorem 6.1, the coboundary operator simplifies to: *

[TABLE]

*where $A=[x_{1},\dots,\hat{x}_{2i},\hat{x}_{2i+1},\dots,x_{2p+1}]$, $B=F^{\{i-1\}}[x_{2i},x_{2i+2},x_{2i+3},\dots,x_{2p+1}]$,

$C=F^{\{i-1\}}[x_{2i+1},x_{2i+2},\dots,x_{2p+1}]$.*

Specializing further in Example 6.2, we obtain the following result.

Example 6.3**.**

In this example, we compute the first and second cohomology groups of the ternary Alexander $f$-quandle $X=\mathbb{Z}_{3}$ with coefficients in the abelian group $\mathbb{Z}_{3}$. For the ternary $f$-quandle under consideration we have $P=2$, $Q=R=1$, that is $T(x_{1},x_{2},x_{3})=Px_{1}+Qx_{2}+Rx_{3}$ and $f(x)=(P+Q+R)x$ as in Example 2.11. Now, setting $\eta$ to be the multiplication by $P$, $\tau$ to be the multiplication by $Q$, and $\mu$ to be the multiplication by $R$, we have the $1$-cocycle condition for $\phi:X\to A$ given by

[TABLE]

and the 2-cocycle condition as

[TABLE]

A direct computation gives $H^{1}(X=\mathbb{Z}_{3},A=\mathbb{Z}_{3})$ is $2$-dimensional with basis $\{2\chi_{0}+\chi_{1},2\chi_{0}+\chi_{2}\}$. As such the $dim(Im(\delta_{1}))=1$, and additional calculation gives $dim(ker(\delta_{2}))=3$, thus $H^{2}$ is also $2$-dimensional.

Lastly we consider a binary case, obtaining, as expected, a familiar result.

Example 6.4**.**

Let $\eta$ be the multiplication by $T$ and $\tau$ be the multiplication by $S$ in Example 2.11. The $1$-cocycle condition is written for a function $\phi:X\rightarrow A$ as

[TABLE]

Note that this means that $\phi:X\rightarrow A$ is a quandle homomorphism.

For $\psi:X\times X\rightarrow A$, the $2$-cocycle condition can be written as

[TABLE]

In [CEGM], the groups $H^{1}$ and $H^{2}$ with coefficients in the abelian group $\mathbb{Z}_{3}$ of the $f$-quandle $X=\mathbb{Z}_{3}$, $T=1,S=2$ and $f(x)=0$ were computed. More precisely, $H^{1}(\mathbb{Z}_{3},\mathbb{Z}_{3})$ is $1$-dimensional with a basis $\chi_{1}+2\chi_{2}$ and $H^{2}$ is $1$-dimension with a basis $\{\chi_{(1,2)}-\chi_{(2,1)}\}.$