Abstract:
A. P. Pozhidaev proved that each dialgebra may be embedded into a dialgebra with a barunit. As is known, a dialgebra is a vector space with two binary operations satisfying the axioms of a dimonoid. It is natural in this situation to pose the problem about the possibility of adjoining bar-units to dimonoids in a given class and the problem of embedding dimonoids into dimonoids with bar-units.
In the present article these problems are solved for some classes of dimonoids. In particular, we show that it is impossible to adjoin a set of bar-units to a free dimonoid. Also, we solve the problem of embedding an arbitrary dimonoid into a dimonoid with bar-units.
Keywords:dimonoid, bar-unit, adjoining a set of bar-units, free dimonoid, free rectangular dimonoid, free commutative dimonoid, free $n$-(di)nilpotent dimonoid, semigroup, automorphism group.
Fulltext:
PDF file (338 kB)
