A construction of a finitely presented semigroup containing an infinite square-free ideal with zero multiplication
I. A. Ivanov-Pogodaev, Sergey Malev, Olga Sapir · International Journal of Algebra and Computation · 2018
This work provides an example of a finitely presented semigroup [Formula: see text] with zero containing an infinite ideal of the form [Formula: see text], where [Formula: see text] is a generator of [Formula: see text], such that every word in generators representing an element of [Formula: see text] is square free (i.e. any word of the type [Formula: see text], for non-empty [Formula: see text], equals zero in [Formula: see text]).