Skip to main content
1 of 3
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

I am just posting my comment as an answer. Denote by $P\subset \mathbb{Z}_{>0}$ the set of positive, integer primes. This is a countably infinite set by Euclid's proof of the infinitude of primes. The set $\mathcal{G}$ of saturated, multiplicatively closed subsets $S$ of $\mathbb{Z}$ is in bijection with the power set $\mathcal{P}(P)$ by the rule $S\mapsto S\cap P.$

For every saturated, multiplicatively closed subset $S$ of $\mathbb{Z},$ denote by $G_S$ the fraction ring, $$G_S =S^{-1}\mathbb{Z} \subset \mathbb{Q}.$$ This is a subring of the countably infinite ring $\mathbb{Q}$, thus also $G_S$ is countably infinite. Moreover, the subset $$ \{p\in P |\ \forall x\in G_S, \ \exists y\in G_S, \ p\cdot y= x\}$$ equals $S\cap P.$ Thus, if $G_S$ is isomorphic to $G_T$ as Abelian groups, then $S$ equals $T$. Thus, the collection of countably infinite, Abelian groups $G_S$ is a system of pairwise non-isomorphic, countably infinite, torsion-free groups that are indexed by the set $\mathcal{G}$ with cardinality $2^{\aleph_0}.$

Jason Starr
  • 4.1k
  • 1
  • 93
  • 111