В принципе, я согласен с тем, что тут можно всё осилить вручную. Про программу, убивающую задачу тупым перебором, написал лишь потому, что люблю программировать. Хотя и плохо владею современными программными средствами. Но программировать люблю
Давайте посчитаем. Достаточно назначить образы отображения для порождающих

,

и

, а затем проверить, сохраняется ли операция при её естественном продолжении. При этом для двойки и тройки имеем по

вариантов выбора образа, а для единицы всего два (

и

). Итого перебор на

вариантов. Но реально их ожидается ещё меньше. Поехали!
1)

. Эндоморфизм, отправляющий всё в

.
2)

.

и

, но при этом

. Отпадает.
3)

. Отпадает по аналогичным причинам.
4)

.

и

. С другой стороны,

. Отпадает.
5)

. Тождественный эндоморфизм.
6)

.

,

. Вроде бы эндоморфизм...
Н-да, тяжело это, перебирать вручную. Уж лучше программу!