Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If $G\cong \mathbb{Z}\times \mathbb{Z}\times \dots \times \mathbb{Z}$ is a finitely generated abelian group without torsion of rank $n$, where $n$ is the number of copies of $\mathbb{Z}$. Then any subgroup $H$ in $G$ is also finitely generated without torsion of rank $m$ where $m\leq n$

It looks clear, but how can we show this? What are the possible approaches to this question?

share|cite|improve this question
See this, and this. – Arturo Magidin Mar 7 '12 at 22:41
Okay, this should be a FAQ... – Arturo Magidin Mar 8 '12 at 4:06

The theorem actually holds in a much larger setting: that of modules over Principal Ideal Domains. But I will restrict myself to the case of abelian groups.

Theorem Let $A$ be a free abelian group of finite rank $n$, and let $H$ be a subgroup of $A$. Then there exists a basis $a_1,\ldots a_n$ of $A$, and integer $d_1,\ldots,d_r$ with $0\leq r\leq n$, $1\leq d_1|d_2|\cdots|d_r$, such that $d_1a_1,\ldots,d_ra_r$ is a basis for $H$. In particular, $H$ is free of rank $r\leq n$.

Proof. If $H=\{0\}$, then we may take $r=0$, and $H$ is free of rank $0$. So we may assume that $H\neq\{0\}$.

We proceed by induction on $n$, the rank of $A$. If $n=1$, then $A$ is cyclic, and $H$ is a subgroup of a cyclic group. Therefore, $A=\langle a\rangle$, and $H=\langle da\rangle$ for some $d$, and we are done: $H$ is infinite cyclic, hence free of rank 1.

Assume now the result holds for free groups of rank less than $n$. Let $S$ be the set of all integers $d$ for which there exists a basis $b_1,\ldots,b_n$ of $A$ and integers $k_2,\ldots,k_n$ such that $db_1+k_2b_2+\cdots+k_nb_n\in H$. Since $0\in H$, $S$ is nonempty. Moreover, $S$ is closed under sums and inverses. That is, $S$ is a subgroup of $\mathbb{Z}$. Note also that, if $b_1,\ldots,b_n$ is a basis for $A$, and $k_1b_1+k_2b_2,\ldots,k_nb_n\in H$, then $k_i\in S$ for every $i$, $1\leq i\leq n$, since $b_i,b_1,\ldots,b_{i-1},b_{i+1},\ldots,b_n$ is also a basis for $A$.

Now, since $H\neq\{0\}$, $S$ contains some nonzero integer. Therefore, $S=\langle d_1\rangle$ for some positive integer $d_1$. Let $h_1\in H$, and $b_1,\ldots,b_n$ be a basis of $A$ such that $h_1 = d_1b_1+k_2b_2+\cdots k_nb_n$ is a witness to the fact that $d_1\in S$. Then since $k_i\in S$ for every $i$, it follows that $d_1|k_i$; thus, we may write $k_i = d_i\ell_i$ with $\ell_i\in\mathbb{Z}$. Let $a_1 = b_1 + \ell_1b_2+\cdots + \ell_n b_n$. Then $h_1=d_1a_1$.

Since $b_1,b_2,\ldots,b_n$ is a basis for $A$, the definition of $a_1$ guarantees that $a_1,b_2,\ldots,b_n$ is also a basis for $A$. If $h\in H$ is written as a linear combination of $a_1,b_2,\ldots,b_n$, then we will have $h=k_1a_1+k_2b_2+\cdots+k_nb_n$; since $d_1|k_1$, we can rewrite it as $h = mh_1 + k_2b_2+\cdots + k_nb_n$.

We define two subgroups of $H$: $$\begin{align*} H_0 &= \langle h_1\rangle\\ H_1 &= \{ h\in H\mid h\in\langle b_2,\ldots,b_n\rangle\}. \end{align*}$$ From the observation above we see that $H=H_0+H_1$. Moreover, $H_0\cap H_1=\{0\}$, since $a_1,b_2,\ldots,b_n$ are a basis. Thus, $H=H_0\oplus H_1$.

Let $A_1 = \langle b_2,\ldots,b_n\rangle$. Then $A_1$ is free or rank $n-1$, and $H_1$ is a subgroup of $A_1$; by the induction hypothesis, there exists a basis $a_2,\ldots,a_n$ of $A_1$, integers $d_2,\ldots,d_r$ with $1\leq d_2|d_3|\cdots|d_r$, such that $d_2a_2,\ldots,d_ra_r$ are a basis for $H_1$.

Since $H=H_0\oplus H_1$, it follows that $d_1a_1,d_2a_2,\ldots,d_ra_r$ are a basis for $H$; since $A=\langle a_1\rangle\oplus\langle A_1$, it also follows that $a_1,\ldots,a_n$ is a basis for $A$. The only thing that remains to be proven is that $d_1|d_2$.

But, indeed, $a_1,\ldots,a_n$ is a basis for $A$, and $d_2a_2\in H$; hence, by definition given before, we know that $d_2\in S=\langle d_1\rangle$, so $d_1|d_2$. This proves the theorem. $\Box$

The proof of the theorem tells you how to go about finding a basis.

In practice, given a set of generators of a subgroup $H$ of $\mathbb{Z}^n$, one uses the procedure from the Smith normal form to produce the basis guaranteed by the theorem, and to easily compute the index of $H$ in $\mathbb{Z}^n$.

share|cite|improve this answer
How do I prove that $S$ il closed under sums? That is, if I have $h_a=ae_1+k_2e_2+ \ldots +k_n e_n \in H$ for a basis $\{e_i\}$ and $h_b=bf_1+\bar k_2 f_2 + \ldots + \bar k_n f_n \in H$ for a basis $\{f_i\}$, how I can find an element $h\in H$ and a basis $\{\phi_i\}$ such that $(a+b)\phi_1+t_2\phi_2+\ldots t_n \phi_n=h \in H$ for some integers $t_i$? Please help me beacuse I used this theorem for a important work and I do not able to prove this step. – Lorban Apr 21 '14 at 13:26

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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