Lagmental Vicfred

When a Direct Product of Cyclic Groups Is Cyclic by Vicfred

tags: mathematics, abelian groups, cyclic groups, structure theorem

The product C_m times C_n is cyclic exactly when m and n are coprime. This is a compact note, but the quantifiers and hypotheses stay on the page.

Start locally

Finite abelian groups become transparent after decomposing into \(p\)-primary components. For a cyclic group \(C_n\), element orders are controlled by \(\gcd(k,n)\) and direct products by least common multiples.

$$ (a,b)\in C_m\times C_n $$

There are two layers here: the object \(\mathsf D\) and the law \(\mathsf C\). Writing them separately makes the direction of \(\Longrightarrow\) visible and keeps an accidental converse from slipping in.

$$ |C_m\times C_n|=mn,\qquad |(a,b)|=\operatorname{lcm}(|a|,|b|) $$

Compute before generalising

This is the algebraic core of the note. Once this line is correct, the surrounding interpretation has something solid to refer to.

$$ \begin{cases}C_m\times C_n\cong C_{mn},&\gcd(m,n)=1,\\C_m\times C_n\ \text{not cyclic},&\gcd(m,n)>1.\end{cases} $$

The global view

The aligned summary deliberately puts the datum and conclusion on different rows. Mathematically, this is the distinction between specifying an object and proving a property of it.

$$ \begin{aligned} \mathsf{D}\;&:\quad (a,b)\in C_m\times C_n,\\[5pt] \mathsf{C}\;&:\quad |C_m\times C_n|=mn,\qquad |(a,b)|=\operatorname{lcm}(|a|,|b|). \end{aligned} $$

Edge conditions

An invariant such as order, exponent, or rank can rule out an isomorphism, but matching one invariant never proves two groups are isomorphic.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] |C_m\times C_n|=mn,\qquad |(a,b)|=\operatorname{lcm}(|a|,|b|) \end{gathered}} $$

A symbolic summary is trustworthy only because the example and limitation remain visible beside it. The box compresses the conclusion without hiding its origin.

This article was posted on Wed 03 January 2018. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.