So, in the course of function field arithmetic, one runs into the binomial coefficients (like one does most everywhere in mathematics); or rather the coefficients modulo a prime p. The primary result about binomial coefficients modulo p is of course the congruence of Lucas. In function field arithmetic
one seems to be unable to avoid the group obtained by permuting p-adic (or q-adic) coefficients of a number. I recently discovered a congruence using these permutations and the product of two binomial coefficients that I decided to blog about. The proof is an indirect consequence of Lucas and is perhaps more interesting than the result itself. One is then led to look for something related with the Carlitz polynomials, which are the function field analog of the binomial coefficients.
I put all of this into a three page pdf which, if you are interested, you can find here: