A positive answer for a question proposed by K. Mahler (Q2402834)

The authors answer a question of \textit{K. Mahler}, posed in his 1976 monograph [Lectures on transcendental numbers. Edited and completed by B. Divis and W. J. LeVeque. Springer, Cham (1976; Zbl 0332.10019)], by showing that there exist transcendental entire power series \(f\) with rational coefficients such that the image and the preimage of the algebraic numbers \(\overline{\mathbb{Q}}\) under \(f\) are subsets of \(\overline{\mathbb{Q}}\). This extends results of \textit{P. Stäckel} [Math. Ann. 46, 513--520 (1895; JFM 26.0426.01); Acta Math. 25, 371--384 (1902; JFM 33.0432.02)]. In fact, the authors prove a bit more: they construct uncountably many such functions for which \(f(\overline{\mathbb{Q}})=f^{-1}(\overline{\mathbb{Q}})=\overline{\mathbb{Q}}\).