A construction of cryptogroups. (Q2641543)

A completely regular semigroup \(S\) is called a cryptogroup if Green's relation \(\mathcal H\) on \(S\) is a congruence. It was proved [by \textit{M. Petrich} and \textit{N. R. Reilly}, Completely regular semigroups. Wiley (1999; Zbl 0967.20034)] that a completely regular semigroup \(S\) is a normal cryptogroup iff \(S\) is a strong semilattice of completely regular semigroups. It was proved by \textit{X. Z. Kong} and \textit{K. P. Shum} [Commun. Algebra 29, No. 6, 2461-2479 (2001; Zbl 0989.20052)] that a superabundant semigroup \(S\) is a regular cryptosemigroup iff it is a refined semilattice of completely \(\mathcal J^*\)-simple semigroups. \textit{G.-T. Song, G.-X. Liu} and \textit{J.-G. Zhang} [Semigroup Forum. 69, No. 3, 409-422 (2004; Zbl 1071.20052)] constructed regular cryptogroups. In this paper there is constructed any cryptogroup by a band and a family of groups and homomorphisms with some conditions.