Bilateral semidirect products of transformation semigroups (Q1194436)

For a set \(X\) denote by \({\mathcal T}(X)\) the full transformation semigroup on \(X\). A semigroup \((S\times T,\circ)\) is called a bilateral semidirect product of semigroups \((S,\cdot)\), \((T,\cdot)\), a homomorphism \(\varphi: (S,\cdot)\to {\mathcal T}(T)\), and an antihomomorphism \(\delta: (T,\cdot)\to {\mathcal T}(S)\) if \((s_ 1,t_ 1)\circ(s_ 2,t_ 2)=(s_ 1\cdot\delta(t_ 1)(s_ 2),\varphi(s_ 2) (t_ 1)\cdot t_ 2)\) for any \(s_ 1,s_ 2\in S\), \(t_ 1,t_ 2\in T\) when \(\varphi\) and \(\delta\) satisfy \(\varphi(s)(t_ 1\cdot t_ 2)=\varphi(\delta(t_ 2)(s))(t_ 1)\cdot \varphi(s)(t_ 2)\), and \(\delta(t)(s_ 1\cdot s_ 2)=\delta(t)(s_ 1)\cdot\delta(\varphi(s_ 1)(t))(s_ 2)\) for every \(s,s_ 1,s_ 2\in S\), \(t,t_ 1,t_ 2\in T\). We say that a transformation semigroup \((X,H)\) is a bilateral semidirect product of semigroups \((S,\cdot)\) and \((T,\cdot)\) if \((H,\circ)\) is isomorphic to a bilateral semidirect product of \((S,\cdot)\) and \((T,\cdot)\). For any finite chain \(C\), the transformation semigroup \(\text{End}(C)\) of all order preserving mappings of \(C\) into itself is a homomorphic image of bilateral semidirect products of several semilattices, and \({\mathcal T}(C)\) is a homomorphic image of a bilateral semidirect product of the symmetric group on the set \(C\) and \(\text{End}(C)\). Thus every finite semigroup divides a bilateral semidirect product of a group and an aperiodic semigroup.