A construction of a finitely presented semigroup containing an infinite square-free ideal with zero multiplication
This work provides an example of a finitely presented semigroup H with zero containing an infinite ideal of the form I = LH, where L is a generator of H, such that every word in generators representing an element of I is square free (i.e. any word of the type LXYYZ, for non-empty Y, equals zero in H).
This is a joint work with Ilya Ivanov-Pogodaev and Olga Sapir.
Keywords: Finitely presented semigroups; nil ideals; nil semigroups; nil rings.