Lagmental Vicfred

The Exponent of a Finite Abelian Group by Vicfred

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

The exponent is the least common multiple of all element orders and the largest invariant factor in invariant-factor form. Keeping the exact identity in view prevents the geometric or probabilistic intuition from drifting.

The mathematical object

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.

$$ \exp(G)=\min\{m\ge1:g^m=e\ \forall g\in G\} $$

I keep the defining relation \(\mathsf D\) above the derived relation \(\mathsf C\). This exposes whether cancellation used \(x\ne0\) and whether the conclusion is canonical.

$$ G\cong C_{d_1}\times\cdots\times C_{d_r},\quad d_1\mid\cdots\mid d_r\Longrightarrow\exp(G)=d_r $$

One explicit computation

The computation below is not a second theorem. It is a checksum for the definitions and a place to inspect the difficult LaTeX at full size.

$$ \underbrace{C_4\times C_6}_{|G|=24,\ \exp(G)=12}\not\cong\underbrace{C_2\times C_{12}}_{|G|=24,\ \exp(G)=12} $$

Why the identity matters

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 \exp(G)=\min\{m\ge1:g^m=e\ \forall g\in G\},\\[5pt] \mathsf{C}\;&:\quad G\cong C_{d_1}\times\cdots\times C_{d_r},\quad d_1\mid\cdots\mid d_r\Longrightarrow\exp(G)=d_r. \end{aligned} $$

Where it can fail

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] G\cong C_{d_1}\times\cdots\times C_{d_r},\quad d_1\mid\cdots\mid d_r\Longrightarrow\exp(G)=d_r \end{gathered}} $$

This is enough machinery for one note: an exact object, a worked case, a structural law, and a clearly marked boundary. Each layer can now be tested independently.

This article was posted on Tue 26 July 2016. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.