2
$\begingroup$

I have the following reference Question, meaning that I search for a reference for the following statement: Let $F$ be a free abelian group of finite rank and $U$ be a subgroup. Then there is a basis $\{b_1, \dots, b_n\}$ of $F$ and numbers $k_1, \dots, k_l \geq 1$ $(l \leq n)$ such that $\{k_1b_1, \dots, k_lb_l\}$ is a basis of $U$.

I found a proof in Langs Algebra book that subgroups of free abelian groups are free abelian, but not this specific computation of the basis.

Thanks for any help.

$\endgroup$
3
$\begingroup$

This is known as Smith normal form, and you can find lots of references on Google books. In particular, this textbook has exhaustive coverage of Smith normal form and all of its consequences.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.