В принципе, я согласен с тем, что тут можно всё осилить вручную. Про программу, убивающую задачу тупым перебором, написал лишь потому, что люблю программировать. Хотя и плохо владею современными программными средствами. Но программировать люблю
Давайте посчитаем. Достаточно назначить образы отображения для порождающих
,
и
, а затем проверить, сохраняется ли операция при её естественном продолжении. При этом для двойки и тройки имеем по
вариантов выбора образа, а для единицы всего два (
и
). Итого перебор на
вариантов. Но реально их ожидается ещё меньше. Поехали!
1)
. Эндоморфизм, отправляющий всё в
.
2)
.
и
, но при этом
. Отпадает.
3)
. Отпадает по аналогичным причинам.
4)
.
и
. С другой стороны,
. Отпадает.
5)
. Тождественный эндоморфизм.
6)
.
,
. Вроде бы эндоморфизм...
Н-да, тяжело это, перебирать вручную. Уж лучше программу!