Conjugation

From Maths
Jump to: navigation, search

Definition

Two elements [ilmath]g,h[/ilmath] of a group [ilmath](G,\times)[/ilmath] are conjugate if:

  • [ilmath]\exists x\in G[xgx^{-1}=h][/ilmath]

Conjugation operation

Let [ilmath]x[/ilmath] in [ilmath]G[/ilmath] be given, define:

  • [ilmath]C_x:G\rightarrow G[/ilmath] as the automorphism (recall that means an isomorphism of a group onto itself) which:
  • [ilmath]g\mapsto xgx^{-1} [/ilmath]

This association of [ilmath]x\mapsto c_x[/ilmath] is a homomorphism of the form [ilmath]G\rightarrow\text{Aut}(G)[/ilmath] (or indeed [ilmath]G\rightarrow(G\rightarrow G)[/ilmath] instead)

This operation on [ilmath]G[/ilmath] is called conjugation[1]


TODO: Link with language - "the conjugation of x is the image of [ilmath]c_x[/ilmath]" and so forth



Proof of clams

Claim: The map [ilmath]C_x:G\rightarrow G[/ilmath] given by [ilmath]g\mapsto xgx^{-1} [/ilmath] is an automorphism


To be an automorphism, it must be a bijection, which is to say it is both injective and surjective


Let [ilmath]x\in G[/ilmath] be given

Proof of injectivity
We wish to show that [ilmath]c_x(y)=c_x(y')\implies y=y'[/ilmath]
Suppose [ilmath]c_x(y)=c_x(y')[/ilmath] then [ilmath]xyx^{-1}=xy'x^{-1}[/ilmath]
[ilmath]\implies xy=xy'[/ilmath]
[ilmath]\implies y=y'[/ilmath]
So [ilmath]c_x(y)=c_x(y')\implies y=y'[/ilmath] is shown
Since [ilmath]x\in G[/ilmath] was arbitrary, we have shown all [ilmath]c_x[/ilmath] are injective


Proof of surjectivity
We wish to show that [ilmath]\forall g\in G\exists y\in G[c_x(y)=g][/ilmath]
Let [ilmath]g\in G[/ilmath] be given
  • Note: we want [ilmath]c_x(y)=g[/ilmath] which is [ilmath]xyx^{-1}=g\implies xy=gx\implies y=x^{-1}gx[/ilmath]
    • This is okay because:
      1. By hypothesis [ilmath]x,g\in G[/ilmath]
      2. As [ilmath]x\in G[/ilmath] we know [ilmath]\exists x^{-1}\in G[/ilmath]
      3. A group is closed under composition, so [ilmath]x^{-1}gx\in G[/ilmath] - which is a unique expression as the group is associative
        That is to say [ilmath](x^{-1}g)x=x^{-1}(gx)[/ilmath]
Choose [ilmath]y=x^{-1}gx\in G[/ilmath]
Then [ilmath]c_x(y) = xyx^{-1} = xx^{-1}gxx^{-1} = ege = g[/ilmath]
That is [ilmath]c_x(y)=g[/ilmath]
Since [ilmath]g[/ilmath] was arbitrary we have shown for a given [ilmath]x\in G[/ilmath] that [ilmath]c_x[/ilmath] is surjective
Since [ilmath]x[/ilmath] was arbitrary we have shown that all [ilmath]c_x[/ilmath] are sujective

Thus all [ilmath]c_x\in\text{Aut}(G)[/ilmath] - as required

Claim: The family [ilmath]\{C_x\vert x\in G\} [/ilmath] form a group, and [ilmath]x\mapsto c_x[/ilmath] is a homomorphism from [ilmath]G[/ilmath] to this family




TODO: Not done yet


See also

References

  1. Algebra - Serge Lang - Revised Third Edition - GTM