Wieslaw A. Dudek and Robert A. R. Monzo

# Pentagonal quasigroups, their translatability and parastrophes

Open Access
De Gruyter | Published online: May 3, 2021

# Abstract

Any pentagonal quasigroup Q is proved to have the product x y = φ ( x ) + y φ ( y ) , where ( Q , + ) is an Abelian group, φ is its regular automorphism satisfying φ 4 φ 3 + φ 2 φ + ε = 0 and ε is the identity mapping. All Abelian groups of order n < 100 inducing pentagonal quasigroups are determined. The variety of commutative, idempotent, medial groupoids satisfying the pentagonal identity ( x y x ) y x = y is proved to be the variety of commutative, pentagonal quasigroups, whose spectrum is { 1 1 n : n = 0 , 1 , 2 , } . We prove that the only translatable commutative pentagonal quasigroup is x y = ( 6 x + 6 y ) ( mod 11 ) . The parastrophes of a pentagonal quasigroup are classified according to well-known types of idempotent translatable quasigroups. The translatability of a pentagonal quasigroup induced by the group Z n and its automorphism φ ( x ) = a x is proved to determine the value of a and the range of values of n .

MSC 2010: 20N02; 20N05

## 1 Introduction

A latin square n × n is k -translatable if it is obtained by the following rule: if the first row is a 1 , a 2 , , a n , then the q th row is obtained from the ( q 1 ) -st row by taking the last k entries in the ( q 1 ) -st row and inserting them as the first k entries of the q th row and by taking the first n k entries of the ( q 1 ) -st row and inserting them as the last n k entries of the q th row, where q { 2 , 3 , , n } . An algebraic interpretation of translatable latin squares is translatable quasigroups.

Pentagonal quasigroups are medial idempotent quasigroups with a beautiful geometric interpretation. Any identity in the pentagonal quasigroup can be interpreted as a theorem of the Euclidean geometry which can be proved directly, but the theory of pentagonal quasigroups gives a better insight into the mutual relations of such theorems.

This paper was inspired by the work of Vidak in [1]. It is also a continuation of the ideas appearing in [2]. All results here follow from the main result, Theorem 2.1, which gives a new characterization of a pentagonal quasigroup ( Q , ) in terms of a regular automorphism φ on an Abelian group ( Q , + ) , where x y = φ ( x ) + y φ ( y ) , φ 4 φ 3 + φ 2 φ + ε = 0 and ε is the identity mapping on Q . We say then that ( Q , + ) induces the pentagonal quasigroup ( Q , ) .

Notice that x y = ( ε φ ) ( y ) + x ( ε φ ) ( x ) . The characterization of a pentagonal quasigroup ( Q , ) given by Vidak in [1] is that x y = ψ ( y ) + x ψ ( x ) for some automorphism ψ on an Abelian group ( Q , + ) , where ψ 4 3 ψ 3 + 4 ψ 2 2 ψ + ε = 0 . Now since, when φ 4 φ 3 + φ 2 φ + ε = 0 , ( ε φ ) 4 3 ( ε φ ) 3 + 4 ( ε φ ) 2 2 ( ε φ ) + ε = 0 , we can think of ψ as equal to ε φ .

In Theorem 3.3, we prove that a pentagonal quasigroup induced by the group Z n has the form x y = ( a x + ( 1 a ) y ) ( mod n ) , where ( a 4 a 3 + a 2 a + 1 ) = 0 ( mod n ) . Vidak’s identity gives the second component, namely, ψ ( x ) = ( 1 a ) x ( mod n ) .

As a consequence of our characterization, all Abelian groups of order n < 100 that induce pentagonal quasigroups are determined. Also, the variety of commutative, idempotent, medial groupoids satisfying the pentagonal identity ( x y x ) y x = y is proved in Corollary 3.10 to be the variety of commutative, pentagonal quasigroups, whose spectrum is { 1 1 n : n = 0 , 1 , 2 , } . The form of commutative pentagonal quasigroups is determined in Proposition 3.9 and as a corollary we prove that the only translatable commutative pentagonal quasigroup is x y = ( 6 x + 6 y ) ( mod 11 ) . In Theorem 4.2, we prove that the translatability of a pentagonal quasigroup induced by the group Z n and its automorphism φ ( x ) = a x determines the value of a and all the possible values of n . This characterizes translatable latin squares isotopic to the Cayley table of the cyclic group of order n .

Using results from [3] in the last table we classify the parastrophes of pentagonal quasigroups in terms of well-known types of idempotent translatable quasigroups and indirectly latin squares conjugates with an idempotent translatable latin square of certain types.

## 2 Existence of pentagonal quasigroups

All considered quasigroups are finite and have form Q = { 1 , 2 , , n } with the natural ordering, which is always possible by renumeration of elements. For simplicity, instead of ( x + y ) z ( mod n ) we write [ x + y ] n = [ z ] n . Also, in calculations modulo n we identify 0 with n .

According to [1] a quasigroup ( Q , ) is called pentagonal if it satisfies the following three identities:

(1) x x = x ,
(2) x y z u = x z y u ,
(3) ( x y x ) y x = y .

Let us recall that a mapping φ of a group ( Q , + ) onto ( Q , + ) is called regular if φ ( x ) = x holds only for x = 0 .

Below we present a full characterization of pentagonal quasigroups.

## Theorem 2.1

A groupoid ( Q , ) is a pentagonal quasigroup if and only if on Q one can define an Abelian group ( Q , + ) and its regular automorphism φ such that

(4) x y = φ ( x ) + ( ε φ ) ( y ) ,
(5) φ 4 φ 3 + φ 2 φ + ε = 0 ,
where ε is the identity automorphism.

## Proof

By the Toyoda theorem (see, for example, [4]), any quasigroup ( Q , ) satisfying (1) and (2) can be presented in the form (4), where ( Q , + ) is an Abelian group and φ is its automorphism. Applying this fact to (3) and putting y = 0 we obtain (5). From (5) it follows that the automorphism φ is regular.

Conversely, a groupoid ( Q , ) defined by (4), where φ is a regular automorphism of an Abelian group ( Q , + ) , is a quasigroup satisfying (1) and (2). Applying (5) to z = x y and using (4), after simple calculations, we obtain (3).□

This means that pentagonal quasigroups are isotopic to the group inducing them. Thus, pentagonal quasigroups are isotopic if and only if they are induced by isomorphic groups.

## Example 2.2

Let ( C , + ) be the additive group of complex numbers. Then φ ( z ) = z e π 5 i is a regular automorphism of ( C , + ) satisfying (5). Thus, by Theorem 2.1, the set of complex numbers with multiplication defined by (4) is an infinite pentagonal quasigroup.

As a consequence of the aforementioned theorem we obtain:

## Corollary 2.3

On a pentagonal quasigroup ( Q , ) one can define an Abelian group ( Q , + ) and its regular automorphism φ such that (4) holds and

φ 5 + ε = 0 and φ ε or φ = ε and exp ( Q , + ) = 5 ,
where ε is the identity automorphism.

## Corollary 2.4

A finite Abelian group inducing a pentagonal quasigroup is the direct product of cyclic groups of order 5 or has a regular automorphism of order 10.

The converse statement is not true. The automorphism φ ( x ) = [ 4 x ] 25 of the group Z 25 is regular and satisfies the aforementioned condition, but Z 25 with the multiplication x y = [ 4 x + 22 y ] 25 is not a pentagonal quasigroup.

The following lemma is obvious.

## Lemma 2.5

The direct product of pentagonal quasigroups is also a pentagonal quasigroup.

## Corollary 2.6

For every t there is a pentagonal quasigroup of order 5 t .

## Proof

For t = 0 it is trivial quasigroup. For t = 1 it is induced by the additive group Z 5 and has the form x y = [ 4 x + 2 y ] 5 . For t > 1 it is the direct product of t copies of the last quasigroup.□

## Proposition 2.7

If finite Abelian groups G 1 and G 2 have relatively prime orders, then any pentagonal quasigroup induced by the group G 1 × G 2 is the direct product of pentagonal quasigroups induced by groups G 1 and G 2 .

## Proof

If G 1 and G 2 have relatively prime orders, then, according to Lemma 2.1 in [5], Aut ( G 1 × G 2 ) Aut ( G 1 ) × Aut ( G 2 ) . So, each automorphism φ of G 1 × G 2 can be treated as an automorphism of the form φ = ( φ 1 , φ 2 ) , where φ 1 , φ 2 are automorphisms of G 1 and G 2 , respectively. Obviously, φ is regular if and only if φ 1 and φ 2 are regular. Moreover, φ satisfies (5) if and only if φ 1 and φ 2 satisfy (5). Thus, a pentagonal quasigroup induced by G 1 × G 2 is the direct product of pentagonal quasigroups induced by G 1 and G 2 .□

To determine Abelian groups that induce pentagonal quasigroups, we will need the following theorem proved in [5].

## Theorem 2.8

The Abelian group G = Z p α 1 × Z p α 2 × × Z p α m has

Aut ( G ) = k = 1 m ( p d k p k 1 ) j = 1 m ( p α j ) m d j i = 1 m ( p α i 1 ) m + 1 c i ,
where d k = max { l : α l = α k } and c k = min { l : α l = α k } .

## 3 Construction of pentagonal quasigroups

We start with the characterization of pentagonal quasigroups induced by Z n .

## Theorem 3.1

A groupoid ( Q , ) of order n > 2 is a pentagonal quasigroup induced by the group Z n if and only if there exist 1 < a < n such that ( a , n ) = ( a 1 , n ) = 1 , x y = [ a x + ( 1 a ) y ] n and

(6) [ a 4 a 3 + a 2 a + 1 ] n = 0 .

## Proof

Automorphisms of the group Z n have the form φ ( x ) = a x , where ( a , n ) = 1 . Since ε φ also is an automorphism, ( a 1 , n ) = 1 . Moreover, the equation ( a 1 ) x = 0 ( mod n ) has d = ( a 1 , n ) solutions (cf. [6]). So, ( a 1 , n ) = 1 means that the automorphism φ ( x ) = a x is regular. Theorem 2.1 completes the proof.□

## Theorem 3.2

If a regular automorphism φ of an Abelian group ( Q , + ) satisfies (5), then ( Q , ) , ( Q , ) and ( Q , ) with the operations

x y = φ 2 ( y x ) + y , x y = φ 3 ( x y ) + y , x y = φ 4 ( y x ) + y
are pentagonal quasigroups.

## Proof

If φ and ( Q , + ) are as in the assumption, then, by Theorem 2.1, ( Q , ) with the operation x y = φ ( x y ) + y is a pentagonal quasigroup. From Vidak’s results presented in [1] it follows that also ( Q , ) , ( Q , ) and ( Q , ) , where x y = y ( y x x ) x , x y = ( y x y ) x and x y = ( x y x ) y , are pentagonal quasigroups. Applying (4) and (5) to these operations we obtain our thesis.□

## Theorem 3.3

A pentagonal quasigroup induced by the group Z n has one of the following forms:

x y = [ a x + ( 1 a ) y ] n , x y = [ a 2 x + ( 1 + a 2 ) y ] n , x y = [ a 3 x + ( 1 a 3 ) y ] n , x y = [ a 4 x + ( 1 + a 4 ) y ] n ,
where 1 < a < n 1 satisfy ( 6) and ( a , n ) = ( a 1 , n ) = 1 .

When a = n 1 there is only one pentagonal quasigroup. It is induced by Z 5 and has the form x y = [ 4 x + 2 y ] 5 .

## Proof

Equation (6) has no more than four solutions, so Z n induces no more than four pentagonal quasigroups. Theorems 3.1 and 3.2 complete the proof for 1 < a < n 1 . The case a = n 1 is obvious.□

Note that for [ a + 1 ] n 0 the equation (6) implies [ a 5 + 1 ] n = 0 . Since it is also valid for a = 1 in a pentagonal quasigroup with x y = [ a x + ( 1 a ) y ] n we have

(7) [ a 5 ] n = n 1 .

## Proposition 3.4

Let ( Q , ) be a pentagonal quasigroup induced by the group Z n , where n > 5 . If m n , then ( Q , ) contains a pentagonal subquasigroup of order m .

## Proof

If m n , then the group Z n contains a subgroup isomorphic to Z m . Let x y = [ a x + ( 1 a ) y ] n . Since 1 < a < n 1 , ( a , n ) = ( a 1 , n ) = 1 , also ( a , m ) = ( a 1 , m ) = 1 and [ a 4 a 3 + a 2 a + 1 ] m = 0 . Let a = [ a ] m . Then, as it is not difficult to see, Z m with the multiplication x y = [ a x + ( 1 a ) y ] m is a pentagonal quasigroup.□

## Proposition 3.5

If an Abelian group G inducing a pentagonal quasigroup has an element of order k > 1 , then the number of such elements is greater than 3.

## Proof

An automorphism preserves the order of elements of G . So, if only one x G has order k > 1 , then φ ( x ) = x , which contradicts to the assumption on φ . If only two elements x y have order k > 1 , then φ ( x ) = y and φ 2 ( x ) = x . Using (5) we get 3 x = 2 y and 3 y = 2 x . Therefore, 2 x = 3 y = y + 3 x , which implies that x = y . But k ( 2 x ) = 2 ( k x ) = 0 . Also 2 x 0 or else x = x = y , a contradiction. Thus, 2 x has order k . Then 2 x = x or 2 x = y . The first case is impossible. In the second 2 x = y = 3 y implies 2 y = 0 , so y = y = x , a contradiction. Therefore, G has at least three elements of order k .

If G has three distinct elements x , y , z of order k > 1 , then φ ( x ) = y , φ 2 ( x ) = φ ( y ) = z , φ 3 ( x ) = φ ( z ) = x . Obviously, φ ( x ) x , because φ ( x ) = x implies x = φ 2 ( x ) = z , which is impossible. Thus, by Corollary 2.3, 0 = φ 5 ( x ) + x = z + x and 0 = φ ( z ) + φ ( x ) = x + y . So, x + z = x + y , a contradiction. Hence, G has more than three elements of order k > 1 .□

## Corollary 3.6

Abelian groups of order n , where

1. (i)

2 n and 4 n or

2. (ii)

3 n and 9 n or

3. (iii)

4 n and 8 n ,

do not induce pentagonal quasigroups.

## Proof

In the first case, a group has one element of order 2; in the second – two elements of order 3; in third case – one or three elements of order 2.□

## Theorem 3.7

A finite pentagonal quasigroup has order 5 s or 5 s + 1 .

## Proof

Suppose that a pentagonal quasigroup ( Q , ) is induced by the group ( Q , + ) , where Q = { 0 , e 2 , e 3 , , e n } . Each automorphism ψ of this group can be identified with a permutation φ of the set { e 2 , e 3 , , e n } . Each such permutation is a cycle or can be decomposed into disjoint cycles. Since, by Corollary 2.3, φ 2 = ε or φ 10 = ε , a permutation φ can be decomposed into disjoint cycles of the length 2, 5 or 10. If φ contains a cycle of the length 2, then for some e i Q we have φ ( e i ) = e j e i and φ 2 ( e i ) = e i . If e j e i , then by Corollary 2.3, e i = φ 5 ( e i ) = φ ( e i ) , a contradiction. Thus, e j = e i and consequently 5 e i = 0 , by (5). So, in this case 5 is a divisor of n . Hence, if φ is decomposed into k cycles of the length 2, then ( Q , + ) has the order n = 2 k + 1 = 5 t . Since t must be odd, we see that in this case n = 10 s + 5 .

If φ contains a cycle of the length 5, then for some e i Q we have φ 5 ( e i ) = e i and φ ( e i ) e i . This, by Corollary 2.3, implies 2 e i = 0 . Thus, 2 is a divisor of n and n > 5 . Moreover, each element of this cycle has order 2. Therefore, in the case when φ is decomposed into disjoint cycles of the length 5, the group ( Q , + ) has 5 s + 1 elements and all non-zero elements have order 2. So, ( Q , + ) is the direct product of copies of Z 2 . Thus, n = 2 k = 5 t + 1 . So, t is odd and, as in the previous case, n = 10 s + 6 . If φ is decomposed into cycles of the length 10, then obviously n = 10 s + 1 .

Now, if φ is decomposed into cycles of the length 2 and 5, then 10 divides n . Thus, n = 10 s . If φ is decomposed into p > 0 cycles of the length 2 and q > 0 cycles of the length 10, then n = 2 p + 10 q + 1 and 5 divides n . Hence, n = 10 s + 5 . If φ is decomposed into p > 0 cycles of the length 5 and q > 0 cycles of the length 10, then n = 5 p + 10 q + 1 and 2 divides n . Hence, n = 10 s + 6 . Finally, if φ is decomposed into p > 0 cycles of the length 2, q > 0 cycles of the length 5 and r cycles of the length 10, then n = 2 p + 5 q + 10 r + 1 and 5 divides n . Hence, n = 10 s + 5 .□

## Corollary 3.8

The smallest pentagonal quasigroup is induced by the group Z 5 and has the form x y = [ 4 x + 2 y ] 5 .

## Proof

Indeed, by Theorem 3.7, Z 5 is the smallest group that can be used in the construction of a pentagonal quasigroup. In this group only a = 4 satisfies (6). Thus, the multiplication of this quasigroup is defined by x y = [ 4 x + 2 y ] 5 .□

## Proposition 3.9

A groupoid ( Q , ) is a commutative pentagonal quasigroup if and only if there exists an Abelian group ( Q , + ) of exponent 11 such that x y = 6 x + 6 y for all x , y Q .

## Proof

By Theorem 2.1 for a commutative pentagonal quasigroup there exists an Abelian group ( Q , + ) and its automorphism φ such that φ = ε φ . Thus, ε = 2 φ . This, by (5), gives φ ( φ 3 φ 2 + φ + ε ) = 0 . Therefore, φ ( φ 2 φ + 3 ε ) = 0 , and consequently, φ 2 + 5 φ = 0 , so φ + 5 ε = 0 . Hence, 11 φ = 0 . Thus, 11 x = 0 for each x Q . Moreover, from 11 φ = 0 we obtain φ ( x ) = 10 φ ( x ) = 5 x = 6 x and ( ε φ ) ( x ) = x 6 x = 5 x = 6 x . So, exp ( Q , + ) = 11 and x y = 6 x + 6 y for all x , y Q .

The converse statement is obvious.□

## Corollary 3.10

The variety of commutative, idempotent, medial groupoids satisfying the pentagonal identity is the variety of commutative, pentagonal quasigroups, whose spectrum is { 1 1 n : n = 0 , 1 , 2 , } .

## Proof

It follows from Proposition 3.9 that the spectrum of the variety of commutative pentagonal quasigroups is { 1 1 n : n = 0 , 1 , 2 , } . So, we need to only prove that a commutative, idempotent, medial groupoid ( Q , ) satisfying the pentagonal identity is a quasigroup. Let a , b Q . Then the pentagonal identity ensures that the equations x a = b and a x = b have a solution x = ( a b a ) b . Suppose that z a = b . Then z = ( a z a ) z a = ( b a z ) a = ( a b z ) a a = ( a b a ) b = x and the solution is unique.□

## 4 Translatable pentagonal quasigroups

Recall a quasigroup ( Q , ) , with Q = { 1 , 2 , , n } and 1 k < n , is k -translatable if its multiplication table is obtained by the following rule: if the first row of the multiplication table is a 1 , a 2 , , a n , then the q -th row is obtained from the ( q 1 ) -st row by taking the last k entries in the ( q 1 ) -st row and inserting them as the first k entries of the q -th row and by taking the first n k entries of the ( q 1 ) -st row and inserting them as the last n k entries of the q th row, where q { 2 , 3 , , n } . The multiplication in a k -translatable quasigroup is given by the formula i j = [ i + 1 ] n [ j + k ] n = a k k i + j n (cf. [2,7] or [3]). Moreover, Lemma 9.1 in [7] shows that a quasigroup of the form x y = [ a x + b y ] n is k translatable only for k such that [ a + k b ] n = 0 . Thus, a pentagonal quasigroup induced by Z n can be k -translatable only for k { 2 , 3 , , n 2 } .

## Theorem 4.1

Every pentagonal quasigroup induced by Z n is k -translatable for some k > 1 such that ( k , n ) = 1 . If it has the form x y = [ a x + ( 1 a ) y ] n , then is k -translatable for k = [ 1 a 3 a ] n .

## Proof

Indeed, by Theorem 3.3, x y = [ a x + ( 1 a ) y ] n and [ a 4 a 3 + a 2 a + 1 ] n = 0 . Thus, [ a + ( a 3 a + 1 ) ( 1 a ) ] n = 0 , which, by Lemma 9.1 from [7], means that this quasigroup is k -translatable. Since k + n t = 1 a ( a 2 + 1 ) = a 2 ( a 2 + 1 ) and ( a , n ) = 1 , each prime divisor of k and n is a divisor of a , which is impossible. So, ( k , n ) = 1 .□

## Theorem 4.2

A groupoid ( Q , ) of order n is a k -translatable pentagonal quasigroup, k > 1 , if and only if it is of the form x y = [ a x + ( 1 a ) y ] n , where

(8) n m = k 4 2 k 3 + 4 k 2 3 k + 1 and a = [ k 3 + k 2 3 k + 1 ] n .

## Proof

Suppose that ( Q , ) is a k -translatable pentagonal quasigroup of order n . By Theorem 4.2 of [3] and Lemma 9.1 of [7] it is of the form x y = [ a x + ( 1 a ) y ] n and [ a + ( 1 a ) k ] n = 0 , where 1 < a < n , ( a , n ) = ( a 1 , n ) = 1 . Thus,

(9) [ a + k ] n = [ k a ] n and k = [ ( k 1 ) a ] n .
By Theorem 4.1, k = [ 1 a 3 a ] n . Therefore, [ a 3 ] n = [ 1 a k ] n . So,
(10) [ k a 3 ] n = [ k k a k 2 ] n = [ a k 2 ] n .
By ( 7), we also have [ a 5 ] n = [ 1 ] n . Thus,
[ k a 3 ] n = ( 9 ) [ ( k 1 ) a 4 ] n , [ k a 4 ] n = [ 1 k ] n , [ k a ] n = [ ( k 1 ) a 2 ] n , [ k a 2 ] n = [ ( k 1 ) a 3 ] n .
Therefore, using pentagonality and the aforementioned identities, we obtain
0 = [ ( k 1 ) ( a 4 a 3 + a 2 a + 1 ) ] n = [ ( k 1 ) a 4 ( k 1 ) a 3 + ( k 1 ) a 2 ( k 1 ) a + ( k 1 ) ] n = [ k a 3 a 2 1 ] n = ( 9 ) [ a k 2 a 2 1 ] n .
Hence, [ a 2 ] n = [ a k 2 1 ] n , and as a consequence
[ a + k ] n = [ k a ] n = [ ( k 1 ) a 2 ] n = [ ( k 1 ) ( a k 2 1 ) ] n = [ k 3 + k 2 2 k + 1 ] n ,
which implies the second equation of ( 8).

The first equation follows from the fact that

0 = [ a + k k a ] n = [ k 4 2 k 3 4 k 2 3 k + 1 ] n .

Conversely, let ( Q , ) be a groupoid of order n > 1 with x y = [ a x + ( 1 a ) y ] n , where n and a are as in (8). Then ( a , n ) = ( a 1 , n ) = 1 . Indeed, each a prime divisor p of a and n is a divisor of m a = k 2 ( k 2 k + 3 ) . If p k , then, by (8), p 1 , a contradiction. So, p ( k 2 k + 3 ) and p n , but then p k ( k 2 k + 3 ) = 1 a . This is also impossible. Hence, ( a , n ) = 1 . Similarly, ( a 1 , n ) = 1 . Thus, 1 < a < n and, as a consequence, ( Q , ) is a quasigroup. Since [ a + k ( 1 a ) ] n = 0 , by Lemma 9.1 from [7], it is k -translatable. This implies (9).

Now, using (9) and (8), we obtain

(11) [ k 2 a ] n = [ k ( k a ) ] n = [ k ( k + a ) ] n = [ k 2 + k + a ] n = ( 8 ) [ k 3 + 2 k 2 2 k + 1 ] n
and
[ k 2 a 2 ] n = [ ( k 2 a ) a ] n = ( 11 ) [ k 2 ( k + a ) + 2 k ( k + a ) 2 k a + a ] n = [ k 3 k 2 a + 2 k 2 + a ] n = ( 11 ) [ k 3 k 2 k a + 2 k 2 + a ] n = [ k 3 + k 2 k ] n .
That is,
[ k 2 a 2 ] n = [ k 3 + k 2 k ] n and [ k 3 a 2 ] n = [ k 4 + k 3 k 2 ] n .
Then
[ a 2 ] n = ( 8 ) [ k k 2 a + k 2 a 3 k a + a ] n = ( 10 ) , ( 9 ) [ ( k 4 2 k 3 + 2 k 2 k ) + ( k 3 + 2 k 2 2 k + 1 ) + ( 3 k 3 a + a ) ] n = ( 8 ) [ k 3 3 k 2 a ] n = ( 8 ) [ k 3 2 k 2 + 3 k 2 ] n .
Consequently,
[ k a 2 ] n = [ k 4 2 k 3 + 3 k 2 2 k ] n = ( 8 ) [ k 2 + k 1 ] n .
Now, using the aforementioned identities, we obtain
[ a 3 ] n = [ k 3 a 2 + k 2 a 2 3 k a 2 + a 2 ] n = [ k 3 k 2 + 2 k ] n = ( 8 ) [ 1 a k ] n .
Therefore, [ a 4 ] n = [ a a 2 a k ] n and
[ a 4 a 3 + a 2 a + 1 ] n = [ 1 a k a 3 ] n = [ a + k ( 1 a ) ] n = 0 ,
which, by Theorem 3.3, shows that ( Q , ) is a pentagonal quasigroup.□

## Corollary 4.3

For every k > 1 there exists at least one k -translatable pentagonal quasigroup.

## Proof

One k -translatable pentagonal quasigroup is defined by Theorem 4.2. In this quasigroup a and n are as in (8). If m is a divisor of n and a = [ b ] n , then a = [ b ] m . Thus, ( Z m , ) with x y = [ a x + ( 1 a ) y ] m , a = [ k 3 + k 2 3 k + 1 ] m , also is a k -translatable pentagonal quasigroup.□

According to Theorem 4.2 for k = 2 , we have n = m = 11 and a = 2 . So for k = 2 there is only one k -translatable pentagonal quasigroup induced by Z n . It has the form x y = [ 2 x + 10 y ] 11 . For k = 3 , m = 55 , a = [ 29 ] n and n m , there are three k -translatable pentagonal quasigroups induced by Z n . They have the form: x y = [ 29 x + 27 y ] 55 , x y = [ 7 x + 5 y ] 11 and x y = [ 4 x + 2 y ] 5 . Other calculations for k 20 are presented as follows:

 k x ⋅ y 2 [ 2 x + 10 y ] 11 3 [ 4 x + 2 y ] 5 , [ 7 x + 5 y ] 11 , [ 29 x + 27 y ] 55 4 [ 122 x + 60 y ] 181 5 [ 347 x + 115 ] 461 6 [ 794 x + 198 y ] 991 7 [ 27 x + 5 y ] 31 , [ 52 x + 10 y ] 61 , [ 1577 x + 315 ] 1891 8 [ 190 x + 472 y ] 661 , [ 2834 x + 472 y ] 3305 9 [ 8 x + 4 y ] 11 , [ 308 x + 184 y ] 491 , [ 4727 x + 675 y ] 5401 10 [ 6 x + 6 y ] 11 , [ 593 x + 169 y ] 761 , [ 7442 x + 930 y ] 8371 11 [ 29 x + 3 y ] 31 , [ 362 x + 40 ] 401 , [ 11189 x + 1243 y ] 12431 12 [ 14 x + 58 y ] 71 , [ 138 x + 114 y ] 251 , [ 16202 x + 1620 y ] 17821 13 [ 25 x + 17 y ] 41 , [ 24 x + 32 y ] 55 , [ 112 x + 10 y ] 121 , [ 189 x + 17 y ] 205 , [ 354 x + 252 y ] 605 , [ 189 x + 2067 y ] 2255 , [ 2895 x + 2067 y ] 4961 , [ 22739 x + 2076 ] 24805 14 [ 472 x + 2590 y ] 3061 , [ 31082 x + 2590 y ] 33671 15 [ 4 x + 38 y ] 41 , [ 79 x + 1013 y ] 1091 , [ 41537 x + 3195 y ] 44731 16 [ 54434 x + 3888 y ] 58321 17 [ 42 x + 90 y ] 131 , [ 465 x + 107 y ] 571 , [ 70127 x + 4675 y ] 74801 18 [ 13350 x + 5562 y ] 18911 , [ 88994 x + 5562 y ] 94555 19 [ 111437 x + 6555 y ] 117991 20 [ 17 x + 85 y ] 101 , [ 70 x + 62 y ] 131 , [ 118 x + 994 y ] 1111 , [ 987 x + 455 y ] 1441 , [ 5572 x + 7660 y ] 13231 , [ 137882 x + 7660 y ] 145541

Let Z 11 be the pentagonal quasigroup with the multiplication x y = [ 6 x + 6 y ] 11 . By the aforementioned result, a finite commutative pentagonal quasigroup is the direct product of m copies of Z 11 but for m > 1 , as it is shown below, they are not translatable.

## Theorem 4.4

Z 11 is the only translatable commutative pentagonal quasigroup.

## Proof

Let ( Q , ) be a commutative pentagonal quasigroup. By definition, an infinite quasigroup cannot be translatable. So, ( Q , ) must be finite. By Proposition 3.9 its order is n = 1 1 m .

If m = 1 , then, by Proposition 3.9, the multiplication of ( Q , ) has the form x y = [ 6 x + 6 y ] 11 . From the multiplication table of this quasigroup, it follows that it is k -translatable for k = 10 = n 1 . So, for m = 1 , our theorem is valid.

Now let m > 1 and ( Q , ) be ( n 1 ) -translatable. According to Lemma 2.7 in [2], we can assume that Q is ordered in the following way: x ( 1 ) , x ( 2 ) , x ( 3 ) , , x ( n ) , where x ( 1 ) = ( 1 , 0 , 0 , , 0 ) . Then the multiplication table of ( Q , ) has the following form:

 ⋅ x ( 1 ) x ( 2 ) x ( 3 ) … … x ( n ) x ( 1 ) x ( 1 ) ⋅ x ( 1 ) x ( 1 ) ⋅ x ( 2 ) x ( 1 ) ⋅ x ( 3 ) … … x ( 1 ) ⋅ x ( n ) x ( 2 ) x ( 2 ) ⋅ x ( 1 ) x ( 2 ) ⋅ x ( 2 ) x ( 2 ) ⋅ x ( 3 ) … … x ( 2 ) ⋅ x ( n ) x ( 3 ) x ( 3 ) ⋅ x ( 1 ) x ( 3 ) ⋅ x ( 2 ) x ( 3 ) ⋅ x ( 3 ) … … x ( 3 ) ⋅ x ( n ) … … … … … … … … … … … … … … … … … … … … … … … …

Since ( Q , ) is ( n 1 ) -translatable, x ( 2 ) x ( t ) = x ( 1 ) x ( t + 1 ) for all t Z n .

Let x ( 2 ) = ( a 1 , a 2 , , a m ) . We will prove by induction that

x ( t + 1 ) = ( t a 1 ( t 1 ) , t a 2 , t a 3 , , t a m ) t Z n .
The induction hypothesis is clearly true, by definition, for t = 1 . Assume that the induction hypothesis is true for all s t . Then
x ( t ) = ( ( t 1 ) a 1 ( t 2 ) , ( t 1 ) a 2 , ( t 1 ) a 3 , , ( t 1 ) a m ) .

Suppose that x ( t + 1 ) = ( z 1 , z 2 , z 3 , , z m ) . Since x ( 2 ) x ( t ) = x ( 1 ) x ( t + 1 ) , we have 6 x ( 2 ) + 6 x ( t ) = 6 x ( 1 ) + 6 x ( t + 1 ) . The last expression means that

( 6 a 1 + 6 ( t 1 ) a 1 6 ( t 2 ) , 6 t a 2 , 6 t a 3 , , 6 t a m ) = ( 6 + 6 z 1 ( t ) , 6 z 2 ( t ) , 6 z 3 ( t ) , , 6 z m ( t ) ) .
Hence, 6 z 1 ( t ) = 6 ( t a 1 ( t 1 ) ) , which implies z 1 ( t ) = t a 1 ( t 1 ) . Also z s ( t ) = t a s for all s = 2 , 3 , , m . So, x ( t + 1 ) = ( t a 1 ( t 1 ) , t a 2 , t a 3 , , t a m ) , as required.

Now, x ( 12 ) = ( 11 a 1 10 , 11 a 2 , 11 a 3 , , 11 a m ) = ( 10 , 0 , 0 , , 0 ) = x ( 1 ) , a contradiction because all x ( 1 ) , x ( 2 ) , x ( 3 ) , , x ( n ) are different. So, for m > 1 a quasigroup ( Q , ) cannot be ( n 1 ) -translatable.□

Suppose that ( G , ) is a commutative pentagonal quasigroup and a , b are two distinct elements of G . Then it is straighforward to prove that a and b generate the subquasigroup

a , b = { a , b , a b , a b a , b a b , a b a a , a b a b , b a b a , b a b b , ( a b a a ) b , ( b a b b ) a }
and that a , b is isomorphic to Z 11 . Then we take c a , b , if c exists.

## Lemma 4.5

a , b b , c = { b } .

## Proof

From the multiplication table of Z 11 we see that any two distinct elements generate Z 11 . Hence, a , b b , c cannot contain b and another element of a , b b , c , or else c a , b = b , c , a contradiction.□

## Theorem 4.6

H = a , b b , c is a commutative pentagonal subquasigroup of ( G , ) isomorphic to Z 11 × Z 11 .

## Proof

Since ( G , ) is medial, ( a , b b , c ) ( a , b b , c ) a , b b , c . Note that a , b a , b b a , b b , c and b , c b b , c a , b b , c . Hence, the commutative pentagonal quasigroup H = a , b b , c a , b { c } has more than 11 elements and less than or equal to 121 elements. Therefore, as we have already seen, H has 121 elements and is isomorphic to Z 11 × Z 11 . This completes the proof.□

## Corollary 4.7

Z 11 × Z 11 is generated by three distinct elements.

## Corollary 4.8

If x y = z w a , b b , c , then x = z and y = w .

## Corollary 4.9

If d a , b b , c , then ( a , b b , c ) b , d is a commutative pentagonal quasigroup of order 1 1 3 and is isomorphic to Z 11 × Z 11 × Z 11 .

## Corollary 4.10

Z 11 × Z 11 × Z 11 is generated by four distinct elements.

## Corollary 4.11

The direct product of n copies of Z 11 is generated by n + 1 distinct elements.

## 5 Groups inducing pentagonal quasigroups

Pentagonal quasigroups are very large. Using Theorem 4.2 we can determine all pentagonal quasigroups induced by Z n . Below we present several such quasigroups. For a = 3 there is only one such quasigroup. It is induced by the group Z 61 . Its multiplication is defined by x y = [ 3 x 2 y ] 61 = [ 3 x + 59 y ] 61 . This quasigroup is 32-translatable. For a = 4 there are three such quasigroups. They are induced by Z 5 , Z 41 , Z 205 and are 3-, 15-, 138-translatable, respectively.

 a 2 3 4 5 6 7 8 9 n 11 61 5, 41, 205 521 11, 101, 1111 11, 191, 2101 11, 331, 3641 1181, 5905 k 2 32 3, 15, 138 392 10, 82, 890 3, 33, 1752 9, 143, 3122 444, 5168
 a 10 11 12 13 14 15 16 n 9091 13421 19141 2411 71, 101, 355, 505, 7171, 35855 31, 1531, 47461 61681 k 8082 12080 17402 202 83, 71, 83, 273, 4414, 33098 21, 1204, 44072 57570
 a 17 18 19 20 n 71, 101, 781, 1111, 7171, 78881 9041, 99451 55, 2251, 11255, 24761, 123805 152381 k 41, 19, 538, 625, 2242, 73952 3192, 93602 53, 2127, 4378, 17884, 116928 144362
 a 21 22 23 24 n 185641 224071 31, 41, 211, 1271, 6541, 8651, 268181 55, 5791, 28955, 63701, 318505 k 176360 213402 25, 28, 48, 521, 893, 5113, 255992 13, 2267, 15108, 49854, 304658

The aforementioned table shows that from groups Z n for n < 24 only groups Z 5 and Z 11 determine pentagonal quasigroups. To determine other groups of order n < 100 inducing pentagonal quasigroups observe that from Corollary 2.3 and Theorem 3.7 it follows that an Abelian group inducing a pentagonal quasigroup is the direct product of several copies of the group Z 5 or has a regular automorphism φ ε of order 10. Observe that from Proposition 2.7, Corollary 3.6, Theorem 3.7 and the above table the possible values of n < 100 are n { 5 , 11 , 16 , 25 , 31 , 40 , 41 , 45 , 55 , 56 , 61 , 71 , 80 , 81 } .

For n = 5 we have one pentagonal quasigroup, and for n = 11 there are four such quasigroups (see the aforementioned table). For n = 16 we have five Abelian groups of order 16: Z 16 , Z 2 × Z 8 , Z 2 × Z 2 × Z 4 , Z 4 × Z 4 and Z 2 4 . From the aforementioned table it follows that the group Z 16 does not induce any pentagonal quasigroup. Groups Z 2 × Z 8 , Z 2 × Z 2 × Z 4 , Z 4 × Z 4 do not have automorphisms of order 10 (Theorem 2.8), so they cannot be considered as a group inducing pentagonal quasigroups. The group Z 2 4 can be treated as a vector space V over Z 2 . Then, by Corollary 2.3, automorphisms φ interesting for us are linear endomorphisms of V for which λ = 1 is an eigenvalue of φ 5 . From these endomorphisms we select those satisfying (5). There is 1,344 such endomorphisms, so the group Z 2 4 induces 1,344 pentagonal quasigroups.

The group Z 25 has four elements of order 5, namely, 5, 10, 15 and 20. Thus, φ ( 5 ) { 10 , 15 , 20 } . Therefore, φ restricted to the set { 5 , 10 , 15 , 20 } has the form φ ( x ) = a x , where a { 2 , 3 , 4 } , but such φ does not satisfy (5). Hence, Z 25 does not induce a pentagonal quasigroup. The group Z 5 × Z 5 induces 24 pentagonal quasigroups. These quasigroups are induced by matrices

A 0 1 4 3 , 0 2 2 3 , 0 3 3 3 , 0 3 1 2 , 0 4 1 3 , 4 0 1 4
and A 2 , A 3 , A 4 .

Pentagonal quasigroups of order 31 are induced by the group Z 31 . They are determined by an automorphism φ ( x ) = a x , where a { 15 , 23 , 27 , 29 } (see table below).

From Abelian groups of order 40 the groups Z 40 , Z 2 × Z 20 and Z 4 × Z 10 have one or three elements of order 2, so they cannot induce pentagonal quasigroups. In the group Z 2 × Z 2 × Z 10 only elements ( 0 , 0 , 2 ) , ( 0 , 0 , 4 ) , ( 0 , 0 , 6 ) , ( 0 , 0 , 8 ) have order 5. Thus, φ ( 0 , 0 , 2 ) { ( 0 , 0 , 4 ) , ( 0 , 0 , 6 ) , ( 0 , 0 , 8 ) } . But then φ 5 ( 0 , 0 , 2 ) + ( 0 , 0 , 2 ) ( 0 , 0 , 0 ) , a contradiction. Therefore, there are no pentagonal quasigroups of order 40.

Pentagonal quasigroups of order 41 can be calculated by solution of the equation (6) or (7). The solutions are a = 4 , 23 , 25 , 31 . So there are four such quasigroups.

For n = 45 there are two Abelian groups: Z 45 and Z 3 × Z 15 . The first group has two elements of order 3, so by Proposition 3.5 it cannot induce pentagonal quasigroups. The second group has four elements of order 5. The smallest is ( 0 , 3 ) . Thus, φ ( 0 , 3 ) = ( 0 , 3 a ) for a = 2 , 3 , 4 . But then φ 5 ( 0 , 3 ) + ( 0 , 3 ) ( 0 , 0 ) . Thus, pentagonal quasigroups of order 45 do not exist.

For n = 55 there exists only one Abelian group: Z 55 . Its automorphisms have form φ ( x ) = a x , where ( a , 55 ) = 1 . The automorphisms inducing pentagonal quasigroups should satisfy (7). It is easily to see, that for k = 0 , 1 , 2 , , 9 the last digit of k 5 is k . So, for a = m k the last digit of a 5 is also k . Since a 5 + 1 must be divided by 5, a = m 4 or a = m 9 . The aforementioned table shows that the smallest possible value of a is 19. Because 44 is divided by 11, 4 4 5 + 1 cannot be divided by 11. Thus, 44 should be omitted. Also, 54 = ( 1 ) ( mod 55 ) should be omitted. By direct calculation we can see that from other a < 54 acceptable are 24, 29 and 39. Hence, there are four pentagonal quasigroups of order 55. They are isomorphic to the direct product of pentagonal quasigroups induced by Z 5 and Z 11 .

From Abelian groups of order 56 groups Z 56 , Z 2 × Z 28 , Z 4 × Z 14 have one or three elements of order 2. Thus, they cannot induce pentagonal quasigroups. The group Z 2 × Z 2 × Z 14 has six elements of order 7. In the same manner as in the case of groups of order 45, we can prove that this group cannot induce pentagonal quasigroups.

Pentagonal quasigroups of prime orders 61 and 71 can be calculated in the same way as for n = 41 . Results are presented in the table below.

An Abelian group G of order 80 can be decomposed into the direct product of two groups H and Z 5 , where H is a group of order 16. From groups of order 16 only Z 2 4 induces pentagonal quasigroups. So, by Proposition 2.7, from groups of order 81 only Z 2 4 × Z 5 induces pentagonal quasigroups. We have 1,344 such quasigroups.

The group Z 81 has only two elements of order 2, so, by Proposition 3.5, this group cannot be inducing group for a pentagonal quasigroup. Theorem 2.8 shows that from other Abelian groups of order 81 only the group Z 3 4 can have an automorphism of order 10. Using a computer software we calculate 303,264 of such automorphisms satisfying (5). So, Z 3 4 induces 303,264 pentagonal quasigroups.

In this way, we have proved the following:

## Theorem 5.1

The groups of order n < 100 that induce pentagonal quasigroups are Z 5 , Z 11 , Z 2 4 , Z 5 2 , Z 31 , Z 41 , Z 55 , Z 61 , Z 71 , Z 2 4 × Z 5 and Z 3 4 .

For n < 100 pentagonal quasigroups induced by Z n are as follows:

 n = 5 4 x + 2 y n = 11 2 x + 10 y 6 x + 6 y 7 x + 5 y 8 x + 4 y n = 31 15 x + 17 y 23 x + 9 y 27 x + 5 y 29 x + 3 y n = 41 4 x + 38 y 23 x + 19 y 25 x + 17 y 31 x + 11 y n = 55 19 x + 37 y 24 x + 32 y 29 x + 27 y 39 x + 17 y n = 61 3 x + 59 y 27 x + 35 y 41 x + 21 y 52 x + 10 y n = 71 14 x + 58 y 17 x + 55 y 46 x + 26 y 66 x + 6 y

## 6 Parastrophes of pentagonal quasigroups

Each quasigroup ( Q , ) determines five new quasigroups Q i = ( Q , i ) with the operations i defined as follows:

x 1 y = z x z = y , x 2 y = z z y = x , x 3 y = z z x = y , x 4 y = z y z = x , x 5 y = z y x = z .
Such defined (not necessarily distinct) quasigroups are called parastrophes or conjugates of Q .

Parastrophes of each quasigroup can be divided into separate classes containing isotopic parastrophes. The number of such classes is always 1, 2, 3 or 6 (cf. [8]). In some cases (described in [9]), parastrophes of a given quasigroup Q are pairwise equal. Parastrophes do not save properties of the initial quasigroup. Parastrophes of an idempotent quasigroup are idempotent quasigroups, but parastrophes of a pentagonal quasigroup are not pentagonal quasigroups, in general.

Let ( Q , ) be a pentagonal quasigroup induced by the group Z n . Then x y = [ a x + ( 1 a ) y ] n and [ a 4 a 3 + a 2 a + 1 ] n = 0 . Such quasigroup is k -translatable for k = [ 1 a 3 a ] n . Since [ a ( 1 a + a 2 a 3 ) ] n = 1 = [ ( 1 a ) ( a 3 + a ) ] n , from Theorems 5.1 and 5.3 in [3] we obtain the following characterization of parastrophes of pentagonal quasigroups.

## Proposition 6.1

If ( Q , ) is a pentagonal quasigroup with multiplication x y = [ a x + ( 1 a ) y ] n , then its parastrophe

x 1 y = [ ( 1 a 3 a ) x + ( a 3 + a ) y ] n is k - translatable for k = a , x 2 y = [ a 4 x + ( a 4 + 1 ) y ] n is k - translatable for k = [ a 3 + a ] n , x 3 y = [ ( a 4 + 1 ) x + ( a 4 ) y ] n is k - translatable for k = [ 1 a ] n , x 4 y = [ ( a 3 + a ) x + ( 1 a a 3 ) y ] n is k - translatable for k = [ a 4 ] n , x 5 y = [ ( 1 a ) x + ( a ) y ] n is k - translatable for k = [ a 4 + 1 ] n .

Using Proposition 6.1 we can show for which values of a and n parastrophes of a pentagonal quasigroup with the multiplication x y = [ a x + ( 1 a ) y ] n are pentagonal, quadratical ( x y x = z x y z ), hexagonal ( x y x = y ), GS-quasigroups ( x ( x y z ) z = y ), ARO-quasigroups ( x y y = y x x ), Stein quasigroups ( x x y = y x ), right modular ( x y z = z y x ) and C3 quasigroups ( ( x y y ) y = x ).

We start with the lemma that is a consequence of our results proved in [3].

## Lemma 6.2

Let ( Q , ) be a quasigroup of the form x y = [ a x + ( 1 a ) y ] n . Then

• [ 2 a 2 2 a + 1 ] n = 0 if it is quadratical (Theorem 4.8 in [10]),

• [ a 2 a + 1 ] n = 0 if it is hexagonal,

• [ a 2 a 1 ] n = 0 if it is a G S -quasigroup,

• [ 2 a 2 ] n = 1 if it is an A R O -quasigroup,

• [ a 2 3 a + 1 ] n = 0 if it is a Stein quasigroup,

• [ a 2 + a 1 ] n = 0 if it is right modular,

• [ a 3 ] n = 1 if it is a C 3 quasigroup.

Using the aforementioned characterization and the fact that a quasigroup of the form x y = [ a x + ( 1 a ) y ] n is k -translatable if and only if [ a + ( 1 a ) k ] n = 0 (cf. [2,7] or [3]) we obtain:

## Lemma 6.3

A quasigroup of the form x y = [ a x + ( 1 a ) y ] n is

• [ 1 2 a ] n -translatable if and only if it is quadratical,

• [ 1 a ] n -translatable if and only if it is hexagonal,

• [ a + 1 ] n -translatable if and only if it is a G S -quasigroup,

• [ 2 a 1 ] n -translatable if and only if if it is an A R O -quasigroup,

• [ a 1 ] n -translatable if and only if it is a Stein quasigroup,

• [ 1 a ] n -translatable if and only if it is right modular.

A C 3 quasigroup is k - translatable for k such that [ ( 1 a 2 ) k ] n = 1 .

Using these two lemmas we can determine properties of parastrophes of pentagonal quasigroups induced by Z n . We start with Q 1 .

• Suppose that Q 1 is pentagonal. Then a = [ 1 ( 1 a 3 a ) 3 ( 1 a 3 a ) ] n , from translatability, and [ ( 1 a 3 a ) 2 ] n = [ a 2 a 1 ] n , from (6). Then we have [ ( 1 a 3 a ) 3 ] n = [ ( a 2 a 1 ) ( 1 a 3 a ) ] n = [ a 4 + 2 a 3 2 ] n = ( 6 ) [ 3 a 3 a 2 + a 3 ] n . Therefore, a = [ 1 ( 1 a 3 a ) 3 ( 1 a 3 a ) ] n = [ 2 a 3 + a 2 + 3 ] n , whence, multiplying by a 2 , we obtain [ a 4 a 3 ] n = [ 3 a 2 2 ] n . This, by (6), shows that [ 2 a 2 + a + 1 ] n = 0 . Multiplying this equation by a 3 and applying (6) we get [ a 4 + a 3 ] n = 2 . Adding this equation to [ a 4 a 3 ] n = [ 3 a 2 2 ] n we obtain [ 2 a 4 ] n = [ 3 a 2 ] n . Thus, [ 2 a 2 ] n = [ 3 ] n and consequently, [ a 4 a 3 ] n = [ a 2 2 a 2 2 ] n = [ a 2 + 1 ] n . Hence, [ a 4 a 3 + a 2 ] n = 1 , which by (6) implies a = 2 and n = 11 .

• Suppose that Q 1 is quadratical. Then, a = [ 1 2 ( 1 a 3 a ) ] n by Lemmas 6.2 and 6.3. Hence, [ 2 a 3 ] n = [ 1 a ] n . Also 0 = [ 2 ( 1 a 3 a ) 2 2 ( 1 a 3 a ) + 1 ] n = [ 2 a 4 2 a 1 ] n . So, [ 2 a + 1 ] n = [ 2 a 3 a ] n = [ ( 1 a ) a ] n = [ a a 2 ] n . Consequently, [ a 2 ] n = [ a 1 ] n and 0 = [ 2 a 4 2 a 3 + 2 a 2 2 a + 2 ] n = [ ( 2 a + 1 ) ( 1 a ) + 2 ( a 1 ) 2 a + 2 ] n = [ a ] n , a contradiction. So, Q 1 cannot be quadratical.

• Q 1 is never hexagonal. Indeed, Q 1 is a -translatable and [ a 3 + a ] n -translatable as a hexagonal quasigroup. Hence, a = [ a 3 + a ] n , which implies [ a 3 ] n = 0 . Thus, 0 = [ a 5 ] n = [ 1 ] n , a contradiction.

• If Q 1 is a GS-quasigroup, then a = [ ( 1 a 3 a ) + 1 ] n . Hence, [ a 3 ] n = [ 2 2 a ] n , [ a 4 ] n = [ 2 a 2 a 2 ] n , [ 1 ] n = [ a 5 ] n = [ 2 a 2 2 a 3 ] n = [ 2 a 2 + 4 a 4 ] n , [ 2 a 2 ] n = [ 3 4 a ] n , [ a 4 ] n = [ 6 a 3 ] n . Then 0 = [ 2 a 4 2 a 3 + 2 a 2 2 a + 2 ] n = [ 10 a 5 ] n . So, [ 5 a ] n = [ 10 a 2 ] n = [ 15 20 a ] n , i.e., [ 25 a ] n = [ 15 ] n . Thus, [ 5 a ] n = 5 and 5 = [ 10 a ] n = [ 5 a + 5 a ] n = [ 10 ] n . Therefore, n = 5 and x y = [ 4 x + 2 y ] 5 .

• If Q 1 is an ARO-quasigroup, then [ 2 ( 1 a 3 a ) 2 ] n = 1 , so [ 2 a 2 ] n = [ 2 a 3 ] n . Also a = [ 2 ( 1 a 3 a ) 1 ] n . Thus, [ 2 a 3 ] n = [ 3 a ] n , [ 2 a 4 ] n = [ 3 a a 2 ] n and 0 = [ 2 a 4 2 a 3 + 2 a 2 2 a + 2 ] n = [ a 2 4 ] n , i.e., [ a 2 ] n = [ 4 ] n . Hence, [ 8 ] n = [ 2 a 2 ] n = [ 2 a 3 ] n which gives [ 2 a ] n = 5 . So, [ 16 ] n = [ 4 a 2 ] n = [ 25 ] n . Therefore, n = 41 , a = 23 .

• If Q 1 is a Stein quasigroup, then a = [ ( 1 a 3 a ) ] n . So, [ a 3 ] n = [ 2 a ] n , [ a 3 ] n = [ 2 a ] n , [ a 4 ] n = [ 2 a 2 ] n , [ 1 ] n = [ a 5 ] n = [ 2 a 3 ] n , a = [ 2 a 4 ] n , [ a 2 ] n = [ 2 ] n , a = [ 2 a 4 ] n = [ 8 ] n , [ a 3 ] n = [ 4 a 4 ] n = [ 16 ] n . Thus, by (6), we obtain [ 11 ] n = 0 . Hence, n = 11 and a = 8 .

• If Q 1 is right modular, then a = [ 1 ( 1 a 3 a ) ] n . Hence, [ a 3 ] n = 2 , [ a 4 ] n = [ 2 a ] n , [ 1 ] n = [ a 5 ] n = [ 2 a 2 ] n , a = [ 2 a 3 ] n = [ 4 ] n . This by (6) implies n = 11 , a = 7 .

• If Q 1 is a C 3 quasigroup, then 1 = [ ( 1 ( 1 a 3 a ) 2 ) a ] n . Hence, [ a 3 + a 2 + 2 a 1 ] n = 0 , which, by (6), gives [ a 4 + 2 a 2 + a ] n = 0 . So, [ 1 + 2 a 3 + a 2 ] n = 0 . Comparing this equation with [ a 3 + a 2 + 2 a 1 ] n = 0 we obtain [ a 3 ] n = [ 2 a ] n . So, [ 1 ] n = [ 2 a 3 ] n = [ 4 a ] n and 1 = [ 2 a 3 + a 2 ] n = [ 1 + a 2 ] n . Thus, [ a 2 ] n = 2 and [ a ] n = [ 4 a 2 ] n = 8 . Therefore, 2 = [ a 2 ] n = [ 64 ] n . Consequently, n = 31 , a = 23 .

In other cases the proof is very similar, so we omit it.

The result of calculations is presented in the table below. In this table, the intersection of the ARO-row with the Q 3 -column means that for a pentagonal quasigroup Q its parastrophe Q 3 is an ARO-quasigroup only in the case when x y = [ 14 x + 58 y ] 71 .

Q Q 1 Q 2 Q 3 Q 4 Q 5
pentaq. [ 2 x + 10 y ] 11 always never [ 6 x + 6 y ] 11 [ 6 x + 6 y ] 11
quadrat. [ 4 x + 2 y ] 5 never [ 4 x + 2 y ] 5 [ 4 x + 2 y ] 5 never [ 4 x + 2 y ] 5
hexag. never never never never never never
GS [ 8 x + 4 y ] 11 [ 4 x + 2 y ] 5 [ 7 x + 5 y ] 11 [ 7 x + 5 y ] 11 [ 4 x + 2 y ] 5 [ 8 x + 4 y ] 11
ARO [ 27 x + 5 y ] 31 [ 23 x + 19 y ] 41 [ 23 x + 9 y ] 31 [ 14 x + 58 y ] 71 [ 25 x + 17 y ] 41 [ 66 x + 6 y ] 71
Stein [ 4 x + 2 y ] 5 [ 8 x + 4 y ] 11 never [ 8 x + 4 y ] 11 [ 7 x + 5 y ] 11 [ 7 x + 5 y ] 11
r. mod. [ 7 x + 5 y ] 11 [ 7 x + 5 y ] 11 never [ 4 x + 2 y ] 5 [ 8 x + 4 y ] 11 [ 4 x + 2 y ] 5
C3 never [ 23 x + 9 y ] 31 never [ 23 x + 9 y ] 31 [ 27 x + 5 y ] 31 [ 27 x + 5 y ] 31

Funding information: This research was partially supported by Wroclaw University of Science and Technology, grant 8201003902 MPK: 9130730000.

Conflict of interest: The authors declare that they have no conflict of interest.

### References

[1] S. Vidak , Pentagonal quasigroups, Quasigroups Relat. Syst. 22 (2014), 147–158. Search in Google Scholar

[2] W. A. Dudek and R. A. R. Monzo , Translatability and translatable semigroups, Open Math. 16 (2018), 1266–1282. Search in Google Scholar

[3] W. A. Dudek and R. A. R. Monzo , The structure of idempotent translatable quasigroups, Bull. Malays. Math. Sci. Soc. 43 (2020), 1603–1621. Search in Google Scholar

[4] V. Shcherbacov , Elements of Quasigroup Theory and Applications, CRC Press, Boca Raton, 2017. Search in Google Scholar

[5] Ch. J. Hillar and D. L. Rhea , Automorphisms of finite Abelian groups, Amer. Math. Monthly 114 (2007), 917–923. Search in Google Scholar

[6] I. M. Vinogradov , Foundations of the theory of numbers, (Russian), Nauka, Moscow, 1965. Search in Google Scholar

[7] W. A. Dudek and R. A. R. Monzo , Translatable quadratical quasigroups, Quasigroups Relat. Syst. 28 (2020), 203–228. Search in Google Scholar

[8] W. A. Dudek , Parastrophes of quasigroups, Quasigroups Relat. Syst. 23 (2015), 221–230. Search in Google Scholar

[9] C. C. Lindner and D. Steedly , On the number of conjugates of a quasigroups, Algebra Univers. 5 (1975), 191–196. Search in Google Scholar

[10] W. A. Dudek and R. A. R. Monzo , The fine structure of quadratical quasigroups, Quasigroups Relat. Syst. 24 (2016), 205–218. Search in Google Scholar