Цитата:
получается что фи(0)=фи(а)....
допустим теперь возьмём фи(с)=фи(с*1)=(фи(с)+фи(1))/2
отсюда получим что фи(с)=фи(1)....
т.е. 2 гомоморфизма найдено, да???
Нет. Вы знаете, что для
любого 
выполнено

, если

— гомоморфизм. Иными словами, для любых

и любого гомомрфизма

верно

. Иными словами, если отображение — гомоморфизм, то оно отображает все элементы

в одно значение

.
В какое именно? Ну, проверьте, в какие можно отображать, а в какие нет.
Пожалуй, чуть подробнее разъясню. Мы предположили, что отображение — гомоморфизм и получили, что тогда оно будет все

переводить в один элемент из

. Но будет ли отображение, переводящее

в один элемент из

гомоморфизмом? Это надо проверить.
Проверьте, у вас должно получиться что да, будет. Тогда ответ совсем прост: все гомоморфизмы этих алгебр имеют вид

, где

.