A construction of a finitely presented semigroup containing an infinite square-free ideal with zero multiplication

Wed, 27/02/2019 - 10:30

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.