Proof Problem: Show f(x-1)=f(x) for All x ∈ E

[Cyannaca]

I would really appreciate if anyone could help me with this problem.

F is a group homomorphism from G= (E, *) to H= (F,#).
If , for all x e E , x*x e ker(f).
Show that for all x e E, f(x-1)=f(x)

Now I don't know how I should start the proof. Also, I would like to know if I can assume that Ker(f) is equal to the identity element.

 

[AKG]

If x*x \in Ker(f) then this means precisely that f(x*x) = 1_F where 1_F is the identity element of H. You want to show something like:

f(x*y) = f(x)#f(y)

and

f(x^{-1}) = (f(x))^{-1}

In fact, you probably already have these proved somewhere. If you do, then use them and the rest should be very simple. Actually, I don't remember the definitions, but I have a feeling that the first thing (that f(x*y) = f(x)#f(y)) might just be a property of homomorphisms. The second property follows from the first at least in the case where x*x is in Ker(f), and probably in general too.

 

[matt grime]

You've got F as a homomorphism, and the underlying set of H (at least that's what I presume H=(F,#) means. Usually there is no reason to distinguish the group from its elements like that. Also, if you're not going to tex it then it's common to indicate inverses by putting the minus 1 in an exponent, since x-1 doesn't really make sense for a group. You may not assume ker(f) is the identity element, since that is saying f is an injection which is not given.

From the definition y in ker f iff f(y)=e conclude something about f(xx), and use AKG's stuff above which is the (usual) definitoin of what a homomorphism is.

And remember showing that y is the inverse of x is showing exactly that xy=yx=e.

 

[AKG]

Matt, I believe he/she meant f (lower case) to be the homomorphism, and F to be the set underlying group H.

 

[robert Ihnot]

Is that what the guy is talking about, F(x-1) is actually F(x^(-1))? Just written differently? No wonder the problem look mysterious! This is a completely simple problem now that it is written so it can be read! If F(x*x) goes to 1, then x is its own inverse, since by group property there can be only a unique inverse.

You got to be careful about how you write the inverse if you use a calculator, you know!