А нет ли у кого доступа к mathnet.ru?

вообще-то это чисто технический результат, который довольно очевиден. Свободная полугруппа это просто слова. Уравнение в ней это просто матчинг слов типа abcXcbbY == ZbbA. Причем нет никакого сокращения обратных элементов, которые портят всю ситуацию для групп. Можно самому доказать, как упражнение -- полезней будет.

Если вы погуглите про эту статью, то увидите, что она и "epochal", "seminal", да и с "celebrated results". Круг рассматриваемых там вопрос гораздо более интересный и глубокий.