# Group Direct Product of Cyclic Groups

## Theorem

Let $G$ and $H$ both be finite cyclic groups with orders $n = \order G$ and $m = \order H$ respectively.

Then their group direct product $G \times H$ is cyclic if and only if $g$ and $h$ are coprime, that is, $g \perp h$.

### Corollary

Let $n_1, n_2, \ldots, n_s$ be a finite sequence of integers, all greater than $1$, such that for any pair of them $n_i$ and $n_j$, $n_1 \perp n_j$.

Let $G_i$ be a cyclic group of order $n_i$ for each $i: 1 \le i \le s$.

Then $G_1 \times G_2 \times \cdots \times G_s$ is cyclic of order $n_1 n_2 \ldots n_s$.

## Proof

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

### Necessary condition

Suppose:

$(1): \quad \order G = n, G = \gen x$
$(2): \quad \order H = m, H = \gen y$
$(3): \quad m \perp n$

Then:

 $\ds \order {\tuple {x, y} }$ $=$ $\ds k$ $\ds \leadsto \ \$ $\ds \tuple {x, y}^k$ $=$ $\ds e_{G \times H} = \tuple {x^k, y^k}$ Powers of Elements in Group Direct Product $\ds \leadsto \ \$ $\ds x^k$ $=$ $\ds e_G, y^k = e_H$ $\ds \leadsto \ \$ $\ds n$ $\divides$ $\ds k, m \divides k$ $\ds \leadsto \ \$ $\ds \lcm \set {n, m}$ $\divides$ $\ds k$ $\ds \leadsto \ \$ $\ds n m$ $\divides$ $\ds k$ as $n \perp m$

But then:

$\tuple {x, y}^{n m} = e_{G \times H} = \tuple {x^{n m}, y^{n m} }$

Thus:

$k \divides n m$

So:

$\order {\tuple {x, y} } = n m \implies \gen {\tuple {x, y} } = G \times H$

$\Box$

### Sufficient condition

Suppose that $G \times H$ is cyclic.

Let $\tuple {x, y}$ be a generator of $G \times H$.

By Cardinality of Cartesian Product the order of $G \times H$ is:

$\order G \cdot \order H = g h$

Therefore by Order of Cyclic Group equals Order of Generator:

$\order {\tuple {x, y} } = g h$

On the other hand, by Order of Group Element in Group Direct Product we have:

$\order {\tuple {x, y} } = \lcm \set {\tuple {\order x, \order y} }$

Next we claim that $x$ generates $G$.

Let $x' \in G$.

Then:

$\tuple {x', e_H} \in G \times H$

so there exists $k \in \N$ such that:

$\tuple {x, y}^k = \tuple {x^k, y^k} = \tuple {x', e_H}$

and therefore $x^k = x'$.

Thus the powers of $x$ generate the whole group $G$.

In the same way, it is seen that $y$ generates $H$.

Therefore by Order of Cyclic Group equals Order of Generator:

$\order x = g$
$\order y = h$

Thus we have that:

$g h = \order {\tuple {x, y} } = \lcm \set {g, h}$

Moreover by Product of GCD and LCM we have that:

$\lcm \set {g, h} = \dfrac {g h} {\gcd \set {g, h} }$

These two equalities imply that:

$\gcd \set {g, h} = 1$

That is, $g$ and $h$ are coprime.

$\blacksquare$

## Examples

### $C_2 \times C_2$ is not Cyclic

Let $C_2$ denote the cyclic group of order $2$.

The group direct product $C_2 \times C_2$ is not a cyclic group.

### $C_2 \times C_3$ is Cyclic

Let $C_2$ denote the cyclic group of order $2$.

The group direct product $C_2 \times C_3$ is a cyclic group.
{"ft_lang_label":"__label__en","ft_lang_prob":0.7339214,"math_prob":1.0000081,"size":3351,"snap":"2021-04-2021-17","text_gpt3_token_len":1242,"char_repetition_ratio":0.16402748,"word_repetition_ratio":0.11782946,"special_character_ratio":0.40853477,"punctuation_ratio":0.15539569,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000098,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-01-20T04:22:07Z\",\"WARC-Record-ID\":\"<urn:uuid:3d4276e2-438f-4645-aee1-f0c4885dbccf>\",\"Content-Length\":\"47520\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:b67e2cd5-9cf4-489c-8b9a-dd606ece3e33>\",\"WARC-Concurrent-To\":\"<urn:uuid:a43c0d16-7311-4530-8572-953c4ac8c5b8>\",\"WARC-IP-Address\":\"172.67.198.93\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Group_Direct_Product_of_Cyclic_Groups\",\"WARC-Payload-Digest\":\"sha1:3G2BI6RRS6UUCNZXLGRINFNQGGDU3NVD\",\"WARC-Block-Digest\":\"sha1:GHVFQHFC365IWOFU6KANFSNYAPVNKGEW\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-04/CC-MAIN-2021-04_segments_1610703519883.54_warc_CC-MAIN-20210120023125-20210120053125-00494.warc.gz\"}"}