Is there a standard name for this infinite group? Consider the group of sequences
$$\{(a_1,a_2,\dots): a_i\in\mathbb{Z}/2\mathbb{Z}\}$$
where the group operation is component-wise addition. Is there a standard name for this group, such as $(\mathbb{Z}/2\mathbb{Z})^{\infty}$, $(\mathbb{Z}/2\mathbb{Z})^{\mathbb{N}}$, or something similar? It is isomorphic to $\mathbb{Z}/2\mathbb{Z}[x]$ under addition, but I want to emphasize the additive group structure and not assign it any multiplicative structure.
EDIT: Silly me, it's not isomorphic to $\mathbb{Z}/2\mathbb{Z}[x]$. See below.

It would be standard to call this group $(\mathbb{Z}/2\mathbb{Z})^\mathbb{N}$ or $(\mathbb{Z}/2\mathbb{Z})^\omega$, or perhaps $\prod_\mathbb{N}\mathbb{Z}/2\mathbb{Z}$.  It has probably also been called $(\mathbb{Z}/2\mathbb{Z})^\infty$, but I would recommend avoiding that notation, as it often (possibly more often) refers to the subgroup of your group consisting of sequences which have only finitely many nonzero entries.  Incidentally, $\mathbb{Z}/2\mathbb{Z}[x]$ is not isomorphic to your group, rather it is isomorphic to this subgroup of sequences with finite support.  The full sequence space is isomorphic instead to (the underlying additive group of) the power series ring $\mathbb{Z}/2\mathbb{Z}[[x]]$.
