Skip to main content
3 of 4
Changed $x$ in the final question to $g$ which seems to agree with the qualifier for all $g \in G$.
Neil Hoffman
  • 5.3k
  • 1
  • 23
  • 48

Countable abelian group of exponent $2$

Let $\{0,1\}^{<\omega}$ denote the subgroup of $\{0,1\}^{<\omega}$ where $f:\omega\to\{0,1\}$ is a member of $\{0,1\}^{<\omega}$ if there is $N\in\omega$ such that $f(n)= 0$ for all $n\in\omega$ with $n\geq N$.

If $(G,+) $ is a group with $|G|=\aleph_0$ and $g+g = 0$ for all $g\in G$, does this imply $G\cong \{0,1\}^{<\omega}$?