Вложения, задаваемые универсальными словами в свободной группе ранга $2$

Для любой счетной группы, заданной своими порождающими и определяющими соотношениями, рассмотрен специфический метод eе вложения в некоторую $2$-порожденную группу. Это вложение позволяет явно указать образы порождающих из счетной группы в $2$-порожденной группе и явно вывести из eе соотношений все определяющие соотношения для $2$-порожденной группы, наследующие некоторые специальные свойства. Полученный метод может быть использован при построении явных вложений рекурсивных групп в конечно определенные группы.