Truncated versions of Dwork's lemma for exponentials of power series and p-divisibility of arithmetic functions

Abstract

Dieudonné and) Dwork's lemma gives a necessary and sufficient condition for an exponential of a formal power series S(z) with coefficients in Q p to have coefficients in Z p . We establish theorems on the p-adic valuation of the coefficients of the exponential of S(z), assuming weaker conditions on the coefficients of S(z) than in Dwork's lemma. As applications, we provide several results concerning lower bounds on the p-adic valuation of the number of permutation representations of finitely generated groups. In particular, we give fairly tight lower bounds in the case of an arbitrary finite Abelian p-group, thus generalising numerous results in special cases that had appeared earlier in the literature. Further applications include sufficient conditions for ultimate periodicity of subgroup numbers tion numbers with restrictions on their cycle structure, and a curious "supercongruence" for a certain binomial sum.

p-adic estimates of the number of permutation representations

“…The second assertion of Theorem 1.1 is presented in [13,Theorem 25,Theorem 26] and [20,Theorem 1.1]. By exploring ord p (h n (G)), we confirm [13,Theorem 25] and [20,Corollary 8.2] (cf. [18,Theorem 1.4]) with relation to the case where equality holds, namely, Theorem 1.…”