1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    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!

Automorphisms are isomorphisms

  1. Nov 12, 2011 #1
    If [itex]\sigma\in Aut(G)[/itex] and [itex]\varphi_g[/itex] is conjugation by g prove [itex]\sigma\varphi_g\sigma^{-1}=\varphi_{\sigma(g)}[/itex]. Deduce [itex]Inn(G)\trianglelefteq Aut(G)[/itex]

    Let [itex]x\in G[/itex].

    [tex]\sigma\varphi_g\sigma^{-1}(x)=\sigma(g\sigma^{-1}(x)g^{-1})=\sigma(g)x\sigma(g)^{-1}[/tex]

    Why is this:
    [tex]\sigma(g\sigma^{-1}(x)g)=\sigma(g)x\sigma(g)^{-1}[/tex]
     
    Last edited: Nov 12, 2011
  2. jcsd
  3. Nov 12, 2011 #2

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Re: Aut(g)

    You should include more information when you ask questions like this. Perhaps I suck more than most at abstract algebra terminology, but I have no idea what Inn and trianglelefteq means, and I'm not sure "conjugation" means what I'm guessing it means either.

    OK, it looks like my guess about "conjugation" was right. You meant [itex]\varphi_g(h)=ghg^{-1}[/itex], right? (You missed a ^{-1}).

    Because Aut(G) is the group of automorphisms on G. Automorphisms are permutations that preserve the group multiplication operation.
     
  4. Nov 12, 2011 #3
    Re: Aut(g)

    Inn is inner automorphism. Correct on conjugation.
    trianglelefteq is a normal subgroup.

    I still don't see how that is equal.
     
  5. Nov 12, 2011 #4

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Re: Aut(g)

    I assume that you know that automorphisms are isomorphisms, that isomorphisms are homomorphisms, and that every homomorphism f satisfies f(xy)=f(x)f(y) for all x,y in the group? So what is f(xyz)?

    What you actually need to evaluate is of the form f(xyz-1), but it's easy to prove that f(x-1)=f(x)-1 for all x in the group.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Automorphisms are isomorphisms
  1. An Isomorphism (Replies: 3)

  2. Automorphism Group (Replies: 2)

Loading...