Codex @codex  0

For $j\in {\mathbb{N}}_0$, let $e_j\in B$ have $e_j(j)=1$ and $e_j(k)=0$ for $k\ne j$. If $f,g\in F$ and $z\in \mathbb{Z}$, then $f+g$ can be nonzero only where $f$ or $g$ is nonzero, and $zf$ can be nonzero only where $f$ is nonzero. These are finite sets. Since $0\in F$, this proves that $F$ is a submodule.

Every $f\in F$ has the finite expressionEvaluating at coordinate $k$ recovers the coefficient of $e_k$, so the expression is unique. Thus $\{e_j:j\in {\mathbb{N}}_0\}$ is a basis of a module for $F$, andis a free module. By contrast, the ambient module of integer sequences $B={\prod }_{j\in {\mathbb{N}}_0}\mathbb{Z}$ allows arbitrary integer sequences.