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

A nonzero free abelian group has a subgroup of index n for every positive integer n.

Proof: Consider the free abelian group F(S), where S is the set of generators. Let x be some element of S, and let xn be some element of S'. Then F(S') is a subgroup of F(S), and F(S)/F(S') is isomorphic to Z/nZ.

So showing this answers my question right. By saying its isomorphic we see that the abelian group has a subgroup of index n?

share|cite|improve this question
up vote 0 down vote accepted

The way is the good one, but your answer is not correct. But since you're really near to the solution I gonna give you some step to complete the proof.

  • Try to write down explicitly what are $S$ and $S'$;

  • motivate formally why $F(S)/F(S')$ should be $\mathbb Z/n \mathbb Z$.

If you complete all the step above you should be able to build up an good proof of your claim.

Anyway I would suggest to avoid using the notation $F(S')$ to denote the subgroup of $F(S)$ generated by some subset $S'$ of $F(S)$. It would be better if you denote that subgroup with $\langle S' \rangle$, or even $\langle x_1,x_2,x_2,\dots,x_n\rangle$ (when $S'=\{x_1,\dots,x-n\}$).

Feel free to ask if you have any other problem.

share|cite|improve this answer

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.