Free rectangular n-tuple semigroups Текст научной статьи по специальности «Математика»

ЧЕБЫШЕВСКИЙ СБОРНИК

Том 20. Выпуск 3.

УДК 512.57, 512.579 DOI 10.22405/2226-8383-2019-20-3-261-271

Свободные прямоугольные n-кратные полугруппы

А. В. Жучок

Жучок Анатолий Владимирович — доктор физико-математических наук, профессор, заведующий кафедрой алгебры и системного анализа, Луганский национальный университет имени Тараса Шевченко (г. Старобельск, Украина). e-mail: [email protected]

Аннотация

n-кратной полугруппой называется непустое множество G, снабженное п бинарными операциями [Г], |~2|,..., |~п~|, удовлетворяющими аксиомам (xQy)Q z = xQ (y^s\z) для всех x,y,z € G и r,s € {1, 2,..., n}. Это понятие рассматривал Н. А. Корешков в контексте теории n-кратных алгебр ассоциативного типа. Доппельполугруппы являются 2-кратными полугруппами, n-кратные полугруппы имеют связи с интерассоциативными полугруппами, димоноидами, триоидами, доппельалгебрами, дуплексами, g-димоноидами и рестрик-тивпыми биполугруппами. Если операции n-кратпой полугруппы совпадают, то она превращается в полугруппу. Таким образом, n-кратные полугруппы являются обобщением полугрупп.

Класс всех n-кратных полугрупп образует многообразие. Недавно были построены свободная n-кратная полугруппа, свободная коммутативная n-кратная полугруппа, свободная fc-нильпотентная n-кратная полугруппа и свободное произведение произвольных n-кратных полугрупп. Класс всех прямоугольных n-кратных полугрупп, то есть п-кратных полугрупп с п прямоугольными полугруппами, образует подмногообразие многообразия n-кратных полугрупп.

В этой статье мы строим свободную прямоугольную n-кратную полугруппу и характеризуем наименьшую прямоугольную конгруэнцию на свободной n-кратной полугруппе.

Ключевые слова: n-кратнад полугруппа, свободная прямоугольная n-кратная полугруппа, свободная n-кратная полугруппа, полугруппа, конгруэнция.

Библиография: 37 названий. Для цитирования:

А. В. Жучок. Свободные прямоугольные n-кратные полугруппы // Чебышевский сборник. 2019. Т. 20, вып. 3, с. 261-271.

CHEBYSHEVSKII SBORNIK Vol. 20. No. 3.

UDC 512.57, 512.579 DOI 10.22405/2226-8383-2019-20-3-261-271

Free rectangular n-tuple semigroups

A.V. Zhuchok

Zhuchok Anatolii Vladimirovich — doctor of physical and mathematical Sciences, Professor, head of the Department of algebra and system analysis, Luhansk Taras Shevchenko National University (Starobilsk, Ukraine). e-mail: [email protected]

Abstract

An n-tuple semigroup is a nonempty set G equipped with n binary operations |~T|, |~2~|, ...,|~n~|, satisfying the axioms (xQy)Qz = xQ(y^P\z) fa al 1 x,y,z g G and r,s g {1,2,...,n}. This notion was considered by Koreshkov in the context of the theory of n-tuple algebras of associative type. Doppelsemigroups are 2-tuple semigroups. The n-tuple semigroups are related to interassociative semigroups, dimonoids, trioids, doppelalgebras, duplexes, g-dimonoids, and restrictive bisemigroups. If operations of an n-tuple semigroup coincide, the n-tuple semigroup becomes a semigroup. So, n-tuple semigroups are a generalization of semigroups.

The class of all n-tuple semigroups forms a variety. Recently, the constructions of the free n-tuple semigroup, of the free commutative n-tuple semigroup, of the free fc-nilpotent n-tuple semigroup and of the free product of arbitrary n-tuple semigroups were given. The class of all rectangular n-tuple semigroups, that is, n-tuple semigroups with n rectangular semigroups, forms a subvariety of the variety of n-tuple semigroups.

In this paper, we construct the free rectangular n-tuple semigroup and characterize the least rectangular congruence on the free n-tuple semigroup.

Keywords: n-tuple semigroup, free rectangular n-tuple semigroup, free n-tuple semigroup, semigroup, congruence.

Bibliography: 37 titles. For citation:

A. V. Zhuchok, 2019, "Free rectangular n-tuple semigroups" , Chebyshevskii sbornik, vol. 20, no. 3, pp. 261-271.

1. Introduction

As a natural generalization of semigroups, n-tuple semigroups form an important variety of algebras arising from interassociative semigroups. Recall that an n-tuple semigroup [12] is a nonempty set G equipped with n binary operations [T], [2],[n], satisfying the axioms (x^ly)^]z = x|Tj (^]z) fa all x,y,z G G and r,s G {1,2,n}. The class of n-tuple semigroups causes the greatest interest from the point of view of applications in the theory of n-tuple algebras of associative type [12, 13, 14]. It turns out that n > 1 pairwise interassociative semigroups give rise to an n-tuple semigroup. Recall that two semigroups defined on the same set G are interassociative [6] provided that they satisfy the latter axioms for r,s G {1, 2}. The notion of inter associativity for semigroups is of interest too (see, e.g., [3, 4, 6, 8, 9, 10]). It is known [22] that commutative

2

3-tuple semigroups, respectively. This fact allows us to study the classes of commutative dimonoids (trioids) via n-tuple semigroups. Recall that dimonoids and trioids are peculiar algebraic structures, with applications to dialgebra theory [2, 15] and trialgebra theory [1, 5, 16], respectively. For details, see, e.g., [23, 28, 34] and [20, 29, 36], respectively. It should be noted that doppelalgebras [18] are 22 were studied in [21, 24, 25, 27, 30, 31, 35]. The n-tuple semigroups also have relationships with duplexes [17], ^-dimonoids [37], and restrictive bisemigroups [19]. These connections increase the motivation for studying n-tuple semigroups.

One of the fundamental problems in the variety theory of algebraic systems is the problem of constructing free algebras in a given variety. Some free systems in the variety of n-tuple semigroups were studied recently: the constructions of the free n-tuple semigroup, of the free commutative

n-tuple semigroup and of the free fc-nilpotent n-tuple semigroup were presented in [22] and [33], respectively. The free product of arbitrary n-tuple semigroups was constructed in [32].

In this paper, we consider the variety of rectangular n-tuple semigroups which are analogs of rectangular semigroups. The main result of the paper is the construction of the free rectangular n-tuple semigroup of an arbitrary rank (Theorem 1). As a consequence, the free rectangular n-tuple semigroup of rank 1 is presented (Corollary 2). We also characterize the least rectangular congruence on the free n-tuple semigroup (Theorem 2), count the cardinality of the free rectangular n-tuple semigroup for a finite case, establish that the automorphism group of the free rectangular n-tuple semigroup is isomorphic to the symmetric group and the semigroups of the free rectangular n-tuple semigroup (n > 1) are isomorphic.

The results obtained in the present paper extend some results in [35].

2. Preliminaries

A semigroup S is called rectangular [28] if xyz = xz foil all x,y,z e S. In [7], the lattice of subvarieties of the variety defined by the identity xyz = xz was indicated. This variety is the union of the variety of left zero semigroups, the variety of right zero semigroups and the variety of zero semigroups, and the lattice of its subvarieties is an 8-element Boolean algebra. The variety of dimonoids with rectangular semigroups and the variety of rectangular doppelsemigroups were considered in [28] and [35], respectively.

For n-tuple semigroups, it is natural to introduce an analog of a rectangular semigroup. An n-tuple semigroup (G, p~|, ,..., ^T|) will be called rectangular if semigroups (G,[l]), (G, _2_),...,

(G,^T]) are rectangular. The class of all rectangular n-tuple semigroups forms a subvarietv of the variety of n-tuple semigroups. An n-tuple semigroup which is free in the variety of rectangular n-tuple semigroups will be called a free rectangular n-tuple semigroup. If p is a congruence on an n-tuple semigroup G such that G /p is a rectangular n-tuple semigroup, we say that p is a rectangular congruence. As usual, N denotes the set of all positive integers. We will need the following two lemmas.

Lemma 1. ([22], Lemma 1) In an n-tuple semigroup (G,QT|, ...,Yn\), for any 1 < m e N; and any Xi e G, 1 ^ i ^ m + 1, and any *j e , H^l } 1 ^ j ^ m, any parenthesizing of

Xi *i x2 *2 ... *m xm+\

gives the same element from G.

Lemma 2. In a rectangular n-tuple semigroup ...,^0]), for a ny a,b,x,y e G, and

any i, j e {1, 2,..., n} the following identity is satisfied:

=

PROOF. The proof follows from Lemma 2.2 of [35] and Lemma 1. □

Semigroups (D, -I) and (D, h) are called ^^^^^^^ [11] if x H y H z = x h y h z fa all x, y, z e D. Proposition 2.3 of [35] implies the following statement which establishes necessary and sufficient conditions under which the operations of a rectangular n-tuple semigroup (n > 1) coincide.

Proposition 1. Let 1 < n e N. The operations of a rectangular n-tuple semigroup (G, [T],^], ...,Yn\) coincide if and only if (G, [T|), (G, _2_),...,(G,^n§ are pairwise V-related semigroups.

An ^^^^ semigroup which is free in the variety of n-tuple semigroups is called a free n-tuple semigroup [22]. The construction of the free n-tuple semigroup was first given in [22]. We recall it.

Let X be an arbitrary nonempty set, and let w be an arbitrary word in the alphabet X. The length of w will be denoted by lw. Fix n G N and let Y = {y1,y2, ■ ■■, yn} be an arbitrary set consisting of n elements. Let further F[X] be the free semigroup on X, let Fe [Y] be the free monoid on Y, and let d G Fd [Y] be the empty word. By definition, the length of d is equal to 0. Define n binary operations [T], |~2~|,..., |~n~| on

XYn = {(w, u) G F[X] x Fe[Y] | lw - lu = 1}

by

(W\,U\)[i\(W2,U2) = (w\W2,UiyiU2)

for all (w1,u1), (w2,u2) G XYn mid i G {1,2,..., n}. The algebra (^^^ ^^^ ^ ^ , ■■■^^1]) is denoted by FnTS(X). By Theorem 2 of [22], FnTS(X) is the free n-tuple semigroup.

If f : S1 ^ S2 is a homomorphism of n-tuple semigroups, the kernel of f will be denoted bv

A/3. Main results

In this section, we construct the free rectangular n-tuple semigroup of an arbitrary rank, consider separately singly generated free rectangular n-tuple semigroups and characterize the least rectangular congruence on the free n-tuple semigroup. We also count the cardinality of the free rectangular n-tuple semigroup for a finite case, establish that the automorphism group of the free rectangular n-tuple semigroup is isomorphic to the symmetric group and the semigroups of the free rectangular n-tuple semigroup (n > 1) are isomorphic.

Let X be an arbitrary nonempty set, n G N and Y as above. Define n binary operations [T|,^],■■■,0 on X U (Y x X x X x Y) by

(ai,bi, ci,di)[T|(a2,62, C2, ^2) = (a\,b\, C2, ¿2), ^i\(a1,b1,c1,d1) = (yi, x, c1, d1), (a1, b1,c1, ^[¿j^ = (a1,b1,x, y{),

= (yi,x,y,yi)

for all (a1,b1, c1,d1), (a2, b2, c2,d2) G Y x X x X x Y, x,y G X and i G {1, 2, ■■■, n}. The obtained algebra will be denoted by FRnS(X).

The main result of the paper is the following theorem.

Theorem 1. FRnS(X) is the free rectangular n-tuple semigroup.

PROOF. The proof that FRnS(X) is a rectangular n-tuple semigroup follows from the proof of Theorem 3.1 in [35]. Let us show that FRnS(X) is free rectangular. Note that FRnS(X) is generated by X. Indeed,

(V%,b1,C1,yj) G {b^i\cl,b^f.l, (&10d)0(&1[J]c1)}

for (yi,b1,c1,yj) G Y x X x X x F, and hence any element ofY x X x X x Y can be expressed by elements from X. /

Let (^Q]] , ■■■^0) be an arbitrary rectangular n-tuple semigroup, and let 7 : X ^ S be an arbitrary map. Fix e G S and define a map

^ : FRnS(X) ^ (^[l]',0'')

as follows:

I h^ijc 17, if i = j, (yl,bl,cl, yj )n = t y '

y bi^j e\jj c^ if 1 = ^

X7T = X7

for (yi,b\,C\, yj) G F x X x X xY and x G X. By Lemmas 1 and 2, ^ is well-defined. In order to show that k is a homomorphism, we will use Lemmas 1, 2 and the identities of a rectangular n-tuple semigroup.

Let (yi, b\, c\, yj), (ys, b2, c2, yk) G Y x X x X xY, x,y G X and m G {1,2, ■ ■ ■, n}. We have

((yi, h,ci, yj)@(ys, h, C2, yk))n

c2l, if i = k,

= (yi,h, C2, Ук=

(Уз, Ь2, C2, Ук)К = j

e_k_ c2^, if i = k,

b2l[s\c.2~i, if s = k,

^IT/efT] 02^, if s = k■

Let i = k. Then '

((yi,bl,Ci, yj )^n]( ys, b2, C2, yk ))K = b 170C27

= (yi ,b\,C\, yj (ys, b2, C2, yk )!{■

In the case i = k we get

((yi,bi,ci,yj )^n}(ys, b2, C2,yk ))n = b i^U\e\]t\c2^ = (yi ,b\,C\, yj )7^1 (ys, b2, C2, yk

Moreover,

(x^n}y)7T = (ym, X, y, ym)7T = X^jyj = XTT^n I yn^

Further,

((yi,bi,ci, yj = (yi,bi,x, ym)7T =] if i = m,

[, bi^\i | e[rn\ x^, if i = m■

= m

((yi,b1,c1,yj )^n}x)7T = b i^xj = (yi,bi,ci, yj )^^rn\x'к■

For i = m,

((yi,b\,ci, yj )^n\x)ir = b nR] e[m\ xj = (yi,b\,ci, yj xtt■

Consider the remaining case:

. „ , „ . , f if m = j,

(x^n\(yi,b hCh yj ))TT = {ym,X,Cl,yj )TT -' ,-V

I x^\m\e\j\ C17, it m = ]■

If m = j, then

(x^n\ (yi ,b\,c\, yj ))tt = x^\m\c 17 = хфй]'(yi,h,ci, yj )tt.

For m = j,

(x^n\ (yj, bi,ci,yj ))x = x^nj^cij = xn^nj(yj, bi,ci, yj )n.

Consequently, k is a homomorphism of n-tuple semigroups.

Since xw = £7 for all x e X and X generates FRnS (X), the uniqueness of the homomorphism n is obvious. Thus, FRnS(X) is free in the variety of rectangular n-tuple semigroups. □

Note that, for n = 2, Theorem 1 yields Theorem 3.1 in [35]. It is also worth noting that some facts that ^ is a homomorphism in the proof of Lemma 3.8 from [35] were left for independent reader's verification, unlike Theorem 1 for which we present the complete proof that n is a homomorphism.

Corollary 1. The free rectangular n-tuple semigroup FRnS(X) generated by a finite set X is finite. Specifically, if \X| = k, then \FRnS(X)| = k(1 + n2k).

Now we construct an n-tuple semigroup which is isomorphic to the free rectangular n-tuple semigroup of rank 1.

Let e be an arbitrary symbol. Define n binary operations [T],Q2], ...,[n] on

(Y x Y) U {e} by

(ai,di)^i\(a2, d2) = (ai,d2), (ai,di) = (yi, di), (ai,di)^\e = (ai,yi), e[[|e = (yi,yi) for all (ai,di), (a2, d2) e Y x Y and i e {1,2, ...,n}. The algebra

((Y x Y) )

will be denoted by FRnS^ ft is immediate to show that FRnSi is an n-tuple semigroup.

Theorem 1 implies the following statement which describes singly generated free rectangular n-tuple semigroups.

Corollary 2. If \X\ = 1,then FRnSi = FRnS(X). proof. Let X = {e}. We define a map a : FRnSi ^ FRnS(X) by the rule

ea = e and (ai, di)a = (ai, e, e, di)

for all (ai,di) e Y x Y. An immediate ^rnfication shows that a is an ^^^morphism. □

The following statement establishes a relationship between the semigroups of the free rectangular n-tuple semigroup (n > 1).

Corollary 3. Let 1 <n e N and i,j e {1,2,.. .,n}. The semigroups (X U (Y x X x X x Y)^) and (X U (Y x X x X x Y of the free rectangular n-tuple semigroup FRnS(X) are isomorphic.

□

It is not difficult to see that the free rectangular n-tuple semigroup FRnS(X) is determined uniquely up to isomorphism by cardinality of the set X. Hence the automorphism group of FRnS (X) is isomorphic to the symmetric group on X.

At the end of this section, we characterize the least rectangular congruence on the free n-tuple semigroup.

For every nonempty word w over an alphabet X, denote the first (respectively, last) letter of w by w^0"1 (respectively, w(i)).

Theorem 2. Let FnTS(X) be the free n-tuple semigroup, (wi,ui), (w2,u2) e FnTS(X), and let FRnS(X) be the free rectangular n-tuple semigroup. Define a relation ji on FnTS(X) by

(Wi, Ui)Ji(W2, U2)

if and only if

m = 9,U2 = 9 and (u?\w?\w[i) ,u[i)) = ^ ^Kw?^),

or (wi,Ui) = (W2,U2). Then ji is the least rectangular congruence on FnTS(X). Proof. Define a map p : FnTS(X) — FRaS(X) bv

, , , , f (u(0),w(0),w(i),u(-i)), if u = e, (w, u) ——y (w,u)a =< .. n

y w, 11 u = 0.

Using Theorem 1, similarly to the proof of Theorem 4.1 in [35], the facts that p is an epimorphism and the least rectangular congruence on FnTS(X) coincides with ji can be proved. □ Note that, for n = 2, Theorem 2 implies Theorem 4.1 in [35].

4. Conclusions

In this paper, we consider n-tuple semigroups which are sets with n binary associative operations satisfying additional axioms, n > 1 pairwise interassociative semigroups give rise to an n-tuple semigroup. The main result of this paper is the construction of the free rectangular n-tuple semigroup. We also present the least rectangular congruence on the free n-tuple semigroup.

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. Bagherzadeha F., Bremnera M., Madariagab S. Jordan trialgebras and post-Jordan algebras // J. Algebra. 2017. Vol. 486. P. 360-395.

2. Bokut L.A., Chen Y.-Q., Liu C.-H. Grobner-Shirshov bases for dialgebras // Int. J. Algebra Comput. 2010. Vol. 20, № 3. P. 391-415.

3. Boyd S.J., Gould M. Interassociativitv and isomorphism // Pure Math. Appl. 1999. Vol. 10, № 1. P. 23-30.

4. Boyd S.J., Gould M., Nelson A.WT. Interassociativitv of semigroups // Proceedings of the Tennessee Topology Conference, Nashville, TN, USA, 1996. Singapore: World Scientific. 1997. P. 33-51.

5. Casas J.M. Trialgebras and Leibniz 3-algebras // Bol. Soc. Mat. Мех. 2006. Vol. 12, № 2. P. 165-178.

6. Drouzv M. La structuration des ensembles de semigroupes d'ordre 2, 3 et 4 par la relation d'interassociativite // Manuscript. 1986.

7. Evans T. The lattice of semigroup varieties // Semigroup Forum. 1971. Vol. 2. P. 1-43.

8. Givens B.N., Linton K., Rosin A., Dishman L. Interassociates of the free commutative semigroup on n generators // Semigroup Forum. 2007. Vol. 74. P. 370-378.

9. Gould M., Linton K. A., Nelson A.W. Interassociates of monogenic semigroups // Semigroup Forum. 2004. Vol. 68. P. 186-201.

10. Givens B. N., Rosin A., Linton K. Interassociates of the bicvclic semigroup // Semigroup Forum. 2017. Vol. 94. P. 104-122. doi:10.1007/s00233-016-9794-9.

11. Hewitt E., Zuckerman H. S. Ternary operations and semigroups // Semigroups: Proceedings 1968 Wayne State U. Symposium on Semigroups, K. W. Folley, ed., Academic Press (New York). 1969. P. 55-83.

12. Koreshkov N. A. n-Tuple algebras of associative type // Russian Mathematics (Izvestiva VUZ. Matematika). 2008. Vol. 52, № 12. P. 28-35.

n n

Mathematics (Izvestiva VUZ. Matematika). 2010. Vol. 54, № 2. P. 28-32.

n

15. Lodav J.-L. Dialgebras // In: Dialgebras and related operads: Lect. Notes Math. Berlin: Springer-Verlag. 2001. Vol. 1763. P. 7-66.

16. Lodav J.-L., Ronco M.O. Trialgebras and families of polytopes // Contemp. Math. 2004. Vol. 346. P. 369-398.

17. Pirashvili T. Sets with two associative operations // Centr. Eur. J. Math. 2003. Vol. 2. P. 169-183.

18. Richter B. Dialgebren, Doppelalgebren und ihre Homologie // Diplomarbeit, Universität Bonn. 1997. Available at http://www.math.uni-hamburg.de/home/richter/publications.html.

19. Schein B.M. Restrictive bisemigroups // Izv. Vvssh. Uchebn. Zaved. Mat. 1965. Vol. 1, № 44. P. 168-179 (in Russian).

20. Zhuchok A. V. Free commutative trioids // Semigroup Forum. 2019. Vol. 98, № 2. P. 355-368. doi: 10.1007/s00233-019-09995-v.

n

№ 11. P. 4960-4970 (2017). doi: 10.1080/00927872.2017.1287274.

n

10.1134/S0001434618050061.

23. Zhuchok A.V. Free products of dimonoids // Quasigroups Relat. Syst. 2013. Vol. 21, № 2. P. 273-278.

24. Zhuchok A.V. Free products of doppelsemigroups // Algebra Univers. 2017. Vol. 77, № 3. P. 361-374. doi: 10.1007/s00012-017-0431-6.

25. Zhuchok A.V. Relatively free doppelsemigroups // Monograph series Lectures in Pure and Applied Mathematics. Germany, Potsdam: Potsdam University Press. 2018. Vol. 5. 86 p.

26. Zhuchok A. V. Semilatties of subdimonoids // Asian-Eur. J. Math. 2011. Vol. 4, № 2. P. 359-371. doi: 10.1142/S1793557111000290.

27. Zhuchok A.V. Structure of free strong doppelsemigroups // Commun. Algebra. 2018. Vol. 46, № 8. P. 3262-3279. doi: 10.1080/00927872.2017.1407422.

28. Zhuchok А. V. Structure of relatively free dimonoids // Commun. Algebra. 2017. Vol. 45, № 4. P. 1639-1656. doi: 10.1080/00927872.2016.1222404.

29. Zhuchok A.V. IHoids // Asian-Eur. J. Math. 2015. Vol. 8, № 4, 1550089 (23 p.). doi: 10.1142/S1793557115500898.

30. Zhuchok A. V., Demko M. Free n-dinilpotent doppelsemigroups // Algebra Discrete Math. 2016. Vol. 22, № 2. P. 304-316.

31. Zhuchok A. V., Knauer K. Abelian doppelsemigroups // Algebra Discrete Math. 2018. Vol. 26, № 2. P. 290-304.

32. Zhuchok A.V., Koppitz J. Free products of n-tuple semigroups // Ukrainian Math. J. 2019. Vol. 70, № 11. P. 1710-1726. doi: 10.1007/sll253-019-01601-2.

33. Жучок А. В., Жучок Юл. В. Свободные fc-нильпотентные n-кратные полугруппы // Фундамент, и прикл. матем. 2019. Принята к печати.

34. Zhuchok A.V., Zhuchok Yul.V. Free left n-dinilpotent dimonoids // Semigroup Forum. 2016. Vol. 93, № 1. P. 161-179. doi: 10.1007/s00233-015-9743-z.

35. Zhuchok A.V., Zhuchok Yul.V., Koppitz J. Free rectangular doppelsemigroups // Journal of Algebra and its Applications, doi: 10.1142/S0219498820502059.

36. Zhuchok A. V., Zhuchok Yul. V., Zhuchok Y. V. Certain congruences on free trioids // Commun. Algebra. 2019. Vol. 47, № 12. P. 5471-5481. doi: 10.1080/00927872.2019.1631322.

37. Zhuchok Yul.V. On one class of algebras // Algebra Discrete Math. 2014. Vol. 18, № 2. P. 306-320.

REFERENCES

1. Bagherzadeha F., Bremnera M.. Madariagab S., 2017, "Jordan trialgebras and post-Jordan algebras", J. Algebra, vol. 486, pp. 360-395.

2. Bokut L.A., Chen Y.-Q., Liu C.-H., 2010, "Grôbner-Shirshov bases for dialgebras" , Int. J. Algebra Comput., vol. 20, no. 3. pp. 391-415.

3. Bovd S. J., Gould M.. 1999, "Interassociativity and isomorphism" , Pure Math. Appl., vol. 10, no. 1. pp. 23-30.

4. Bovd S. J., Gould M.. Nelson A.W., 1996, "Interassociativitv of semigroups" , Proceedings of the Tennessee Topology Conference, Nashville, TN, USA, Singapore: World Scientific, pp. 3351.

5. Casas J. M., 2006, "Trialgebras and Leibniz 3-algebras" , Bol. Soc. Mat. Мех., vol. 12, no. 2. pp. 165-178.

6. Drouzv M.. 1986, "La structuration des ensembles de semigroupes d'ordre 2, 3 et 4 par la relation d'interassociaiivité" , Manuscript.

7. Evans T., 1971, "The lattice of semigroup varieties" , Semigroup Forum, vol. 2. pp. 1-43.

8. Givens B.N., Linton K., Rosin A., Dishman L., 2007, "Interassociates of the free commutative semigroup on n generators" , Semigroup Forum, vol. 74. pp. 370-378.

9. Gould M., Linton K. A., Nelson A.W., 2004, "Interassociates of monogenic semigroups", Semigroup Forum, vol. 68. pp. 186-201.

10. Givens B. N., Rosin A., Linton K., 2017, "Interassociates of the bicvclic semigroup" , Semigroup Forum, vol. 94. pp. 104-122. doi:10.1007/s00233-016-9794-9.

11. Hewitt E., Zuckerman H.S., 1968-1969, "Ternary operations and semigroups", Semigroups: Proceedings 1968 Wayne State U. Symposium on Semigroups, K. W. Follev, ed., Academic Press (New York), pp. 55-83.

12. Koreshkov N. A., 2008, "n-Tuple algebras of associative type", Russian Mathematics (Izvestiva VUZ. Matematika), vol. 52, no. 12. pp. 28-35.

13. Koreshkov N. A., 2010, "Nilpotencv of n-tuple Lie algebras and associative n-tuple algebras" , Russian Mathematics (Izvestiva VUZ. Matematika), vol. 54, no. 2. pp. 28-32.

14. Koreshkov N. A., 2014, "Associative n-tuple algebras", Math. Notes, vol. 96, no. 1. pp. 38-49.

15. Lodav J.-L., 2001, "Dialgebras" , In: Dialgebras and related operads: Lect. Notes Math. Berlin: Springer-Verlag, vol. 1763. pp. 7-66.

16. Lodav J.-L., Ronco M.O., 2004, "Trialgebras and families of polytopes", Contemp. Math., vol. 346. pp. 369-398.

17. Pirashvili T., 2003, "Sets with two associative operations", Centr. Eur. J. Math., vol. 2, pp. 169183.

18. Richter B., 1997, "Dialgebren, Doppelalgebren und ihre Homologie" , Diplomarbeit, Universität Bonn, Available at http://www.math.uni-hamburg.de/home/richter/publications.html.

19. Schein B.M., 1965, "Restrictive bisemigroups" , Izv. Vvssh. Uchebn. Zaved. Mat., vol. 1, no. 44. pp. 168-179 (in Russian).

20. Zhuchok A. V., 2019, "Free commutative trioids" , Semigroup Forum, vol. 98, no. 2. pp. 355-368, doi: 10.1007/s00233-019-09995-v.

21. Zhuchok A. V., 2017, "Free left n-dinilpotent doppelsemigroups" , Commun. Algebra, vol. 45, no. 11. pp. 4960-4970, doi: 10.1080/00927872.2017.1287274.

n

doi: 10.1134/S0001434618050061.

23. Zhuchok A. V., 2013, "Free products of dimonoids" , Quasigroups Relat. Syst., vol. 21, no. 2. pp. 273-278.

24. Zhuchok A. V., 2017, "Free products of doppelsemigroups" , Algebra Univers., vol. 77, no. 3. pp. 361-374, doi: 10.1007/s00012-017-0431-6.

25. Zhuchok A. V., 2018, "Relatively free doppelsemigroups" , Monograph series Lectures in Pure and Applied Mathematics, Germany, Potsdam: Potsdam University Press, vol. 5, 86 p.

26. Zhuchok A. V., 2011, "Semilatties of subdimonoids" , Asian-Eur. J. Math., vol. 4, no. 2. pp. 359371, doi: 10.1142/S1793557111000290.

27. Zhuchok A. V., 2018, "Structure of free strong doppelsemigroups" , Commun. Algebra, vol. 46, no. 8. pp. 3262-3279, doi: 10.1080/00927872.2017.1407422.

28. Zhuchok А. V., 2017, "Structure of relatively free dimonoids" , Commun. Algebra, vol. 45, no. 4. pp. 1639-1656, doi: 10.1080/00927872.2016.1222404.

29. Zhuchok A. V., 2015, "Trioids", Asian-Eur. J. Math., vol. 8, no. 4, 1550089 (23 p.), doi: 10.1142/S1793557115500898.

30. Zhuchok A. V., Demko M., 2016, "Free n-dinilpotent doppelsemigroups" , Algebra Discrete Math., vol. 22, no. 2, pp. 304-316.

31. Zhuchok A. V., Knauer K., 2018, "Abelian doppelsemigroups" , Algebra Discrete Math., vol. 26, no. 2, pp. 290-304.

32. Zhuchok A. V., Koppitz J., 2019, "Free products of n-tuple semigroups" , Ukrainian Math. J., vol. 70, no. 11, pp. 1710-1726, doi: 10.1007/sll253-019-01601-2.

33. Zhuchok A. V., Zhuchok Yul. V., 2019, "Free fc-nilpotent n-tuple semigroups" , Fundamental and Applied Mathematics (in Russian). Accepted.

34. Zhuchok A. V., Zhuchok Yul. V., 2016, "Free left n-dinilpotent dimonoids" , Semigroup Forum, vol. 93, no. 1. pp. 161-179, doi: 10.1007/s00233-015-9743-z.

35. Zhuchok A. V., Zhuchok Yul. V., Koppitz J., "Free rectangular doppelsemigroups" , Journal of Algebra and its Applications, doi: 10.1142/S0219498820502059.

36. Zhuchok A. V., Zhuchok Yul.V., Zhuchok Y. V., 2019, "Certain congruences on free trioids" , Commun. Algebra, vol. 47, no. 12. pp. 5471-5481, doi: 10.1080/00927872.2019.1631322.

37. Zhuchok Yul.V., 2014, "On one class of algebras", Algebra Discrete Math., vol. 18, no. 2, pp. 306-320.

Получено 8.10.2019 г.

Принято в печать 12.11.2019 г.