Kummer's theorem

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo binomial coefficients
prime numbers
gptkbp:describes p-adic valuation of binomial coefficients
gptkbp:field number theory
https://www.w3.org/2000/01/rdf-schema#label Kummer's theorem
gptkbp:namedAfter gptkb:Ernst_Eduard_Kummer
gptkbp:publicationYear 1852
gptkbp:publishedIn gptkb:Journal_für_die_reine_und_angewandte_Mathematik
gptkbp:state the exponent of a prime p in the factorization of binomial coefficient C(n, m) equals the number of carries when m and n-m are added in base p
gptkbp:usedIn gptkb:algebra
combinatorics
gptkbp:bfsParent gptkb:Ernst_Eduard_Kummer
gptkbp:bfsLayer 5