group problem

Let G be an abelian group and suppose that G has elements of orders
m and n, respectively. Prove that G has an element whose order is
the least common mutiple of m and n.

The following proof is presented in 'problems from herstein'.
=====================
Proof. Let o(a) = m and o(b) = n. If (m, n) = 1, then let c = ab.
Clearly, c^[m,n] = c^mn = a^mn b^mn = e. If o(c) = r, we have a^r =
b^(-r). Thus, e = a^mr = b^(-mr). But then n|mr. Since (m, n) = 1,
n|r. Similarly, m|r. This implies that [m, n] = mn|r and thus mn = r.

If (m, n) = d > 1, then o(a^d) = m/d and o(b^d) = n/d and (m/d, n/d) =
1. Thus (ab)^d has order mn/d^2 by previous case and thus ab has order
[m, n] = mn/d.
=====================
I wonder the last step. Why does ab have order mn/d if (ab)^d has the
order of mn/d^2?

If o(a^2)=5, o(a) is not necessary to be 10. It can be 5, too.

.

Relevant Pages

  • Re: group problem
    ... >> Let G be an abelian group and suppose that G has elements of orders ... have *coprime* orders, ... Derek Holt. ... Prev by Date: ...
    (sci.math)
  • Re: group structure
    ... > What is the structure of the abelian group G/H where ... Paul Sperry ... Columbia, SC ... Prev by Date: ...
    (sci.math)
  • Re: Isomorphism Classes
    ... > There is no abelian group of order 16 that contains ... I accidentaly miswrote the question, ... So now with the correction, ... Prev by Date: ...
    (sci.math)
  • Re: Some Abelian Groups
    ... > all positive integers n, and which also has the infinity order. ... > Can you classify such groups M? ... > Let G be an abelian group whose all elements except the identity ... Prev by Date: ...
    (sci.math)