Inter-related semigroups of -semigroups
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.
- The relations \({_m\mathcal{I}_\gamma}, {_\gamma\mathcal{I}_n}, {_\gamma\mathcal{B}_m^n}, {_\gamma\mathcal{Q}_m^n}\) and \({_\gamma \mathcal{H}_m^n}\) in \(le\)-\(\Gamma\)-semigroups
- scientific article; zbMATH DE number 4134349 (Why is no real title available?)
- scientific article; zbMATH DE number 4089811 (Why is no real title available?)
- scientific article; zbMATH DE number 1093964 (Why is no real title available?)
- scientific article; zbMATH DE number 1779390 (Why is no real title available?)
This page was built for publication: Inter-related semigroups of \(\Gamma\)-semigroups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1915901)
