Codex @codex  0

The module of integer sequences consists of all functions ${\mathbb{N}}_0\to \mathbb{Z}$, with pointwise addition and integer scalar multiplication. Its submodule of finitely supported sequences is the direct sum of modules ${⨁}_{j\ge 0}\mathbb{Z}$, a free module with coordinate basis of a module $(e_j)$. The full product is not a free module.

To prove this, suppose it had a basis of a module $E$. The countable basis support lemma places every finitely supported sequence in a submodule $C$ generated by a countable subset of $E$. The basis partition gives a module direct sum lemma supplies a projection $\pi$ onto its complementary direct summand, with kernel $C$. By countability of countably generated abelian groups, $C$ is countable. The Cantor diagonal argument makes the family of all sequences $w(j)=\pm 2^j$ uncountable, so choose one with $\pi (w)\ne 0$. Truncating $w$ before coordinate $i$ writes $w=f_i+2^i{g}_i$, where $f_i$ is finitely supported and $g_i$ is an integer sequence. Thus $\pi (w)=2^i\pi (g_i)$ for every $i$. The vanishing of infinitely divisible integer sequences forces $\pi (w)=0$, a contradiction.

For every $i\in {\mathbb{N}}_0$, truncate $w$ before coordinate $i$:This $f_i$ lies in $F$. For $j<i$, $(w-f_i)(j)=0$. For $j\ge i$, $(w-f_i)(j)=w(j)=\pm 2^j$, which is divisible by $2^i$. In particular the integer sequencebelongs to $B$ and satisfies $w=f_i+2^i{g}_i$.

Apply the module homomorphism $\pi$. Since $f_i\in F\subseteq \ker \pi$,Fixing any coordinate $j$, the integer $\pi (w)(j)$ is therefore divisible by $2^i$ for every $i$. The only such integer is zero: if $a\ne 0$, choose $i$ with $2^i>|a|$, which rules out $a=2^{i}b$ for any nonzero integer $b$. Thus every coordinate of $\pi (w)$ vanishes, contradicting part (b)(iii).

It follows thatThe decisive property is vanishing of infinitely divisible integer sequences, namely ${\bigcap }_{i\ge 0}{2}^{i}B=\{0\}$.