Relatively free dimonoids and bar-units

Abstract

This paper is devoted to the study of the problem of adjoining a set of bar-units to dimonoids. We give necessary and sufficient conditions for adjoining a set of bar-units to the free left [Formula: see text]-dinilpotent dimonoid ([Formula: see text]), and prove that it is impossible to adjoin a set of bar-units to the free abelian dimonoid of rank [Formula: see text] and the free [Formula: see text]-dimonoid. As consequences, we establish that it is impossible to extend by a set of bar-units the free left [Formula: see text]-dinilpotent dimonoid ([Formula: see text]), the free abelian dimonoid of rank [Formula: see text] and the free [Formula: see text]-dimonoid to a generalized digroup. We also count the cardinalities of the free left [Formula: see text]-dinilpotent dimonoid and the free [Formula: see text]-dimonoid for a finite case.