Let and be cyclic groups. If and and , show is cyclic. (Hint: show .)
Suppose G=<g>, H=<h>, and |(g,h)|=k. Then so . But then from the properties of the order, both divide ,
so k is a common multiple. Then what we want is the least common multiple of the orders, and that is thus we have found the generator, and the result follows