This is a simple theorem I have read online:
With the following proof:Let G be a group and let be commuting elements of finite orders m, n, respectively,
where . Then is the trivial subgroup.
The question is: What does "commuting element" mean? If it's the ordinary meaning (Like in ab=ba).Let . Then |x| is a divisor of |g| and of |h|, and so |x| is a divisor of
gcd(|g|,|h|)=1. Thus x is the identity of G.
What is the role in the proof and why cannot the above theorem be proven for non-commuting elements?