Some supercongruences of arbitrary length

显式超几何-模性方法 I

The Explicit Hypergeometric-Modularity Method I

本文提出显式超几何-模性方法，将给定超几何数据关联到模形式，利用拉马努金椭圆函数理论、形式群律和超同余，构造eta商并给出应用。

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

(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 arbi…