有理数的加法组没有自动表示
The additive group of the rationals does not have an automatic presentation
摘要：
我们证明了有理数的加法群不具有自动表示。这个证明也适用于某些其他的阿贝尔群，例如，对于无穷多个素数$p$ -可分的无挠群$p$，或$Q/Z$。证明是组合和使用最显着的弗赖曼定理集与小倍。
英文摘要：
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 $Q/Z$. The proof is combinatorial and uses most notably Freiman's theorem on sets with small doubling.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
