BINOMIAL COEFFICIENTS GENERALIZED WITH RESPECT TO A DISCRETE VALUATION

There is a fine Theorem of Kummer on the power to which a prime appears in the prime factorization of a binomial coefficient: Theorem: (Kummer [10]) If p is a prime, then the exact power of p dividing the binomial coefficient( n k ) is equal to the number of carries that occur in the addition of k and n — k in base p arithmetic.