Mahler equations and rationality
arXiv:1605.08830
Abstract
We give another proof of a result of Adamczewski and Bell concerning Mahler equations: A formal power series satisfying a and a Mahler equation over with multiplicatively independent positive integers and is a rational function. The proof presented here is self-contained and is essentially a compilation of proofs contained in the recent preprint "Consistent systems of linear differential and difference equations", arXiv:1605.02616 [math.CA], by the same authors.
arXiv admin note: text overlap with arXiv:1605.02616 A few grammatical/typographical changes and text added to clarify the proofs of Lemmas 4 and 8