An upper bound for the power pseudovariety \(\mathbf{PCS}\). (Q431180)

The author says that a finite semigroup \(S\) is an aggregate of block groups if \(aSb\) is a block group for all \(a,b\in S\). The class \(\mathbf{AgBG}\) of all aggregates of block groups is shown to constitute a pseudovariety of finite semigroups and to be defined by a single pseudoidentity. The author shows that \(\mathbf{AgBG}\) coincides with the Mal'cev product of the pseudovariety of all finite \(\mathcal J\)-trivial semigroups with the pseudovariety \(\mathbf{CS}\) of all finite simple semigroups (Corollary~3.3) and that the power pseudovariety \(\mathbf{PCS}\) of \(\mathbf{CS}\) is contained in \(\mathbf{AgBG}\) (Corollary 4.3). The question of whether the equality \(\mathbf{PCS}=\mathbf{AgBG}\) holds true is left open. Reviewer's remark: The equality \(\mathbf{PCS}=\mathbf{AgBG}\) has been then established by \textit{K.~Auinger} [``On the power pseudovariety \(\mathbf{PCS}\)'', Publ. Mat, Barc. 56, No. 2, 449-465 (2012; Zbl 1306.20058)].