Skip to main content
2 of 2
Expanded 2nd and 3rd paragraphs
YCor
  • 63.9k
  • 5
  • 187
  • 285

Let $G$ be an abelian group with a presentation of abelian group given only by relators of the form $g^n=h$, $g,h$ generators and $n$ integer. Then $G$ is a direct sum of locally cyclic groups. We can assume we allow relators $g^n=1$ (because it can be encoded in adding a generator $k$ and adding the relators $h=k$ and $h^2=k$). Now given such a presentation (say "satisfying ($*$)") we can remove all generators representing the identity (replacing them with 1 in relators) and the resulting presentation still satisfies ($*$) and has the additional property that no generator maps to the identity. Now consider the equivalence relation on the set of generators generated by $g\simeq h$ if the (nontrivial) generators $g,h$ occur in a single relator. If $C$ is an equivalence class, consider the group $G_C$ with the presentation with generators in $C$ and relators involving generators of $C$. Then $G$ is the coproduct of the $G_C$. Note that so far this does not make use of the torsion-freeness of $G$, and the argument works for modules over an arbitrary ring.

Now we are reduced to understand the case when the equivalence relation defined above has a single equivalence class (i.e., is the undiscrete one). Then assuming $G$ torsion-free results in the fact that $G$ is locally cyclic (i.e., for a torsion-free group, isomorphic to a subgroup of $\mathbf{Q}$). To see this, I use the fact that if $G$ is a torsion-free group generated by elements $g_i$ such that any two $g_i$ have a common power, then $G$ is locally cyclic. Unlike the original question, this reduces (if necessary) to finitely generated groups: if $G$ is a torsion-free abelian group generated by a finite subset $S$ such that any two elements of $S$ have a common power, then $G$ is cyclic. This in turn is proved by a simple argument showing that in a torsion-free abelian group, if two elements have a common power, then they are powers of a common element (indeed the subgroup they generate is torsion-free abelian, generated by 2 elements and not isomorphic to $\mathbf{Z}^2$, hence is cyclic).

Thus in general, assuming that the abelian group $G$ is torsion-free implies that $G$ is a direct sum of locally cyclic groups (and more generally, in the category of $A$-modules when $A$ is a domain, assuming that $M$ is torsion-free implies that $M$ is a direct sum of torsion-free modules of rank 1; when $A$ is a PID, a torsion-free module of rank 1 is the same as a torsion-free locally cyclic module).

Among torsion-free abelian groups, those that are direct sums of locally cyclic groups are pretty rare. For instance $\mathbf{Z}_p$ does not satisfy this property, as any torsion-free abelian group $A$ of $\mathbf{Q}$-rank $\ge 2$, not containing any copy of $\mathbf{Z}[1/p]$ and such that $A/pA$ is cyclic); many subgroups of $\mathbf{Z}[1/p]^2$ are ruled out by this criterion. Also any non-free subgroup of $ \mathbf{Z}^X$ fails to be such a direct sum; this includes $\mathbf{Z}^{X}$ itself when $X$ is infinite.

YCor
  • 63.9k
  • 5
  • 187
  • 285