Тк группа абелева то , операция * коммутативна
x*y=y*x
тогда '.' пусть будет повторением групповой оперции
x*x*x*x*x*....*x*x=nx
(x*y)>n(x*y)=(x*y)*(x*y)...(x*y)=x*x*x*...*x*y*y*y*y*...*y=nx*ny
выполняется F(x+y)=F(x)+F(y)--> эндоморфизм