Order of Group Element in Group Direct Product

Theorem
Let $G$ and $H$ be finite groups.

Let $g \in G: \left|{g}\right| = m, h \in H: \left|{h}\right| = n$.

Then $\left|{\left({g, h}\right)}\right|$ in $G \times H$ is $\operatorname{lcm} \left\{{m, n}\right\}$.

Proof
Let $G$ and $H$ be a groups whose identities are $e_G$ and $e_H$.

Let $l = \operatorname{lcm} \left\{{m, n}\right\}$.

From the definition of lowest common multiple, $\exists x, y \in Z: l = m x = n y$.

From the definition of order of an element, $g^m = e_G, h^n = e_H$.

Thus:

Now suppose $\exists k \in \Z: \left({g, h}\right)^k = \left({e_G, e_H}\right)$.

It follows that $\left({g, h}\right)^k = \left({g^k, h^k}\right) = \left({e_G, e_H}\right)$.

Thus $g^k = e_G, h^k = e_H$.

It follows from $g^k = e_G$ and $\left|{g}\right| = m$, by Integer Absolute Value Greater than Divisors, that $m \backslash k$.

Similarly it follows that $n \backslash k$.

So $k$ is a positive common multiple of both $m$ and $n$.

Since $l$ is the least common multiple, $l \le k$.

Therefore $l$ is the smallest such that $\left({g, h}\right)^l = \left({e_G, e_H}\right)$ and the result follows by Order of an Element.