Let G be a group and let a,b be two elements of G. What can we say about the order of their product ab?

Wikipedia says “not much”:

There is no general formula relating the order of a product ab to the orders of a and b. In fact, it is possible that both a and b have finite order while ab has infinite order, or that both a and b have infinite order while ab has finite order.

On the other hand no examples are provided. (Z,+),1 and −1 give an example of elements of infinite order with product of finite order. I can’t think of any example of the other kind! So:

- What’s an example of a group G and two elements a,b both of finite order such that their product has infinite order?

Wikipedia then states:

If ab=ba, we can at least say that ord(ab) divides lcm(ord(a),ord(b))

which is easy to prove, but not very effective. So:

- What are some similar results about the order of a product, perhaps with some additional hypotheses?

**Answer**

Simple examples are given by free products, assuming you know the normal form for a free product; otherwise, I’m not really saying much.

If you want a more concrete example, take the 2×2 matrices with coefficients in Q, and

a=(0110),b=(02120).

Then a2=b2=1, but

ab=(12002)

has infinite order.

If a and b commute, with ord(a)=m and ord(b)=n, then you can do better than Wikipedia. We have that:

lcm(m,n)gcd(m,n)divideslcm(m,n)|⟨x⟩∩⟨y⟩|dividesord(ab)divideslcm(m,n).

For example, if for every prime p that divides lcm(m,n), the highest power of p that divides m is different from the highest power of p that divides n, then ord(ab)=lcm(m,n).

If you are willing to impose global conditions (conditions on G), then for example Easterfield proved in 1940 that if G is a p-group of class c, a has order pα, and b has order pβ, then the order of ab is at most pm, where

m=max

From this you can get similar results for a finite nilpotent group (which is necessarily a product of p-groups), and hence for the product of two elements of finite order in any nilpotent group (or in fact, in any locally nilpotent group, or even more strongly, in any group in which the 2-generated subgroups are nilpotent).

**Attribution***Source : Link , Question Author : Jacopo Notarstefano , Answer Author : Arturo Magidin*