Skip to main content
4 of 12
edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

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)$?

My attempt: Let $\varphi$ denote the canonical projection $M\to M/N$. Define a property $P$ on elements of $M$: for any $x\in M$, $P(x)$ is true iff for any $y\in M$ and $n\in\mathbb Z$, $ny=x$ implies $y\in\ker\varphi$. Using Zorn's Lemma, we can find a maximal submodule $L$ of $M$ consisting of elements satisfying $P$. I want to show $L$ is a direct summand of $M$, but I got stuck here.

Censi LI
  • 403
  • 2
  • 10