# Using order to show isomorphism in a finite abelian group

How can I show that two finite abelian groups are isomorphic, knowing only that both groups have the same number of elements of any given order?

I feel like there should be a nice way to show this without having to actually label elements of either group, but I am at a loss. In fact I have few ideas at all on how to begin and would appreciate any/all help.

-
Are you familiar with a theorem describing the structure of finitely generated abelian groups? Invariant factors? –  Jyrki Lahtonen Aug 17 '11 at 5:31
I am. A finite abelian groups is isomorphic to a direct product of cyclic groups of prime power order. So I can use this on both of my groups and get two decompositions, but how can I use the order condition to say that these factors are the same? –  RHP Aug 17 '11 at 5:39
Good. Start counting the number of elements of a prime power order. For all positive integers $k\le n$ the group $\mathbf{Z}/p^n\mathbf{Z}$ has $p^k$ elements of order that is a factor of $p^k$. If $a$ is of order $m$ in group $A$ and $b$ is of order $n$ in group $B$, then $(a,b)$ is of order $lcm(m,n)$ in the direct product $A\times B$. –  Jyrki Lahtonen Aug 17 '11 at 5:55

Abelian groups will be written multiplicatively. For each positive integer $n$ let $C_n$ be a cyclic group of order $n$. For any finite abelian group $A$ and any positive integer $k$, let $f_k(A)$ be the number of elements of $A$ whose order divides $k$ (or, if you prefer, the number of $k$th roots of $1$ in $A$). Then we have $f_k(A\times B)=f_k(A)f_k(B)$. Moreover, $f_k(C_n)$ is equal to $k$ if $k$ divides $n$, and to $1$ otherwise.
Our two finite abelian groups, $A$ and $B$ say, clearly satisfy $f_k(A)=f_k(B)$ for all $k$. By the classification theorem, we have $$A\simeq C_{m(1)}\times\cdots\times C_{m(r)},\quad B\simeq C_{n(1)}\times\cdots\times C_{n(s)}$$ with $m(1)\ |\ \cdots\ |\ m(r)$ and $n(1)\ |\ \cdots\ |\ n(s)$ (where $|$ means "divides"). We have $m(r)=n(s)$ (take $k=m(r)$ and $k=n(s)$), and an obvious induction completes the proof.