1. Not finding help here? Sign up for a free 30min 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!

Order of elements in finite abelian groups

  1. Jan 20, 2008 #1
    prove that if G is a finite and abelian group and m is the least common multiple of the order of it's element, that there is an element of order m.

    My idea:

    if ai are the elements of G, the order of a1*a2 is lcm(a1,a2) and the result follows directly when applied to all ai... but why is this correct and why is this only for abelian groups?
     
    Last edited: Jan 20, 2008
  2. jcsd
  3. Jan 20, 2008 #2

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    The order of a1*a2 is not lcm(o(a1),o(a2)), e.g. take a nonidentity element and its inverse: the order of their product is 1, but the lcm of their orders is >1.

    And yes, abelian is necessary here. (Try to find an example of a finite nonabelian group in which this is not true.)
     
  4. Jan 20, 2008 #3
    I did that, that was the next question in the book =P,
    D3 is a finite nonabelian group, in which the elements have order 1,2, or 3. The least common multiple of these is 6 and the result is not true.
     
  5. Jan 20, 2008 #4

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    Yup, that works. For the original problem try looking at the structure theorem for finite abelian groups.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?