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.