Inter-related semigroups of \(\Gamma\)-semigroups (Q1915901)

Let \(M\) and \(\Gamma\) be non-empty sets. Then \(M\) is called a \(\Gamma\)-semigroup if, for every \(\alpha\in\Gamma\), a binary operation in \(M\) is determined, so that we have \(a\alpha b\in M\) for every \((a,\alpha,b)\in M\times\Gamma\times M\), and in addition, the following condition is satisfied: \((a\alpha b)\beta c=a\alpha(b\beta c)\) for all \(\alpha,\beta\in\Gamma\). So \(M\) becomes a semigroup with respect to every \(\alpha\in\Gamma\), such semigroups are called inter-related semigroups of \(M\). Some usual notions of semigroups, for example, idempotents, regular elements, ideals, congruence relations, etc. are defined for \(\Gamma\)-semigroups. The results concern conditions for \(\Gamma\)-semigroups to be simple, completely simple and so on. It is proved, that a \(\Gamma\)-semigroup is simple or completely simple if and only if one of its inter-related semigroups (and as a consequence, every of them) has the corresponding property. An example is given that this is not a rule: one of the inter-related semigroups of a \(\Gamma\)-semigroup may be a union of groups without this property for the others. Reviewer's remark. The abstract to the paper is hard to understand. In the authors' remark, Theorem 2.11 is mentioned but the last number of theorems is 2.9.