Embeddings of pseudofree semigroups (Q1910273)

Let \(\mathcal P\) be a pseudovariety of finite semigroups, i.e. a class of finite semigroups closed for subsemigroups, homomorphisms and finite direct products. \(F_n{\mathcal P}\) is the \(n\)-generated free semigroup in the variety generated by semigroups from \(\mathcal P\), \(\overline{F}_n{\mathcal P}\) the pseudofree semigroup of rank \(n\) over the pseudovariety \(\mathcal P\) (a separable completion of the space \(\overline{F}_n{\mathcal P})\), \(\widetilde{F}_\omega{\mathcal P}=\bigcup\overline{F}_n{\mathcal P}\). Let \(\mathbf S\) be the pseudovariety of all finite semigroups, \({\mathbf J}_1\) the pseudovariety of all finite commutative idempotent monoids (i.e. semilattices). Let \(\mathcal M\) and \(\mathcal G\) denote arbitrary pseudovarieties of finite monoids and groups, respectively, \({\mathbf L}(\mathcal M)=\{S\in{\mathbf S}\mid e\in E(S)\Rightarrow eSe\in{\mathcal M}\}\), \({\mathbf S}({\mathcal G})=\{S\in{\mathbf S}\mid e\in E(S)\Rightarrow H_e\in{\mathcal G}\}\), where \(E(S)\) is the set of all idempotents of the semigroups \(S\), \(H_e\) is the Green \(\mathcal H\)-class of idempotent \(e\). It is shown that if \({\mathcal P}={\mathbf L}({\mathcal M})\) or \({\mathcal P}={\mathbf S}(\mathcal G)\), then for any \(n\geq 1\) there is homomorphic topological embedding \(\overline{F}_n{\mathcal P}\to\overline{F}_2{\mathcal P}\) and if \({\mathcal M}\supseteq{\mathbf J}_1\), then there is a homomorphic topological embedding \(\widetilde{F}_\omega{\mathcal P}\to\overline{F}_2{\mathcal P}\), whose image is an open semigroup in \(\overline{F}_2{\mathcal P}\).