Algebraic independence over \(\mathbb Q_p\) (Q2483707)

The authors note that while transcendence of elements of \(\mathbb Q_{p}\) over \(\mathbb Q\) is extensively investigated, corresponding questions concerning elements of \(\mathbb C_{p}\) over \(\mathbb Q_{p}\) have only rarely been touched. In the present note the authors explain a very general proof of algebraic independence over the \(p\)-adic rationals \( \mathbb Q_{p}\) for values of classes of power series \(\sum_{n\geq1}\zeta (n)x^{e(n)}\) at an algebraic point \(\alpha\) with \(0<| \alpha_{p}| <1\). Here the exponents \(e(n)\) are to form a strictly increasing linear recurrence sequence of positive integers and the \(\zeta(n)\) are roots of unity in \(\overline {\mathbb Q}_{p}\).