No label defined (Q3973326)

\textit{L. N. Shevrin} [Sib. Mat. Zh. 2, 936--942 (1961; Zbl 0118.02902)] introduced the class \(I_3\) of nilsemigroups all of whose proper subsemigroups are nilpotent. And he proved that a commutative \(I_3\)-semigroup is nilpotent. Since then, there have been found various noncommutative generalizations of Shevrin's theorem. For a nilsemigroup \(S\) denote \(S_K = \{x\in S\mid x^k=0\}\subseteq S\). Here the following general result (Th. 3) is proved. Let \(S\) be an \(I_3\)-semigroup such that for any \(m\in \mathbb{N}\) there exists \(n\in \mathbb{N}\), so that for any pair of elements \(s\in S_m\) and \(x\in S\backslash S_n\), \(xs\in Sx\) holds. Then \(S\) is nilpotent. For the entire collection see [Zbl 0738.20024].