Lagmental Vicfred

Partitions of an Exponent Classify Abelian p-Groups by Vicfred

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

Each partition of n gives one abelian p-group of order p to n, and no two resulting groups are isomorphic. A small computation will anchor the general statement before the abstraction takes over.

Set-up

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.

$$ n=\lambda_1+\cdots+\lambda_r,\qquad\lambda_1\ge\cdots\ge\lambda_r $$

The typography mirrors the proof: first declare \(\mathsf D\), then state \(\mathsf C\). The symbol \(\Longrightarrow\) below is a logical dependency, not extra mathematical structure.

$$ G_\lambda=\bigoplus_{i=1}^{r}\mathbf Z/p^{\lambda_i}\mathbf Z $$

The calculation

Now evaluate one representative case. The result should agree with the structural law above, but it is obtained without assuming the conclusion.

$$ \begin{aligned}4&=4=3+1=2+2=2+1+1=1+1+1+1,\\\#\{G:|G|=p^4,\ G\text{ abelian}\}&=p(4)=5.\end{aligned} $$

What survives abstraction

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 n=\lambda_1+\cdots+\lambda_r,\qquad\lambda_1\ge\cdots\ge\lambda_r,\\[5pt] \mathsf{C}\;&:\quad G_\lambda=\bigoplus_{i=1}^{r}\mathbf Z/p^{\lambda_i}\mathbf Z. \end{aligned} $$

The boundary

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_\lambda=\bigoplus_{i=1}^{r}\mathbf Z/p^{\lambda_i}\mathbf Z \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 Fri 16 August 2013. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.