paper

A resolution of Kellner's conjectures on Wilson quotients

arXiv:2607.10106

Abstract

Kellner expressed higher congruences for the Wilson quotient of an odd prime in terms of power sums of Fermat quotients, and recursively constructed certain -independent polynomials occurring in these congruences. In this note, we give a simple -adic proof of these congruences using the -adic logarithm and -adic exponential function. We also provide an explicit generating function for the polynomials in terms of complete Bell polynomials. This gives a direct derivation of Kellner's polynomials and allows us to resolve two conjectures stated by Kellner.