Sturdy bands of semigroups (Q1191294)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sturdy bands of semigroups |
scientific article |
Statements
Sturdy bands of semigroups (English)
0 references
27 September 1992
0 references
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.
0 references
band compositions
0 references
transitive systems of homomorphisms
0 references
quasi-orders
0 references
sturdy bands of semigroups
0 references
regular
0 references
subdirect product
0 references