Группа с элементами конечного и бесконечного порядков.

[arseniiv]

arseniiv в сообщении #1397606 писал(а):

Совсем уж оффтоп, но надеюсь что кому-нибудь интересный:
Есть ли какая-то теорема о вложимости групп в виде параллельных переносов (здесь $b$) и отражений (здесь $a$) гиперболической плоскости? Кажется, вторая лестница могла бы быть вложима, если это вдруг не натыкается на метрические проблемы.

Ответ: если не ошибаюсь, свободную группу можно вложить как порождаемую параллельными переносами и оставляющую замощение $\{\infty,4\}$ на месте. https://en.wikipedia.org/wiki/Order-4_apeirogonal_tiling. Интересующую же группу, и её граф, можно тогда вложить, постирав в том замощении некоторые рёбра.

Было бы хорошо, если бы кто-то проверил.