Вот такая группа:

Как бы понятно, что

, поэтому можно все образующие, кроме

выкинуть, и останется

.
Но это на интуитивном уровне, а на формальном - с помощью преобразований Титце - как это сделать? Мы ведь можем здесь выполнять лишь конечное число преобразований, обратных ко второму преобразованию Титце, а значит формально можем выкинуть лишь конечное число образующих. Значит, должна быть какая-то более сильная форма преобразований Титце (трансфинитная или как ее назвать) для работы с представлениями. Кто-нибудь встречал? Хотелось бы на формальную формулировку посмотреть, чтобы сильно не тормозить на подобных, но более сложных случаях (более сложный, хотя тоже понятный, например, такой:

).
...Ммм, типа так: если

- множество соотношений для

,

такие, что все

позволяют выразить все

через

(биекцию установить между

и

) и все

не зависят от переменных

, то

и

мы можем исключить из представления.