Sturdy bands of semigroups (Q1191294)

Let \(I\) be a band. To each \(i\in I\), let \(S_ i\) be a semigroup such that \(S_ i\cap S_ j=\emptyset\) for \(i\neq j\). Let \(\leq_ 1\) and \(\leq_ 2\) be the quasi-orders on \(I\) defined as follows: \(i\leq_ 1j\) if and only if \(ji=i\); and \(i\leq_ 2j\) if and only if \(ij=i\). If \(\Phi_{i,j}\) and \(\Psi_{i,j}\) are homomorphisms of \(S_ j\) into \(S_ i\) for \(i\leq_ 1j\) and \(i\leq_ 2j\) respectively such that (1) \(\Phi_{i,i}\) and \(\Psi_{i,i}\) are identical automorphisms of \(S_ i\) for \(i\in I\); (2) \(\Phi_{i,j}\Phi_{j,k}=\Phi_{i,k}\) for \(i\leq_ 1j\leq_ 1k\); (3) \(\Psi_{i,j}\Psi_{j,k}=\Psi_{i,k}\) for \(i\leq_ 2j\leq_ 2 k\); and (4) \(\Phi_{kj,k}\Psi_{k,i}=\Psi_{kj,j}\Phi_{j,i}\) for \(j\leq_ 1i\), \(k\leq_ 2i\), then \((S,*)\) is a semigroup which is a band \(I\) of semigroups \(\{S_ i: i\in I\}\) under the multiplication \(*\) on \(S=\cup\{S_ i: i\in I\}\) given by \(s_ i*s_ j=\Phi_{ij,i}(s_ i)\Psi_{ij,j}(s_ j)\) for \(s_ i\in S_ i\) and \(s_ j\in S_ j\). If all \(\Phi_{i,j}\) and \(\Psi_{i,j}\) are one-to-one, then \((S,*)\) is called a sturdy band of semigroups \(\{S_ i:\;i\in I\}\). The purpose of this paper is to investigate the sturdy bands of semigroups. The main result is as follows: A semigroup \(S\) is a sturdy band of groups if and only if \(S\) is regular and a subdirect product of a band and a group.