2
$\begingroup$

I'm currently reading Munkres-Algebraic topology text, and in his review chapter of abelian groups, he gives the classification theorem for finitely generated abelian groups. He ommited some important proofs from this chapter, so I'll be glad if you'll be able to help me complete the missing proofs:

Lemma: Let $F$ be a free abelian group. If $ R$ is a subgroup of $F$, then $R$ is also a free abelian group. If $F$ has rank n, then $R$ has rank $r \leq n $. Furthermore, there is a basis $e_1 , ..., e_n $ for $F $ and integers $t_1 , ..., t_k $ with $ t_i>1$ such that: (1) $t_1 e_1 ,...,t_ke_k, e_{k+1},...,e_r $ is a basis for $R$. (2) $t_1 |t_2|...|t_k $. The integers $t_1,...,t_k $ are uniquely determined by $F$ and $R$, although the basis $e_1 ,...,e_n$ is not.

I really need your help with proving the bold part of this lemma.

Hope you'll be able to help,

Thanks a lot!

  • 0
    In my edition of "Elements Of Algebraic Topology" everything is there (ยง11, Computability of Homology Groups) โ€“ 2012-02-24
  • 0
    Dear Jack: You can look at [this answer](http://math.stackexchange.com/a/57271/660). โ€“ 2012-02-24
  • 0
    Thanks a lot ! I totally missed it ! It's indeed in chapter 11... Thanks a lot and sorry ! โ€“ 2012-02-24

0 Answers 0