Exercice 9, § 7

Soient x, y dans X, tels que $x \neq y$. Montrer que le sous-monoïde de Mo(X) engendré par $\{x, xy, yx\}$ n’est pas isomorphe à un monoïde libre.