Structure of relatively free dimonoids

Loday introduced the notion of a dimonoid and constructed the free dimonoid. The paper concerns the variety theory of dimonoids. We recall and summarize the results obtained by Loday, the author as well as others on the structure of some relatively free dimonoids. This part of the paper should be viewed as a survey, however we include some new ideas in the last sections. Namely, we construct a free (?z;rs)-dimonoid, a free (rs;rz)-dimonoid, a free rs-dimonoid, a free (rb;rs)-dimonoid, a free (rs;rb)-dimonoid and characterize the least (?z;rs)-congruence, the least (rs;rz)-congruence, the least rs-congruence, the least (rb;rs)-congruence and the least (rs;rb)-congruence on the free dimonoid. We also establish that the automorphism groups of constructed free algebras are isomorphic to the symmetric group and the semigroups of the free rs-dimonoid are anti-isomorphic.