Explicit uniformizers for certain totally ramified extensions of the field of \(p\)-adic numbers (Q2210682)

The authors of this article construct explicit uniformizers for the totally ramified extension \(\mathbb{Q}_{p}(\zeta_{p^{2}} , \sqrt[p]{p})\) of the field of \(p\)-adic numbers \(\mathbb{Q}_{p}\) , where \(p\) is an odd prime number and \(\zeta_{p^{2}}\) is a primitive \(p^{2}\)-th root of unity. If \(n\) and \(m\) are integers \(\geq 1\), The compositum \(K_{m,n} := \mathbb{Q}_{p}(\zeta_{p^{m}} , \sqrt[p^{n}]{p})\) is a totally ramified extension of \(\mathbb{Q}_{p}\) of degree \(p^{m+n-1}(p-1)\). It is thus natural to search for an explicit uniformizer for this field. In the case of \(K_{2,1}\), the authors successfully give an explicit uniformizer. The structure of this article is as follows. The authors first prove a number of general results on the \(p\)-adic valuations of certain binomial coefficients in Section 2. They then carry out their construction of explicit uniformizers in Section 3. At the end of the article, the authors explain why their method does not work for more general \(K_{m,n}\).