Order of elements in finite abelian groups

jacobrhcp

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:
Related Calculus and Beyond Homework Help News on Phys.org

morphism

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.)

jacobrhcp

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.

morphism

Homework Helper
Yup, that works. For the original problem try looking at the structure theorem for finite abelian groups.

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving