Describes the highest power of primes dividing a binomial coefficient
数学において、クンマーの定理は、与えられた二項係数を割り切る素数 pの最大のべき乗の指数を求める公式です。言い換えれば、二項係数のp進値を与えます。この定理は、1852年に証明した
エルンスト・クンマーにちなんで名付けられました(Kummer 1852)。
声明
クンマーの定理は、与えられた整数 n ≥ m ≥ 0 と素数pに対して、二項係数のp進値は、 pを底とするn − mにmを加えたときの繰り上がりの数に等しいことを述べています

この定理の同等な構成は次のようになります。
整数の基数展開を と書き、 を基数の桁の和と定義する。すると






この定理は、ルジャンドルの公式を用いて と書き表すことで証明できる。[1]
例
二項係数を2で割って2の最大の累乗を計算するには、基数p = 2でm = 3、 n − m = 7を3 = 11 2、7 = 111 2と書きます。基数2で11 2 + 111 2 = 1010 2の加算を実行するには、3回の繰り上がりが必要です

したがって、2 を割り切れる最大の累乗は 3 です。

あるいは、桁の和を含む形式を使うこともできます。2進法における3、7、10の桁の和はそれぞれ、、、です。そして




多項式係数の一般化
クンマーの定理は、次のように
多項式係数に一般化できます 

参照
参考文献
- ^ Mihet, Dorel (2010年12月). 「ルジャンドルとクンマーの定理再び」 . Resonance . 15 (12): 1111– 1121. doi :10.1007/s12045-010-0123-4
- クンマー、エルンスト (1852)。 「Über die Ergänzungssätze zu den allgemeinen Reciprocitätsgesetzen」。数学に関するジャーナル。1852 (44): 93–146 . doi :10.1515/crll.1852.44.93。
- PlanetMathにおける Kummer の定理。