Product of two cyclic groups is cyclic iff their orders are co-prime

$\begin{align}{\bf Hint}\ \ \ & \Bbb Z_m \times \mathbb Z_n\ \text{is noncyclic}\\[.2em] \iff\ & \Bbb Z_m \times \Bbb Z_n\ \text{has all elts of order} < mn\\[.2em] \iff\ & {\rm lcm}(m,n) < mn\\[.2em] \iff\ & \!\gcd(m,n) > 1 \end{align}$


Note that $|G\times H|=|G||H|=nm$; so $G\times H$ is cyclic if and only if there is an element of order $nm$ in $G\times H$.

In any group $A$, if $a,b\in A$ commute with one another, $a$ has order $k$, and $b$ has order $\ell$ then the order of $ab$ will divide lcm$(k,\ell)$ (prove it).

Now take an element of $G\times H$, written as $(g^a,h^b)$, where $G=\langle g\rangle$, $H=\langle h\rangle$, $0\leq a\lt n$, $0\leq b\lt m$. Then $(g^a,h^b)=(g^a,1)(1,h^b)$. In this case, what is the order? Under what conditions can you get an element of order exactly $nm$, which is what you need?


The order of $G\times H$ is $n.m$. Thus, $G\times H$ is cyclic iff it has an element with order $n.m$. Suppose $gcd(n.m)=1$. This implies that $g^m$ has order $n$, and analogously $h^n$ has order $m$. That is, $g\times h$ has order $n.m$, and therefore $G\times H$ is cyclic.

Suppose now that $gcd(n.m) >1$. Let $g^k$ be an element of $G$ and $h^j$ be an element of $H$. Since the lowest common multiple of $n$ and $m$ is lower than the product $n.m$, that is, $lcm(n,m) < n.m$, and since $(g^k)^{lcm(n,m)} = e_{G}$, $(h^j)^{lcm(n,m)} = e_{H}$, we have $(g^k\times h^j)^{lcm(n,m)} = e_{G\times H}$. It follows that every element of $G\times H$ has order lower than $n.m$, and therefore $G\times H$ is not cyclic.