As is so well known, for any fixed n,
the sum, over all m, of the binomial coefficients
, is exactly
2 to the power n. What is less well-known is that the
sum of the binomial coefficients, over all m in certain fixed
residue classes, sometimes satisfy certain surprising congruences:
In 1876 Hermite showed that if n is odd then the sum of the binomial
coefficients , over those positive integers m that are
divisible by p-1, is divisible by p.
In 1899 Glaisher generalized this by showing that for
any given prime p and integers , we have
for all positive integers .
In 1953 Carlitz generalized Hermite's Theorem to prime
powers: If divides n, with
and
, then
In 1913 Fleck gave the related result that for
any given prime p and integers , we have
where .
In 1965 Bhaskaran showed that if p is an odd prime then p+1 divides n if and only if
for .