Lucas' theorem modulo $p^2$

Abstract

Lucas' theorem describes how to reduce a binomial coefficient $\binom{a}{b}$ modulo $p$ by breaking off the least significant digits of $a$ and $b$ in base $p$. We characterize the pairs of these digits for which Lucas' theorem holds modulo $p^2$. This characterization is naturally expressed using symmetries of Pascal's triangle.