FREE COMMUTATIVE g-DIMONOIDS

A dialgebra is a vector space equipped with two binary operations ⊣ and ⊢ satisfying the following axioms: (D1) (x ⊣ y) ⊣ z = x ⊣ (y ⊣ z), (D2) (x ⊣ y) ⊣ z = x ⊣ (y ⊢ z), (D3) (x ⊢ y) ⊣ z = x ⊢ (y ⊣ z), (D4) (x ⊣ y) ⊢ z = x ⊢ (y ⊢ z), (D5) (x ⊢ y) ⊢ z = x ⊢ (y ⊢ z). This notion was introduced by Loday while studying periodicity phenomena in algebraic K-theory. Leibniz algebras are a non-commutative variation of Lie algebras and dialgebras are a variation of associative algebras. Recall that any associative algebra gives rise to a Lie algebra by [x, y] = xy−yx. Dialgebras are related to Leibniz algebras in a way similar to the relationship between associative algebras and Lie algebras. A dialgebra is just a linear analog of a dimonoid. If operations of a dimonoid coincide, the dimonoid becomes a semigroup. So, dimonoids are a generalization of semigroups. Pozhidaev and Kolesnikov considered the notion of a 0-dialgebra, that is, a vector space equipped with two binary operations ⊣ and ⊢ satisfying the axioms (D2) and (D4). This notion have relationships with Rota-Baxter algebras, namely, the structure of Rota-Baxter algebras appearing on 0-dialgebras is known. The notion of an associative 0-dialgebra, that is, a 0-dialgebra with two binary operations ⊣ and ⊢ satisfying the axioms (D1) and (D5), is a linear analog of the notion of a g-dimonoid. In order to obtain a g-dimonoid, we should omit the axiom (D3) of inner associativity in the definition of a dimonoid. Axioms of a dimonoid and of a g-dimonoid appear in defining identities of trialgebras and of trioids introduced by Loday and Ronco. The class of all g-dimonoids forms a variety. In the paper of the second author the structure of free g-dimonoids and free n-nilpotent g-dimonoids was given. The class of all commutative g-dimonoids, that is, g-dimonoids with commutative operations, forms a subvariety of the variety of g-dimonoids. The free dimonoid in the variety of commutative dimonoids was constructed in the paper of the first author. In this paper we construct a free commutative g-dimonoid and describe the least commutative congruence on a free g-dimonoid.

1. Pozhidaev, A. P. 2009, “0-dialgebras with bar-unity and nonassociative RotaBaxter algebras”, Sib. Math. J., vol. 50, no. 6, pp. 1070–1080.

2. Kolesnikov, P. S. 2008, “Varieties of dialgebras and conformal algebras”, Sib. Math. J., vol. 49, no. 2, pp. 257–272.

3. Loday, J.-L. 2001, “Dialgebras. In: Dialgebras and related operads”, Lecture Notes in Math., Berlin: Springer-Verlag, vol. 1763, pp. 7–66.

4. Frabetti, A. 2001, “Dialgebra (co)homology with coefficients. In: Dialgebras and related operads”, Lecture Notes in Math., Berlin: Springer-Verlag, vol. 1763, pp. 67–103.

5. Bokut, L. A., Chen, Y. & Liu, C. 2010, “Gr¨obner-Shirshov bases for dialgebras”, Int. J. Algebra Comput., vol. 20, no. 3, pp. 391–415.

6. Kolesnikov, P. S. & Voronin, V. Yu. 2013, “On the special identities for dialgebras”, Linear and Multilinear Algebra, vol. 61, no. 3, pp. 377–391.

7. Zhuchok, A. V. 2011, “Dimonoids”, Algebra and Logic, vol. 50, no. 4, pp. 323– 340.

8. Movsisyan, Y., Davidov, S. & Safaryan, Mh. 2014, “Construction of free g-dimonoids”, Algebra and Discrete Math., vol. 18, no. 1, pp. 138–148.

9. Zhuchok, Yul. V. 2014, “On one class of algebras”, Algebra and Discrete Math., vol. 18, no. 2, pp. 306–320.

10. Loday, J.-L. & Ronco, M. O. 2004, “Trialgebras and families of polytopes”, Contemp. Math., vol. 346, pp. 369–398.

11. Casas, J. M. 2006, “Trialgebras and Leibniz 3-algebras”, Bolet´ın de la Sociedad Matem´atica Mexicana, vol. 12, no. 2, pp. 165–178.

12. Zhuchok, A. V. 2014, “Semiretractions of trioids”, Ukr. Math. J., vol. 66, no. 2, pp. 218–231.

13. Zhuchok, A. V. 2010, “Free commutative dimonoids”, Algebra and Discrete Math., vol. 9, no. 1, pp. 109–119.

14. Zhuchok, A. V. 2014, “Elements of dimonoid theory”, Mathematics and its Applications. Proceedings of Institute of Mathematics of NAS of Ukraine, Kiev, vol. 98, 304 p. (in Ukrainian).

15. Zhuchok, A. V. 2011, “Semilattices of subdimonoids”, Asian-Eur. J. Math., vol. 4, no. 2, pp. 359–371.

16.