Hi! I have a question in Elementary abstract algebra, I have a question that says: Let a and b be elements of group G, and let ord(a)=m and ord(b)=n, then: If a and b commute, then ord(ab) is divisor of lcm(m,n).
Now to prove it, let q be any nonnegative integer number, then (ab)^q = e, then since they commute, then a^q.b^q=e (the proof continues to show that a is not inverse of b, therefore a^q=e and b^q=e and it implies that they must have a common divisor which is lcm(n,m) ). Now, my question: it seems for me that if ab commute or not, then it is always true. I don't understand why commu…
Now to prove it, let q be any nonnegative integer number, then (ab)^q = e, then since they commute, then a^q.b^q=e (the proof continues to show that a is not inverse of b, therefore a^q=e and b^q=e and it implies that they must have a common divisor which is lcm(n,m) ). Now, my question: it seems for me that if ab commute or not, then it is always true. I don't understand why commu…