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).