Results 1 to 11 of 11

Math Help - group theroy question

  1. #1
    Junior Member
    Joined
    Apr 2010
    Posts
    51

    group theroy question

    Let a be an element of maximum order from a finite Abelian group G. Prove that for any element b, |b| divides |a| (order of b divides order of a). Show by example that this need not be true for finite non-Abelian Groups.
    I'am really stuck on this one. Any help would be great
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    Hi

    Hint: In a group, let g,f be two elements of finite order which commute, what is the order of gf ?

    For the non-abelian counterexample, you can take a look at S_3.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Apr 2010
    Posts
    51
    If the order of g=n and the order of f=m, then the order of gf would divide m*n. So if an element does not divide the element of maximum order in a finite Abelian group G, the order of fg>f when f is the maximal order element, this would result in a contradiction. Is this right?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Junior Member
    Joined
    Apr 2010
    Posts
    51
    also, are all finite abelian groups cyclic?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by wutang View Post
    also, are all finite abelian groups cyclic?

    No: \{e,a,b,ab\} is an abelian non-cyclic group, with ab=ba

    Tonio
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by clic-clac View Post
    Hint: In a group, let g,f be two elements of finite order which commute, what is the order of gf ?
    i don't think anybody knows the answer! you probably had this in your mind that the answer is the lcm of the orders, but that is not necessarily true even for abelian groups. for example look at

    the case g=f^{-1}. anyway, what wutang needs here is this fact that for any two elements a,b in a finite abelian group, there exists an element c such that |c|=\text{lcm}(|a|,|b|). see here.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Senior Member
    Joined
    Nov 2008
    From
    Paris
    Posts
    354
    Ouch that will teach me to think more before posting, thank you.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Junior Member
    Joined
    Apr 2010
    Posts
    51
    NonCommAlg could you help explain to me how the results in your link would result in a contradicition if |b| does not divide the order of |a| when a is an element of maximum oirder in a finite abelian group?
    Follow Math Help Forum on Facebook and Google+

  9. #9
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by wutang View Post
    NonCommAlg could you help explain to me how the results in your link would result in a contradicition if |b| does not divide the order of |a| when a is an element of maximum oirder in a finite abelian group?
    choose c \in G such that |c|=\text{lcm}(|a|,|b|). now if |b| does not divide |a|, then |c|=\text{lcm}(|a|,|b|) > |a| and so a cannot have the maximum order. contradiction!
    Follow Math Help Forum on Facebook and Google+

  10. #10
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by clic-clac View Post
    Ouch that will teach me to think more before posting, thank you.
    it's ok. this is one of the most notorious mistakes in (elementary) group theory that even some graduate students make! i don't know why?
    Follow Math Help Forum on Facebook and Google+

  11. #11
    Member
    Joined
    Apr 2010
    Posts
    78
    Quote Originally Posted by NonCommAlg View Post
    it's ok. this is one of the most notorious mistakes in (elementary) group theory that even some graduate students make! i don't know why?
    Probably because it looks so convincing, especially to those smart people. When I was grading intro algebra homework (when I was the TA), the people who made this mistake were all top students in the class.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. group theroy question
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 17th 2010, 04:25 PM
  2. Good number theroy question
    Posted in the Number Theory Forum
    Replies: 2
    Last Post: January 10th 2009, 12:35 AM
  3. number theroy
    Posted in the Number Theory Forum
    Replies: 9
    Last Post: October 14th 2008, 07:24 AM
  4. Set Theroy
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: April 10th 2008, 06:57 PM
  5. Set Theroy
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 27th 2008, 09:34 AM

Search Tags


/mathhelpforum @mathhelpforum