A construction of a finitely presented semigroup containing nonnilpotent nil ideal
I. A. Ivanov-Pogodaev, Sergey Malev · arXiv (Cornell University) · 2016
This work presents an example of a finitely presented semigroup $S$ containing an infinite nonnilpotent nil ideal $LS$, whose elements do not have a square (i.e. any word of the type $LXYYZ$ equals zero.)