No label defined (Q4039102)

This paper is a continuation of an earlier paper [ibid. 3, No. 1-2, 55-60 (1992; cf. the preceding review Zbl 0785.20028)]. A generalized \(\alpha\)- ideal \(M\) of a semigroup \(S\) is said to be an \(\alpha\)-ideal of \(S\) if moreover \(M\) is a subsemigroup of \(S\). For every element \(a\) of \(S\) we put \(I^ S(a)=G^ S(a)\cup \{a^ 2\}\cup \{a^ 3\}\cup \dots\cup \{a^{n-1}\}\), where \(G^ S(a)\) is the principal generalized \(\alpha\)- ideal of \(S\) generated by \(a\) and \(n\) is the length of \(\alpha\). Clearly \(I^ S(a)\) is the smallest \(\alpha\)-ideal of \(S\) containing \(a\), it will be called the principal \(\alpha\)-ideal of \(S\) generated by \(a\). The author studies properties of principal \(\alpha\)-ideals of semigroups and gives conditions for maximality of principal \(\alpha\)-ideals in the direct product of semigroups. For example, let \(a\) be an element of \(S=\prod\{S_ i\); \(i\in I\}\), where \(S_ i\) is a semigroup for all \(i\in I\). If \(a\in f^ S(a)\), then \(I^ S(a)\) is a maximal principal \(\alpha\)-ideal of \(S\) iff \(I^{S_ i}(a_ i)\) is a maximal principal \(\alpha\)-ideal of \(S_ i\) for all \(i\in I\) (Theorem 11). If \(I^{S_ k}(a_ k)\) is a maximal principal \(\alpha\)-ideal of \(S_ k\) for some \(k\in I\) such that \(a_ k\not\in f^{S_ k}(a_ k)\), then \(I^ S(a)\) is a maximal \(\alpha\)-ideal of \(S\) (Theorem 13).