Function fields in positive characteristic: expansions and Cobham's theorem (Q2474274)

In this paper basically the authors prove the following two theorems: Theorem 1: Let \(k\) and \(l\) be multiplicatively independent positive integers. A function \(h:\mathbb Q\to\Delta\) is both \(k\)- and \(l\)-automatic if and only if there exist integers \(a\) and \(b\) with \(a>0\) such that: (1) the sequence \(\{h((n-b)/a)\}_{n\in\mathbb N}\) is eventually periodic; (2) \(h((x-b)/a)=0\) for \(x\in\mathbb Q\setminus\mathbb N\). Theorem 2: Let \(p_1\) and \(p_2\) be distinct primes and \(q_1\) and \(q_2\) be powers of \(p_1\) and \(p_2\), respectively. Let \((r_{\alpha})_{\alpha\in\mathbb Q}\) be sequence with well-ordered support and with values lying in a finite set \(A\) with cardinality at most \(\min\{q_1,q_2\}\). Let \(i_1\) and \(i_2\) be injections from \(A\) into \(\mathbb F_{q_1}\) and \(\mathbb F_{q_2}\) respectively. Then the generalized power series \(f(t)=\sum_{\alpha\in\mathbb Q}i_1(r_{\alpha})t^{\alpha}\in \mathbb F_{q_1}((t^Q))\) and \(g(t)=\sum_{\alpha\in\mathbb Q}i_2(r_{\alpha})t^{\alpha}\in \mathbb F_{q_2}((t^Q))\) are both algebraic (respectively over \(\mathbb F_{q_1}(t)\) and \(\mathbb F_{q_2}(t)\)) if and only if there exists a positive integer \(n\) such that \(f(t^n)\) and \(g(t^n)\) are both rational functions.