\(e\)-varieties of regular semigroups, relatively bifree objects and fully invariant congruences (Q1343220)

A class of regular semigroups is an existence variety if it is closed under taking direct products, regular subsemigroups and morphic images. The concept of bifree object in a class of regular semigroups has been introduced by \textit{J. Kaďourek} and \textit{M. B. Szendrei} [Semigroup Forum 40, 257-296 (1990; Zbl 0705.20052)]. The \(e\)-varieties which contain all bifree objects have been shown by \textit{Y. T. Yeh} to be precisely the locally inverse and \(E\)-solid \(e\)-varieties [Int. J. Algebra Comput. 2, 471-484 (1992; Zbl 0765.20030)]. The paper under review establishes for bifree objects analogues to well known results which hold for free objects in varieties of universal algebras. For example: if the bifree object on a set \(X\) in the \(e\)-variety generated by a regular semigroup \(S\) exists then it an be embedded into a direct power of \(S\); the lattice of \(e\)-subvarieties of a locally inverse or \(E\)-solid \(e\)-variety is antiisomorphic to the lattice of all fully invariant congruences on the bifree object, on a countably infinite set \(X\), in this \(e\)-variety; a regular semigroup \(S\) is relatively bifree in an \(e\)-variety if and only if it is bifree in the class \(\{S\}\). Furthermore, a Birkhoff-type theorem for classes of locally inverse and \(E\)-solid semigroups is given.