In mathematics, Kummer's congruences are some congruences involving Bernoulli numbers, found by Ernst Eduard Kummer.
used Kummer's congruences to define the p-adic zeta function.
The simplest form of Kummer's congruence states that
where p is a prime, h and k are positive even integers not divisible by pâÂÂ1 and the numbers B<sub>h</sub> are Bernoulli numbers.
More generally if h and k are positive even integers not divisible by p â 1, then
whenever
where ÃÂ(p<sup>a+1</sup>) is the Euler totient function, evaluated at p<sup>a+1</sup> and a is a non negative integer. At a = 0, the expression takes the simpler form, as seen above. The two sides of the Kummer congruence are essentially values of the p-adic zeta function, and the Kummer congruences imply that the p-adic zeta function for negative integers is continuous, so can be extended by continuity to all p-adic integers.