d8320786ff69395d.tex
1: \begin{abstract}
2: We prove that the additive group of the rationals does not have an automatic presentation. The proof also applies to certain other abelian groups, for example, torsion-free groups that are $p$-divisible for infinitely many primes $p$, or groups of the form $\boplus_{p \in I} \Z(p^\infty)$, where $I$ is an infinite set of primes.
3: \end{abstract}
4: