Results 1 to 6 of 6

Math Help - Order of groups involving conjugates and abelian groups

  1. #1
    Member
    Joined
    Nov 2008
    Posts
    152

    Order of groups involving conjugates and abelian groups

    1. Let G be a group and let a be in G. An element b in G is called a conjugate of a if there exists an element x in G such that b = xax^-1. Show that any conjugate of a has the same order as a.

    2. Let G be an abelian group and let x,y be in G. Suppose that x and y are of finite order. Show that xy is of finite order and that, in fact, o(xy) (order of xy) divides o(x)o(y).
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by Janu42 View Post
    1. Let G be a group and let a be in G. An element b in G is called a conjugate of a if there exists an element x in G such that b = xax^-1. Show that any conjugate of a has the same order as a.
    Hint: If b = xax^{-1} then b^n = xa^n x^{-1}.

    2. Let G be an abelian group and let x,y be in G. Suppose that x and y are of finite order. Show that xy is of finite order and that, in fact, o(xy) (order of xy) divides o(x)o(y).
    Note (ab)^k = a^kb^k since G is abelian.
    If |x|=n,|y|=m then (xy)^{nm} = (x^n)^m(y^m)^n = 1.
    Thus, |xy| \text{ divides }|x||y|.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Nov 2008
    Posts
    152
    Thanks again. Also, quick one:

    G = {1,2,3,4,5,6}
    The group (G, *), where * is multiplication mod 7. For example, 2*4 = 8 = 1, since 8 = 1 mod 7.

    How do I show it's cyclic? I know it is, but which element of G can I use as the generator?

    If I do <1>, doesn't that mean when I do 1^2 it is 1*1 and 1^3 is 1*1*1?
    Because then I would have 1 every time.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by Janu42 View Post
    Thanks again. Also, quick one:

    G = {1,2,3,4,5,6}
    The group (G, *), where * is multiplication mod 7. For example, 2*4 = 8 = 1, since 8 = 1 mod 7.

    How do I show it's cyclic? I know it is, but which element of G can I use as the generator?

    If I do <1>, doesn't that mean when I do 1^2 it is 1*1 and 1^3 is 1*1*1?
    Because then I would have 1 every time.
    Find an element a so that G = \{ a,a^2,a^3,a^4,a^5,a^6\}, remembmer a^k means a raised to k reduced mod 7.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Nov 2008
    Posts
    152
    OK, one more, I'm pretty sure this is simple. I'm pretty sure it has something to do with the order being a multiple of 2.

    Show that if the order of G is an even integer, then there is an element x in G such that x is not equal to e, and x^2 = e.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    10
    Quote Originally Posted by Janu42 View Post
    OK, one more, I'm pretty sure this is simple. I'm pretty sure it has something to do with the order being a multiple of 2.

    Show that if the order of G is an even integer, then there is an element x in G such that x is not equal to e, and x^2 = e.
    Assume not. Then for every x\not = e there is y so that xy=e. Thus, all elements \not = e can be paired with their inverses. But then that means there are odd number of elements.
    A contradiction.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Classification of Non-Abelian Groups of Order 42
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: August 24th 2011, 09:01 PM
  2. How Many Abelian Groups of Given Order
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: March 31st 2011, 05:27 PM
  3. Abelian groups and Homology groups
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: December 6th 2010, 02:44 PM
  4. Non-abelian groups of order p^2 q
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: June 16th 2009, 01:32 AM
  5. Order of abelian groups
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: June 22nd 2008, 08:15 AM

Search Tags


/mathhelpforum @mathhelpforum