A note on the equation \(\mathbf{PH}={\mathbf J}*{\mathbf H}\) (Q5952249)

All monoids are assumed to be finite. Given a monoid \(M\), by \({\mathcal P}(M)\) is denoted the monoid of subsets under multiplication. If \(\mathbf V\) is a pseudovariety of monoids then by \(\mathbf{PV}\) is denoted the pseudovariety generated by the monoids \({\mathcal P}(M)\) with \(M\in{\mathbf V}\) and by \(\diamondsuit{\mathbf V}\) is denoted the pseudovariety of monoids generated by all Schützenberger products of the form \(\diamondsuit_{k+1}(M_0,M_1,\dots,M_k)\) with \(k\geq 0\) and \(M_i\in{\mathbf V}\) for all \(i\). Let \(\mathbf J\) be the pseudovariety of all finite \(\mathcal J\)-trivial monoids and \(\mathbf H\) be an extension closed pseudovariety of groups. The main goal of the paper is to show that the following equalities hold: \(\mathbf{PH}=\diamondsuit{\mathbf H}={\mathbf J}*{\mathbf H}={\mathbf J}\circ{\mathbf H}\) where \({\mathbf J}\circ{\mathbf H}\) is the Mal'cev product and \({\mathbf J}*{\mathbf H}\) is the semidirect product of the pseudovarieties \(\mathbf J\) and \(\mathbf H\). In the case when \({\mathbf H}={\mathbf G}\) is the pseudovariety of all groups, these equalities are well known. The equality \({\mathbf J}\circ{\mathbf H}={\mathbf J}*{\mathbf H}\) was earlier proved by the author [in Trans. Am. Math. Soc. 353, No. 9, 3409-3464 (2001; Zbl 0980.20067)].