Semigroup presentations for test local groups. (Q744856)

Let \(L\) be a finite language over a finite alphabet \(A\) that is closed under taking nonempty factors. The set of words all of whose proper factors lie in \(L\) is denoted \(\ddot L\). Let \(f\colon L\cup\ddot L\to G\) be a function into a group \(G\) with a semigroup presentation \(\langle A_G\mid R_G\rangle\). Let \(e\) be a word in \(A_G\) representing the identity element of \(G\). Consider the semigroup \(\mathcal T[G,L,f]\) presented by \(\langle A\uplus A_G\mid R_G\cup\{eue=f(u):u\in L\}\cup\{v=v_\alpha f(v)v_\omega:v\in\ddot L\}\rangle\), where \(v_\alpha\) and \(v_\omega\) are obtained from \(v\) by dropping, respectively, the last and the first letter. The paper shows that \(\mathcal T[G,L,f]\) is a local group with the (singleton congruence classes of) elements of \(L\) as non-regular elements and minimum ideal isomorphic to the Rees matrix semigroup \(M[G;L\cup\{1\},L\cup\{1\};P]\) for a precisely described sandwich matrix \(P\). If \(G\) is taken to be an arbitrary element of a pseudovariety of groups \(\mathsf H\), then the semigroups of the form \(\mathcal T[G,L,f]\) generate \(\mathsf{LH}\), where one may even take \(L\) to be the set \(L_k\) of all words of length at most \(k\) and \(f_k(w)=1\) for every \(w\in L\). This is proved by showing that the generators of a general pseudovariety of the form \(\mathsf V*\mathsf D_k\) given by \textit{A. Azevedo} and the reviewer [Port. Math. 50, No. 1, 35-61 (1993; Zbl 0802.20049)] divide a suitable \(\mathcal T[G,L_k,f_k]\) in the case of a pseudovariety of groups \(\mathsf H\). The semigroups \(\mathcal T[G,L,f]\) with \(G\in\mathsf H\) may thus be used to test whether a given pseudoidentity holds in \(\mathsf{LH}=\bigcup_{k\geq1}\mathsf H*\mathsf D_k\). In particular, the authors consider pseudoidentities whose sides are expressible in terms of product and \((\omega-1)\)-power without nesting such powers and manage to use such test semigroups to show that such a pseudoidentity is valid in every finite semigroup if and only if it is valid in every finite local group.