show that H is subgroup of finite index in Z^n exactly when H is free comutative group of rank n
What've you done? Do you know the elementary divisors theorem for fin. gen, abelian groups?
THis question doesn't belong at all in science education, but in "Abstract Algebra" in the math department
Separate names with a comma.