The least dimonoid congruences on relatively free trioids

Abstract

When Loday and Ronco studied ternary planar trees, they introduced types of algebras,called trioids and trialgebras. A trioid is a nonempty set equipped with three binary associativeoperations satisfying additional eight axioms relating these operations, while a trialgebra is justa linear analog of a trioid. If all operations of a trioid (trialgebra) coincide, we obtain the notionof a semigroup (associative algebra), and if two concrete operations of a trioid (trialgebra)coincide, we obtain the notion of a dimonoid (dialgebra) and so, trioids (trialgebras) are ageneralization of semigroups (associative algebras) and dimonoids (dialgebras). Trioids andtrialgebras have close relationships with the Hopf algebras, the Leibniz 3-algebras, the Rota-Baxter operators, and the post-Jordan algebras. Originally, these structures arose in algebraictopology. One of the most useful concepts in algebra is the free object. Every variety containsfree algebras and free objects in any variety of algebras are important in the study of thatvariety. Loday and Ronco constructed the free trioid of rank 1 and the free trialgebra. Recently,the free trioid of an arbitrary rank, the free commutative trioid, the free n-nilpotent trioid, thefree rectangular triband, the free left n-trinilpotent trioid and the free abelian trioid wereconstructed and the least dimonoid congruences as well as the least semigroup congruence onthe first four free algebras were characterized. However, just mentioned congruences on freeleft (right) n-trinilpotent trioids and free abelian trioids were not considered. In this paper, wecharacterize the least dimonoid congruences and the least semigroup congruence on free left(right) n-trinilpotent trioids and free abelian trioids.