No label defined (Q4039095)

Let \(\alpha=\alpha_ 1 \alpha_ 2\dots \alpha_ n\in\{0,1\}^ n \setminus \{1\}^ n\). For every nonempty subset \(A\) of a semigroup \(S\) we put \(f^ S(A)= A_ 1 A_ 2\dots A_ n\), where \(A_ i=A\) for \(\alpha_ i=1\) and \(A_ i=S\) for \(\alpha_ i=0\). A nonempty subset \(M\) of \(S\) is called a generalized \(\alpha\)-ideal of \(S\) if \(f^ S(M) \subseteq M\). For every element \(a\) of \(S\) we put \(f^ S(a)= f^ S(\{a\})\). It is easy to show that \(G^ S(a)= \{a\}\cup f^ S(a)\) is the smallest generalized \(\alpha\)-ideal of \(S\) containing \(a\). \(G^ S(a)\) will be called the principal generalized \(\alpha\)-ideal (or simply the p.g. \(\alpha\)-ideal) of \(S\) generated by \(a\). The author studies p.g. \(\alpha\)-ideals and maximal p.g. \(\alpha\)-ideals in the direct product of semigroups. The main results are the following. Let \(S=\prod\{S_ i\); \(i\in I\}\), where \(S_ i\) is a semigroup for all \(i\in I\). We shall assume that \(\text{card } I>1\) and \(\text{card } S_ i>1\) for all \(i\in I\). For every \(a\in S\) we put \(a_ i= \text{proj}_ i a\) for all \(i\in I\). If \(f^ S(a)= G^ S(a)\), then \(G^ S(a)\) is a maximal p.g. \(\alpha\)-ideal of \(S\) iff \(G^{S_ i}(a_ i)\) is a maximal p.g. \(\alpha\)-ideal in \(S_ i\) for all \(i\in I\) (Theorem 6). If \(f^ S(a)\subset G^ S(a)\), then \(G^ S(a)\) is a maximal p.g. \(\alpha\)-ideal in \(S\) iff there exists \(j\in I\) such that \(f^{S_ j}(a_ j)\subset G^{S_ j}(a_ j)\) and \(G^{S_ j}(a_ j)\) is a maximal p.g. \(\alpha\)-ideal in \(S_ j\) (Theorem 7).