Ask your own question, for FREE!
Mathematics 25 Online
OpenStudy (anonymous):

Hello, Suppose a group G for * and that a belongs to G. Declare f: G to G and that f(x)=a^-1*x*a. a^-1 is the inverse element of a. f is an injective and surjective. Now i have to prove that if b,c which belong to f are inversive then f(b) and f(c) are inversive. Any help would be great. Thanks

OpenStudy (kinggeorge):

It's a bit difficult for me to follow. Are you given that f is injective and surjective? Or do you want to prove that.

OpenStudy (anonymous):

It's given, Already proven.

OpenStudy (kinggeorge):

Have you learned the fact that any function that is bijective must have an inverse?

OpenStudy (anonymous):

Yes, I have. But so far it didn't help me much.

OpenStudy (kinggeorge):

Alright. Next part. What do you mean when you say that b,c belong to f, and are inversive?

OpenStudy (anonymous):

Sorry, my bad. b and c belong to the group G and are inversive. Thank you, btw, for your help.

OpenStudy (kinggeorge):

Do mean that if b and c are inverses of each other, then f(b) and f(c) are inverses of each other?

OpenStudy (anonymous):

Yes

OpenStudy (kinggeorge):

Great. Then look at \(f(b)f(c)\). This should equal e.\[ \begin{aligned} f(b)f(c)&=(aba^{-1})(aca^{-1})\\ &=ab(a^{-1}a)ca^{-1}\\ &=a(bc)a^{-1}. \end{aligned}\]Now, we are assuming that \(bc=e\), so we get\[aa^{-1}=e.\]Thus, \(f(b)f(c)=e\). Make sense?

OpenStudy (anonymous):

You are putting * between each element, right?

OpenStudy (kinggeorge):

Correct. I was merely being a bit lazy, but technically there is * between every element.

OpenStudy (kinggeorge):

I need to leave now, but if you have any questions, just tag me in this post, and I'll be able to see it. Then I'll come back on later today, hopefully with an answer.

OpenStudy (anonymous):

@KingGeorge, the transition between line 1 and 2 wasn't possible if G wasn't associative, right? It would be great if you could explain this transition. Thanks.

OpenStudy (kinggeorge):

Yes, you do need associativity for that step. Fortunately, G is a group, so it has associativity.

OpenStudy (anonymous):

Thank you again.

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!