prove map σ:y→xyx⁻ is bijective


by catherinenanc
Tags: bijective, prove
catherinenanc
catherinenanc is offline
#1
Mar15-12, 08:25 PM
P: 49
1. Let G be any group and x∈G. Let σ be the map σ:y→xyx⁻. Prove that this map is bijective.
It seems to be written strangely, since it never really says anywhere that y is in G, but I guess that must be an assumption.


2. bijective=injective+surjective.
in order to prove injective, we need to show that y1≠y2→xy1x⁻≠xy2x⁻
and in order to prove surjective, we need to show that for every g in G, there exists a y in G such that xyx^-1=g.




3. I think that I can say: Let y=x^-1gx. Then xyx-1=g and we are done for surjective.
I don't really know how to "show" injective, since it seems obvious.
Phys.Org News Partner Science news on Phys.org
Better thermal-imaging lens from waste sulfur
Hackathon team's GoogolPlex gives Siri extra powers
Bright points in Sun's atmosphere mark patterns deep in its interior
LCKurtz
LCKurtz is offline
#2
Mar15-12, 09:19 PM
HW Helper
Thanks
PF Gold
LCKurtz's Avatar
P: 7,187
Instead of showing ##y_1\ne y_2 \to xy_1x^{-1}\ne xy_2x^{-1}## try showing the contrapositive.
catherinenanc
catherinenanc is offline
#3
Mar15-12, 09:28 PM
P: 49
So I show that xy1x-1=xy2x-1→y1=y2 by simply left-multiplyng both sides by x-1 and right-multiplying both sides by x? Is that too simple?

Also, does my thinking on surjective work?

LCKurtz
LCKurtz is offline
#4
Mar15-12, 09:32 PM
HW Helper
Thanks
PF Gold
LCKurtz's Avatar
P: 7,187

prove map σ:y→xyx⁻ is bijective


Yes, it all looks OK to me.
catherinenanc
catherinenanc is offline
#5
Mar15-12, 09:33 PM
P: 49
Ok, thanks!


Register to reply

Related Discussions
Prove Lim x→9 √(x-5) = 2 Calculus & Beyond Homework 5
Prove N X N is countable and provide a bijective function Calculus & Beyond Homework 5
Prove a map of a space onto itself is bijective Set Theory, Logic, Probability, Statistics 7
Prove that lim gn for n→∞ exists, and find it. Calculus & Beyond Homework 1
Prove that lim gn for n→∞ exists, and find it. Calculus 1