1. PF Contest - Win "Conquering the Physics GRE" book! Click Here to Enter
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The set of all conjugates of a and the set of all cosets of the Centralizer of a

  1. Jun 30, 2012 #1
    I am working on constructing a bijection between the set of all conjugates of a and the set of all cosets of the Centralizer of a. Now, I let [a]={xεG: xax-1}. This is the set of all conjugates of a. The set {Cax : xεG} is the set of all cosets of Ca. Hence, I want a function f: [a] -> {Cax : x G}. I want to define f to be f(xax-1)= (xax-1)x. From a previous exercise, I am equipped with the fact that x-1ax= y-1ay if and only if Cax= Cay. Thus, if f(xax-1)=f(yay-1), then (xax-1)x= (yay-1)y which implies membership to both Cax and Cay. Hence xax-1= yay-1 and f is injective....

    Before I go any further (i.e. prove that f is surjective and place QED at the end), is this the right idea? Or have I missed something or, perhaps, defined my function incorrectly? The fact that I am posting on here means I feel that something is amiss:redface:.
  2. jcsd
  3. Jun 30, 2012 #2
    What do you mean with thus function. We have that [itex](xax^{-1})x[/itex] is an element of G, it is not a coset of [itex]C_a[/itex]. You need f to map [itex]xax^{-1}[/itex] to a coset of [itex]C_a[/itex].
  4. Jun 30, 2012 #3
    Hmmm... What I am trying to do is map each element xax-1ε[a] to Cax for each xεG. Hence, define f(xax-1)=Cax..... Thus, if f(xax-1)=f(yay-1), then Cax= Cay which implies x-1ax= y-1ay..... AAAAAAAHHHHAAA!!! =) Better? I think it just hit me like a ton of bricks. You are the best micromass!
  5. Jun 30, 2012 #4
    Be careful, you still want f to be well-defined. That is, if both [itex]xax^{-1}[/itex] and [itex]yay^{-1}[/itex] define the same element, then f of them is the same.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - conjugates cosets Centralizer Date
Complex Conjugate Inequality Proof Sep 21, 2016
Conjugation in the Free Group Jul 12, 2016
Two conjugate elements of a group have the same order PROOF Apr 21, 2016
Subgroup conjugation and cosets Mar 5, 2012