Kummer's Theorem
Kummer's Theorem is a result in number theory that relates to the divisibility of binomial coefficients. Specifically, it provides a criterion for determining when a binomial coefficient, expressed as n choose k, is divisible by a prime number p. The theorem states that the number of carries in the addition of k and n-k in base p gives the exponent of p in the prime factorization of n choose k.
This theorem is particularly useful in combinatorial problems and has applications in various areas of mathematics, including algebra and combinatorics. It highlights the connection between arithmetic properties of numbers and their combinatorial representations, making it a valuable tool for mathematicians studying divisibility and binomial coefficients.