Criteria for the integrality of \(n\)th roots of power series (Q6606882)

Let \(p\) be a prime number, \(\mathbb{Z}_p\) the ring of \(p\)-adic integers and \(\mathbb{Q}_p\) its fraction field. For \(r\in \mathbb{Z}_{>0}\) and \(A,B\in \mathbb{Q}_p[[X]]\), we write \(A\equiv B \pmod{p^r}\) to mean \(A-B\in p^r\mathbb{Z}_p[[X]]\). The main result of the paper under review is the following Theorem: Let \(a_1,a_2,\ldots\in\mathbb{Z}_p\) and \(r\in \mathbb{Z}_{>0}\). Then the power series \((1+a_1X+a_2X^2+\ldots)^{\frac{1}{p^r}}\) has \(p\)-integral coefficients if and only if \(1+a_1X+a_2X^2+\ldots\equiv (1+a_{p^r}X+a_{2p^r}X^2+\ldots)^{p^r}\pmod{p^{r+1}}\).\N\NMany applications, examples and generalizations aregiven.