The Berman conjecture is true for nilpotent extensions of regular semigroups. (Q2583607)

Let \(p_n\) be the number of all essentially \(n\)-ary operations defined on a finite semigroup \(S\). It is proved that if for the sequence of ideals \(S^m=\{s_1s_2\cdots s_m\mid s_1,\dots,s_m\in S\}\) there exists a natural \(k\) such that \(S^k=S^t\) for all \(t\geq k\) and \(S^k\) is regular, then either \(p_n\) is bounded above by a constant, or \(p_n<p_{n+1}\) for \(n\) large enough.