Kummer's theorem

English

Etymology

Named after Ernst Kummer, who proved it in an 1852 paper.

Proper noun

Kummer's theorem

1. (mathematics) A formula for the exponent of the highest power of a prime number that divides a given binomial coefficient.