Epimorphisms, dominions and seminormal identities. II. (Q372358)

We say that a subsemigroup \(U\) is dense in a semigroup \(S\) if the inclusion from \(U\) into \(S\) is an epimorphism. A semigroup identity \(u=v\) is preserved under epis if for every dense subsemigroup \(U\) of a semigroup \(S\) we have that \(S\) satisfies \(u=v\) if and only if \(U\) satisfies \(u=v\). A semigroup identity \(x_1x_2\cdots x_n=x_{\sigma(1)}x_{\sigma(2)}\cdots x_{\sigma(n)}\) where \( \sigma\) is a permutation of \(\{1,2,\ldots,n\}\) is called seminormal if \(\sigma(1)=1\) and \(\sigma(n)=n\). A semigroup identity is heterotypical if the set of variables of \(u\) is distinct from the set of variables of \(v\). Several sufficient conditions on heterotypical semigroup identities are given to be preserved under epis in conjuction with a seminormal identity. For part I cf. Semigroup Forum 80, No. 2, 219-241 (2010; Zbl 1204.20073).