Originally Posted by

**goroner** Hi i got some problem solving this:

Let (G, *) be abelian group, then the function f:G->G defined with f(x) = x*x , for x E G is homomorphism, you must prove this is homomorphism.

I know what is homomorphism, one function is homomorphism if it is well defined over the operations between groups, for e.g. if we have op * in one group and # in other group than f is homomorphism defined as f(x*y) = f(x) # f(y) for every x,y E G, it is homomorphism between G and some other group H, so this task confused me , since the function is defined on the same group, as i get it the result from operating in bouth the groups for the same operands should be the same and that's how we say the function is homomorphic, if it gives same result for operating with the operations from the groups, for this reason i tought the function f is not homomorphic cause x != x*x , actualy i dont know what exactly the operation does but if in the group holds the idmepotentity law then x*x = x might be true, but that was not defined so i realy dont know how to solve this problem.

Thanks for help!