The additive group of the rationals does not have an automatic presentation - Mathematics > LogicReport as inadecuate




The additive group of the rationals does not have an automatic presentation - Mathematics > Logic - Download this document for free, or read online. Document in PDF available to download.

Abstract: We prove that the additive group of the rationals does not have an automaticpresentation.
The proof also applies to certain other abelian groups, forexample, torsion-free groups that are $p$-divisible for infinitely many primes$p$, or $Q-Z$.
The proof is combinatorial and uses most notably Freiman-stheorem on sets with small doubling.



Author: Todor Tsankov

Source: https://arxiv.org/



DOWNLOAD PDF




Related documents