(формулы)
\text:

B
Ну мне вообще в принципе интересно как делается это в общем случае, но в моем конкретном случае это из

в

, где

- свободная группа ранга 2.
Ну давайте подумаем...
(жалкая попытка)
Если

- эпиморфизм, то в

д.б. нормальная подгруппа

, индекс
![$[F:H_n]=|D_n|$ $[F:H_n]=|D_n|$](https://dxdy-01.korotkov.co.uk/f/8/2/b/82b43cdb79ebec545e4cb46705ce18f982.png)
- конечна, т.е.

- группа конечного индекса. Для заданного

такие подгруппы можно перебирать руками...
Один эпиморфизм очевиден сразу, он получается из представлений

и

(явно используем представление для

)...
В принципе, у меня есть описание

, но поможет ли оно нам (там

- подгруппа

)?
Еще один эпиморфизм получается из невнутреннего автоморфизма

. Вообще, у

есть внешние и внутренние автоморфизмы. Нормальные подгруппы инвариантны под действием внутренних автоморфизмов, значит остаются только внешние. А их у

очень мало (кажется, один). Т.е. мы можем получить как минимум

эпиморфизмов из одного.
А нет, внешних автоморфизмов 4.
В общем виде я не знаю как. Может как-то можно...
Поскольку каждому эпиморфизму биективно соответствует нормальная подгруппа, то число эпиморфизмов совпадает с числом нормальных подгрупп, т.е. можно пытаться перечислять подгруппы...