A determinant of the Artin-Hasse exponential coefficients

Abstract

We present a new determinant identity involving the coefficients of the Artin-Hasse exponential. In particular, if $E(x) = \exp(\sum_{k=0}^\infty \frac{x^{p^k}}{p^k}) = \sum_{n=0}^\infty u_nx^n$ is the Artin-Hasse exponential, we give, for any $\ell\geq 1$, a closed-form formula for the determinant $|u_{pi-j}|_{1\leq i,j\leq \ell}$ and show it is a $p$-adic unit.