Skip to main content
2 of 12
added top-level tag; http://meta.mathoverflow.net/questions/1457/why-are-mo-tags-formatted-as-they-are

On describing a sort of "well-behaved" subgroups of a free abelian group

I found this question when I tried to figure out what kind of subgroups of a free abelian group behave just as well as in the finitely generated case.

Let $M$ be a free abelian group and $N$ a subgroup of $M$. Suppose that $M/N$ is a direct sum of cyclic groups. Can we always find a basis $\{x_i\}_{i\in I}$ of $M$ such that $N=\bigoplus_{i\in I}(N\cap\mathbb Zx_i)$?

Censi LI
  • 403
  • 2
  • 10