Об одном вопросе Хигмана

Строится конечно-порожденная группа с коперечислимой проблемой равенства, не реализуемая рекурсивными перестановками. Это отвечает на устный вопрос Хигмана.