Results 1 to 3 of 3

Math Help - If G has trivial center, what does Aut(G) ≈ Inn(G) imply?

  1. #1
    Newbie
    Joined
    Apr 2013
    From
    california
    Posts
    4

    If G has trivial center, what does Aut(G) ≈ Inn(G) imply?

    If H has trivial center. I know that if Z(G) is trivial, then Aut(G) has trivial center, but I need help understanding what is happening when G has a trivial center and Aut(G) ≈ Inn(G).

    I know that when Z(G) is trivial, then G ≈ Inn(G) but when does Aut(G) ≈ Inn(G) imply?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Newbie
    Joined
    Apr 2013
    From
    california
    Posts
    4

    Re: If G has trivial center, what does Aut(G) ≈ Inn(G) imply?

    Also, just remembered that [G:Z(G)] = #G (order of G) when Z(G) is trivial, and if the index of the centralizer is #G, we have at most #G ways to conjugate any element of G.

    Since Inn(G) ≈ G/Z(G) and Z(G) is trivial, we have Inn(G) ≈ G. Say ɸ is the homomorphism that maps G to Inn(G). Since we know this homomorphism is an isomorphism (bijective), does this mean that every element of G is conjugate to all elements of G?

    Feel like I'm making progress, but still not sure what Aut(G) ≈ Inn(G) is telling us.
    Last edited by jamiebog; May 7th 2013 at 01:29 AM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Apr 2013
    From
    california
    Posts
    4

    Re: If G has trivial center, what does Aut(G) ≈ Inn(G) imply?

    Not sure if I'm exactly right, but if we have Aut(G) ≈ Inn(G), then Aut(G) and Inn(G) must have the same number of elements, and since I stated in the earlier post that we found #Inn(G) = #G (So Inn(G) contains every element of G), then this means that #Aut(G) = #G. Since #Aut(G) = #Inn(G) = #G.

    If the order of the automorphism group of G contains as many elements as G, then the automorphism group of G contains every element of G. Does this mean that every element of G gets mapped to itself if we define an automorphism φ: G to G?

    If this is correct, then when Z(G) is trivial and we have Aut(G) ≈ Inn(G), then we know that the Inner automorphism group of G contains every element of G (every element of G commutes with every element of G) and also that the Automorphism group of G contains every element of G (Every element of G gets mapped to itself in the homomorphism φ: G to G).

    Can someone let me know if I am understanding this right. Thanks!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: May 7th 2013, 03:43 PM
  2. Replies: 0
    Last Post: May 25th 2011, 02:13 AM
  3. Need help with Trivial/Non trivial solution
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: April 6th 2010, 06:53 AM
  4. group of order 64 cannot have a trivial center
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: April 17th 2009, 03:18 PM
  5. Trivial/Non Trivial Solutions
    Posted in the Advanced Algebra Forum
    Replies: 14
    Last Post: October 15th 2008, 06:17 PM

Search Tags


/mathhelpforum @mathhelpforum