Wolstenholme's theorem: Its Generalizations and Extensions in the last hundred and fifty years (1862--2012)
Wolstenholme在1862年证明,任何总理$p\ge 5$的分子的分数$$ 1+\frac 12 +\frac 13+...+\frac{1}{p-1} $$书面减少形式是整除的$p^2$,$(2)$和分子的分数$$ 1+\frac{1}{2^2} +\frac{1}{3^2}+...+\frac{1}{(p-1)^2} $$书面减少形式是整除的$p$。上述的第一个同余,即所谓的{ \it Wolstenholme定理},是组合数论中的一个基本同余。本文共分11节,对Wolstenholme型同余及其相关问题进行了历史回顾。也就是说,我们提出和比较几个推广和推广Wolstenholme的定理在过去的一百五十年。特别是,我们提出了70多个变化和推广这个定理,包括同余Wolstenholme素数。这些一致性在这里讨论了33注释。本文参考文献106篇,包括13本教科书和专著,89篇论文,3个问题和Sloane的联机Enc。的序列。本文引用了这些文献中的一些结果作为某些Wolstenholme型同余的推广,但没有对相关同余的论述。这里引用的总数量为189。
2011-12-25 math.NT
A proof of Wolstenholme's theorem and congruence properties via an Egorychev-type integral
CEA, DAM, DIF(CEA DAM DIF);Université Paris-Saclay, CEA, Laboratoire Matière en Conditions Extrêmes(巴黎萨克雷大学,CEA极端条件物质实验室)
本文通过埃戈里切夫型积分和指数变量变换,详细证明了沃尔斯滕霍尔姆定理,并明确展示了与调和和与伯努利数的联系,推导了模p^4的经典细化,并精确提取了B_{p-3}项。
2026-04-03 math.NT
Wolstenholme and Morley, Primes and Pseudoprimes
本文证明了$p^2$是二阶Morley伪素数当且仅当$p^2$是二阶Wolstenholme伪素数当且仅当$p$是Wolstenholme素数当且仅当$p$是Morley素数.关于1阶伪素数不是素数的幂,只有3个已知是Wolstenholme型的,绝对没有一个是Morley型的。
2022-09-26 math.NT
Multiple harmonic sums and Wolstenholme's theorem
我们给出了二项式系数${kp-1\choose p-1}$的一族关于多重调和和的同余式,这是调和数的推广。该族中的每个同余(取决于附加参数$n$)涉及$n$多重调和和的线性组合,并且保持$\mod{p^{2n+3}}$。这些同余式中的系数是整数,取决于$n$和$k$,但独立于$p$。更一般地说,我们构建了一个家庭的同余${kp-1\choose p-1} \mod{p^{2n+3}}$,其成员包含一个变量数目的条款,并表明,在这个家庭有一个独特的“优化”的同余涉及最少的条款。特殊情况$k=2$和$n=0$恢复了Wolstenholme定理${2p-1\choose p-1}\equiv 1\mod{p^3}$,对所有素数$p\geq 5$都有效。我们还描述了这些三元组$(n, k, p)$的优化同余模$p$:他们正是那些与$p$除以伯努利数$B_{p-2n-k}$的分子,或$k \equiv 0, 1 \mod p$。
2013-02-01 math.NT
Wolstenholme and Vandiver primes
素数$p$是Wolstenholme素数,如果$\binom{2p}{p}\equiv2$ mod $p^4$,或者等价地,如果$p$整除伯努利数的分子$B_{p-3}$ ; Vandiver素数$p$是整除欧拉数$E_{p-3}$的素数。目前已知的只有两个Wolstenholme素数和八个Vandiver素数。我们增加了搜索范围在第一种情况下的一个因素的$10$,并表明,没有额外的Wolstenholme素数存在到$10^{11}$,并在第二种情况下的一个因素的$20$,证明没有额外的Vandiver素数发生到这个相同的界限。为了方便这一点,我们开发了一些新的同余伯努利和欧拉数模$p$,有利于计算,我们实现了一些高度并行搜索使用GPU。
2022-03-27 math.NT
Wolstenholme primes and group determinants of cyclic groups
本文给出了 Wolstenholme 素数的一个新等价定义,将其与循环群群行列式的项数以及特定受限分拆集合的基数联系起来。
2023-10-31 math.NT
Bernoulli Numbers, Wolstenholme's Theorem, and p^5 Variations of Lucas' Theorem
本文将改进D.F.贝利[卢卡斯定理的两个p^3变体,JNT 35(1990),pp. [208-215]通过研究(p,p-3)形式的不规则对与Wolstenholme定理的改进版本之间的关系,将其推广到高阶素幂模。
2006-02-10 math.NT
$p$-adic valuation of harmonic sums and their connections with Wolstenholme primes
本研究围绕Eswarathasan-Levine关于调和数$p$进赋值的猜想展开,用模算术方法分别证明了非Wolstenholme素数与Wolstenholme素数情形下,$H(p^mn)$的$p$进赋值在$H(n)$的$p$进赋值为3时的反常渐近行为。
2023-03-27 math.NT
A note on the converse of Wolstenholme's Theorem
给定一个素数p和一个满足一定不等式的正整数m,证明了Wolstenholme定理的逆定理对乘积mp^k成立,其中k是任意的正整数,推广了Helou和Terjanian的一个结果.
2018-10-16 math.NT
Wolstenholme's theorem over Gaussian integers
本文将 Wolstenholme 定理推广至 Gaussian 整数环,证明互素 Gaussian 整数倒数和模 $p^4$ 为零,扩展至高次幂和,并以小素数计算验证及提出二项式系数相关猜想。
2025-03-30 math.NT
Partial Lucas-type congruences
本文证明了一个一般性结果,表明所有可表示为多元Laurent多项式幂的常数项的序列均满足部分Lucas同余,推广了Chamberland和Dilcher关于特定二项和序列模素数同余的研究。
2025-11-03 math.NT
A generalisation of a congruence due to Vantieghem only holding for primes
本文给出了一类同余式,当且仅当自然数$n$是素数时,这类同余式成立。
2004-02-08 math.NT
A congruence modulo $n^3$ involving two consecutive sums of powers and its applications
对于各种正整数$k$,第一个$k$正整数的$k$次幂的和,$S_k(n+1)=1^k+2^k+...+n^k$,必须是所有数学中最流行的一些和。本文证明了对于每个$k\ge 2 $ $ 2S_{2k+1}(n)- (2k+1)nS_{2k}(n)\equiv \{{array}{ll} 0\,(\bmod{\,n^3}) & {\rm if}\,\,k\,\,{\rm is\,\,even\,\,or}\,\, n\,\, {\rm is\,\, odd} & {\rm or} \,\, n\equiv 0\,(\bmod{\,4}) \frac{n^3}{2}\,(\bmod{\,n^3}) & {\rm if}\,\,k\,\,{\rm is\,\, odd} &,\,{\rm and}\,\, n\equiv 2\,(\bmod{\,4}). {array}.$ $ The above congruence allows us to state an equivalent formulation of Giuga's conjecture. Moreover, we prove that the first above congruence is satisfied modulo $ n ^4 $ whenever $ n \ge 5 $ is a prime number …
2012-11-17 math.NT
On the mod $p^7$ determination of ${2p-1\choose p-1}$
在本文中,我们证明了,对于任何素数$p\ge 11$持有$$ {2p-1\choose p-1}\equiv 1 -2p \sum_{k=1}^{p-1}\frac{1}{k} +4p^2\sum_{1\le i<j\le p-1}\frac{1}{ij}\pmod{p^7}. $$这是一个推广的著名Wolstenholme的定理断言,${2p-1\choose p-1} \equiv 1 \,\,(\bmod\,\,p^3)$的所有素数$p\ge 5$。我们的证明是基本的,它不使用标准的技术,涉及经典公式的权力和伯努利数。注意,上述同余约化模$p^6$、$p^5$和$p^4$产生由R获得的相关同余。Tauraso,J. Zhao和J.W.L.分别为Glaucine。
2011-08-04 math.NT
Complete Congruences of Jacobi sums of order 2l^2 with prime l
某些低阶Jacobi和的同余已被许多作者在文献中讨论过。本文建立了具有奇素数l的2l^2阶Jacobi和的同余关系。这些同余对于获得2l^2阶Jacobi和的代数和算术特征是有用的。
2019-11-25 math.NT
Variations of Lucas' Theorem Modulo Prime Powers
令$p$为素数,且令$k,n,m,n_0$和$m_0$为非负整数,使得$k\ge 1$,且$_0$和$m_0$均小于$p$。K. Davis和W.韦伯建立了一个总理$p\ge 5$以下变化卢卡斯定理模素数权力持有$$ {np^k +n_0 \choose mp^k+m_0}\equiv{np^{\lfloor(k-1)/3\rfloor} \choose mp^{\lfloor(k-1)/3\rfloor}} {n_0 \choose m_0} \pmod{p^k}. $$在证明中,作者使用他们的早期结果,提出了一个广义版本的卢卡斯定理。本文给出了上述同余式的一个简单的归纳证明.我们的证明是基于一个经典的同余由于Jacobsthal,我们还使用了一些众所周知的身份二项式系数。此外,我们证明,断言也是正确的$p=2$和$p=3$,如果在上述同余之一取代$\lfloor(k-1)/3\rfloor$由$\lfloor k/2\rfloor$,和由$\lfloor (k-1)/2\rfloor$,分别。作为应用,利用Lucas型同余,我们得到了Wolstenholme素数的一个新刻画.
2012-12-29 math.NT
Congruences involving $g_n(x)=\sum_{k=0}^n\binom nk^2\binom{2k}kx^k$
为$n=0,1,2,...$定义$g_n(x)=\sum_{k=0}^n\binom nk^2\binom{2k}kx^k$。这些数$g_n=g_n(1)$与Apéry数和Franel数密切相关。本文建立了涉及$g_n(x)$的几个基本同余.例如,对于任何素数$p>5$,我们有$$\sum_{k=1}^{p-1}\frac{g_k(-1)}{k}\equiv 0\pmod{p^2}\quad{and}\quad\sum_{k=1}^{p-1}\frac{g_k(-1)}{k^2}\equiv 0\pmod p.$$这类似于Wolstenholme对任何素数$p>3$的经典同余$$\sum_{k=1}^{p-1}\frac1k\equiv0\pmod{p^2}\quad{and}\quad\sum_{k=1}^{p-1}\frac{1}{k^2}\equiv0\pmod p$$。
2016-07-19 math.CO math.NT
On a congruence only holding for primes II
本文给出了分圆多项式的一个基于同余的素性判据,并指出了一种推广我们结果的方法,从而得到一族类似的素性判据。但没有实际用途。
2009-02-19 math.NT
Computing Congruences of Modular Forms and Galois Representations Modulo Prime Powers
本文开始了对模形式和模素幂的模伽罗瓦表示的同余关系的计算研究。算法描述计算最大整数模,其中两个一元互质积分多项式有一个共同的根在某种意义上说,是定义。这些技巧被应用到研究的同余的模形式和模伽罗瓦表示模素幂。最后,一些计算结果的影响(非)提升的模形式模素幂和可能的推广的水平提高。
2010-01-21 math.NT
Universal Ramanujan-type congruences for prime-detecting quasimodular forms
Sussex Central High School(苏塞克斯中央高中);United States Naval Academy(美国海军学院)
该研究证明了素数检测拟模形式全Z-模上存在无穷多个通用拉马努金型同余式,且对每个素数p均存在对应算术级数使相关系数被p整除。
2026-08-20 math.NT
Prime Geodesic Theorem for Arithmetic Compact Surfaces: Principal Congruence Case
Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院);University of the Chinese Academy of Sciences(中国科学院大学);Hangzhou International Innovation Institute, Beihang University(北京航空航天大学杭州创新研究院);Qiuzhen College, Tsinghua University(清华大学求真学院);School of Mathematical Sciences, University of Scinece and Technology of China(中国科学技术大学数学科学学院)
本文将Koyama的7/10误差界推广到四元数代数的主同余子群,通过避免雅各布-朗格兰斯对应式,直接关联计数函数与更低层级的Eichler阶数的主同余子群计数。
2026-03-17 math.NT
Supersingular distribution on average for congruence classes of primes
证明了$\Q$上椭圆曲线的超奇异素数平均分布存在同余类偏差。例如,我们表明,平均有两倍多的超奇异素数全等2模3有全等1模3。我们的结果是使用平均法Fouvry-Murty随着大卫Pappalardi的想法。
2013-07-19 math.NT
Ramanujan-style congruences for prime level
我们建立Ramanujan风格的同余模某些素数$\ell$之间的爱森斯坦系列的重量$k$,素水平$p$和尖形的新形式的$\varepsilon$ -特征空间的Atkin-Lehner运营商内部的尖形的空间重量$k$ $Γ_0(p)$。在一个温和的假设下,这改进了Gaba-Popa的一个结果。我们使用这些同余和最近的工作Ciolan,Eulasco和第三作者的欧拉-克罗内克常数,量化的不可分的傅里叶系数所涉及的$\ell.$的程度,这些系数产生的号码字段,我们调查使用最近的结果素因子的移位素数。
2022-10-14 math.NT
Families of Congruences for Fractional Partition Functions Modulo Powers of Primes
最近,Chan和Wang(Fractional powers of the generating function for the分拆函数.阿里斯学报。187(1),59- 80(2019))研究了分拆函数的生成函数的分数幂,并发现了相应系数满足的几个同余式。在本文中,我们发现了一些新的模素数幂同余族。我们也发现类似的结果的系数的分数权力的生成函数的2-色分拆函数。
2020-06-14 math.NT
A generalization of Ramanujan's congruence to modular forms of prime level
证明了尖点新形式与素水平Eisenstein级数之间的同余关系,推广了Ramanujan的同余关系。这样的同余最近发现的Billerey和Menares,我们完善他们指定的Atkin-Lehner特征值的新形式。我们发现,类似的改进举行的水平提高一致性之间的尖形新的不同水平,由于Ribet和钻石。证明依赖于研究同余子群$Γ_0(N)$的周期多项式空间的新子空间和爱森斯坦子空间,以及Ihara引理的一个版本。
2018-06-20 math.NT
Congruences with intervals and subgroups modulo a prime
我们得到了关于几乎所有模素数$p$的剩余都用一个小整数和$({\mathbb Z}/p{\mathbb Z})^*$的小乘法子群的一个元素的乘积表示的新结果。这些结果是基于J.Cilleruelo和M. Z. Garaev(2014年),
2014-12-08 math.NT
Congruence Properties of Mersenne Primes
研究了每一个梅森素数与某些自然数之间的关系。我们首先证明每个梅森素数都是{4 n + 3,对于某个整数'n'}的形式,并将结果推广到2的所有幂。我们还列出了它们与其他整数的关系,直到10。一些次要的结果也得到了证明。在此基础上,讨论了确定梅森素数基数的方法。
2011-12-13 math.NT
Congruences between Ramanujan's tau function and elliptic curves, and Mazur--Tate elements at additive primes
证明了若$E/\mathbb{Q}$是一条椭圆曲线,且对$p=2$或$3$具有有理$p$ -挠率,则Ramanujan的tau函数与$E$模$p$之间存在同余关系.我们利用这样的同余计算Iwasawa不变量的$2$ -进和$3$ -进Mazur-泰特元素附加到Ramanujan的tau函数。我们还数值研究了附加到椭圆曲线上的Mazur-Tate元的Iwasawa不变量,该椭圆曲线在固定素数处具有加性约化。
2021-03-10 math.NT
A Congruence for Sums of Integer Powers Modulo Products of Distinct Primes
本文证明了在特定条件下,不同素数乘积模下的整数幂和满足一种同余关系。
2025-10-12 math.NT
Prime-power congruences for level-one eigenforms
本文研究权重变化时一次本征形式的素数幂同余,通过构造Hecke等变转移映射将问题简化为有限计算,并对p=2,3,5,7分别获得模2^8、3^4、5^3和7^2的全权重分类。
2026-09-16 math.NT
Ljunggren--Jacobsthal and Bailey-Type Congruences for Rectangular Gaussian Binomial Coefficients
Universidad Nacional Autónoma de México(墨西哥国立自治大学)
本文针对模4余3的有理素数,研究矩形高斯二项式系数,证明其p-整性,建立Ljunggren--Jacobsthal型超同余式以解决Kalinin猜想的惰性素数情形,还给出矩形Bailey型模p同余式并完成相关证明。
2026-08-04 math.NT
Some congruences on prime factors of class number of finite algebraic extensions K/Q
本文是对数域的类数的奇素因子上的一些同余的刻划的一个贡献。得到的结果的一个例子是:设L/Q是有限Galois可解扩张,[L:Q]=N,其中N > 1是奇数.设h(L)是L的类数。假设h(L)> 1。设p是素数整除h(L).设r是L的p-类群的秩。则乘积p \times(p^r-1)\times(p^{r-1}-1)\times. \times(p-1)和N不是互质的。证明是基本的。
2003-04-25 math.NT
Congruences modulo primes of the Romik sequence related to the Taylor expansion of the Jacobi theta constant θ_3
最近,Romik在[9]中确定了Jacobi θ常数θ_3在点x = 1附近的泰勒展开式。他发现了一个新的整数序列,(d(n))_0^ \infty =1,1,-1,51,849,-26199,\dots,泰勒系数就是从这个序列中建立的,并且证明了数d(n)满足模各种素数的某些同余。本文证明了其中的一些性质,例如对所有n个\geq 1,d(n)\equiv(-1)^{n+1}(mod 5);对任意素数p \equiv 3(mod 4),d(n)对所有足够大的n模p为零.
2020-03-17 math.NT
Density of solutions to quadratic congruences
数论中的一个经典结果是关于等差数列中素数密度的狄利克雷定理。我们证明了一个类似的结果,正好有k个素因子的数,k>1。根据E.M.的证明。Wright在1954年提出的方法,我们计算这样的数的自然密度,其中每个素数满足一个同余条件。作为应用,我们得到了无平方数n不大于x且有k个素因子使得一个固定的二次方程模n恰好有2^k个解的密度.
2016-04-30 math.NT
Non-ordinary primes and congruences for weakly holomorphic modular forms of level 2
研究\(\Gamma_0(2)\)的权为\(k\)且仅在尖点\(\infty\)有极点的弱全纯模形式傅里叶系数算术性质,利用典范基结构等,证明模\(p\geq5\)同余式族并推导推论。
2026-07-21 math.NT
On $p$-adic congruences involving $\sqrt d$
针对奇素数$p$和不被$p$整除的整数$d$,证明了含$\sqrt{d}$的特定乘积多项式模$p$的同余式(分Legendre符号为1和-1两种情况),推广N. Kalinin猜想,并得到Wolstenholme型同余式。
2025-04-16 math.NT
A general family of congruences for Bernoulli numbers
我们证明了一个一般的家庭的伯努利数的合同,其指数是一个多项式函数的一个素数,模幂该素数。我们的家庭推广了许多已知的结果,包括冯Staudt-Clausen定理和库默尔的同余。
2017-11-22 math.NT
Ramanujan-type Congruences for Partition $k$-Tuples with $5$-Cores
我们证明了几个Ramanujan型同余模幂的$5$分区$k$ -元组的$5$ -核心,$k=2, 3, 4$。我们还证明了具有$p$ -核的$k$ -元组的模素数幂同余的一些新的无穷族,其中$p$是素数.
2023-01-31 math.NT
Kloosterman sums with primes and solvability of one congruence with inverse residues. I
本文建立了素数上Kloosterman和关于任意模$q$的一个新的估计.这个估计与第二作者的一些最近的结果一起被应用到素变量$p_{1},\ldots, p_{k}\le N$,$N\le q^{1-δ}$中的同余\[ g(p_{1})\, + \,\ldots\, + \,g(p_{k}) \,\equiv\, m\pmod{q} \]的可解性问题.这里是$g(x)\,\equiv\,a\overline{x}+bx\pmod{q}$,其中$a,b,m$和$k\ge 3$是任意整数,$(ab,q)=1$。本文的主要结果给出了当$q$与$6$互质时解的个数的一个渐近公式.在这个版本中,我们纠正了一些错别字和小错误。
2019-12-06 math.NT
Double exponential sums and congruences with intervals and exponential functions modulo a prime
设$p$是一个大素数,$g$是任意乘阶$T$模$p$的整数.本文给出了双指数和$$ S=\sum_{n\in \mathcal{N}}\left|\sum_{m\in \mathcal{M} }e_p(an g^{m})\right|, \quad \gcd (a,p)=1, $$的一个新的估计,其中$\mathcal{N}$和$\mathcal{M}$是具有$|\mathcal{N}|=N$和$|\mathcal{M}|=M<T$元素的连续整数的区间.一个代表性的例子是主要结果的以下结果:如果$N=M\approx p^{1/3}$,则$|S|< N^{2-1/8 + o(1)}$。然后,我们应用我们的估计,以获得新的结果添加剂同余涉及区间和指数函数。
2018-10-15 math.NT
New congruences for 4,6-regular partitions modulo primes
本文证明了 b_4(n) 和 b_6(n) 分别对素数 m≥2 和 m≥5 存在无穷多 Ramanujan 型同余式族,并给出新例子及两个 b_4(n) 模 3 的无穷显式同余式族。
2023-09-22 math.NT
Congruences and ramified primes in fields of coefficients of newforms
研究新形式系数域中素数ℓ的分裂行为,证明最大实子域包含在系数域中,并通过实例展示结果。
2026-03-31 math.NT
Congruence and Uniqueness of Certain Markoff Numbers
利用关于同余的简单事实,我们首先证明了每个偶数Markoff数都同余于2模32,然后推广了Baragar的一个结果,建立了3c - 2和3c + 2中的一个是素数幂、4倍素数幂或8倍素数幂的Markoff数c的唯一性.
2006-12-29 math.NT
Hecke Relations for Eta Multipliers and Congruences of Higher-Order Smallest Parts Functions
本研究通过作用于Eisenstein-eta商族的Hecke算子推导恒等式,得到系数素数幂模同余式,应用于解决Garvan提出的高阶最小分部函数同余问题,还建立曲柄矩、秩矩与分拆函数的素数幂模联系,强化推广了已有结果。
2024-03-07 math.NT
Prime divisors of $\ell$-Genocchi numbers and the ubiquity of Ramanujan-style congruences of level $\ell$
设$\ell$为任意固定素数。我们用$G_n:=\ell(1-\ell^n)B_n$来定义$\ell$ -Genocchi数,其中$B_n$是$n$ -th Bernoulli数.它们是整数。我们介绍并研究了库默的素数正则性概念的一个变体。我们说一个奇素数$p$是$\ell$ -Genocchi不规则的,如果它至少整除一个$\ell$ -Genocchi数$G_2,G_4,\ldots, G_{p-3}$,否则是$\ell$ -正则的。利用Artin原根猜想研究中的技巧,在$\ell$为奇数的情况下,给出了给定等差数列中$\ell$ -Genocchi非正则素数个数的渐近估计. Hu、Kim、Moree和Sha(2019)已经处理了病例$\ell=2$。用类似的方法研究了$(1-\ell^n)B_{2n}/2n$和$(1+\ell^n)B_{2n}/2n$的素因子.这使我们能够估计素数$p\leq x$的数量,其中存在模$p$ Ramanujan风格的同余关系之间的傅立叶系数的爱森斯坦级数和一些尖点形式的素数水平$\ell$。
2022-09-16 math.NT
Some congruences on prime factors of class number of algebraic extensions K/Q
本文是ANT-0372(2002年12月4日)的更新版本。本版本中更正了几个错误。得到的结果的一个例子是:设K/ \Q是一个阿贝尔扩张,N = [K:\Q ] > 1,N为奇数.设h(K)是K的类数。假设h(K)> 1。设p是素数整除h(K)。设r_p是K的p-类群的秩。则p \times(p^{r_p}-1)与N不互质.本文是在初级水平,并包含了大量的数值例子。
2002-12-20 math.NT
Congruence primes for automorphic forms on unitary groups and applications to the arithmetic of Ikeda lifts
本文利用与$f$相联系的标准$L$ -函数的特殊值的可除性,给出了一大类全实数域$F$的酉群$U(n,n)(A_F)$上自守形式$f$的素数是同余素数的一个充分条件.我们还研究了在$U(n,n)(A_{\mathbf{Q}})$上的池田提升$I_ϕ$(椭圆模形式$ϕ$)的傅立叶系数的$\ell$ -adic性质,证明了它们是模$\ell$不为零的$\ell$ -adic整数.最后我们结合这些结果表明,$\ell$是$I_ϕ$的同余素数的条件是由$ϕ$的对称平方$L$ -函数的特殊值的乘积的$\ell$ -整除性控制的.当我们的主要定理适用时,我们通过计算一个例子来结束本文。
2018-02-22 math.NT
Congruences involving alternating multiple harmonic sum
我们表明,对于任何素数素数$p\not=2$ $$\sum_{k=1}^{p-1} {(-1)^k\over k}{-{1\over 2} \choose k} \equiv -\sum_{k=1}^{(p-1)/2}{1\over k} \pmod{p^3}$$通过表达l.h.s.作为交替的多个谐波和的组合。
2009-12-24 math.NT
Congruences between modular forms modulo prime powers
给定一个素数$p \ge 5$和一个系数模为$p^n$(对于某些$n \ge 1$)和大图像的抽象奇表示$ρ_n$,我们证明了当局部提升存在时(在某些技术条件下),$ρ_n$提升到特征$0$的存在性.此外,我们可以在除了素数之外的所有素数上选择升力的惯性类型(其中升力是斯坦伯格型)。我们把这个结果应用到模形式的领域,证明了模素幂的一个降阶定理,并给出了升阶的例子。特别地,我们的方法表明,给定一个没有复数乘法或内部扭曲的模本征形$f$,对于所有的素数$p$,但不超过1000,并为所有的正整数$n$,存在另一个本征形$g\neq f$,这是全等的$f$模$p^n$。
2014-03-14 math.NT
An Extension of a Congruence by Tauraso
对于正整数$n$,令$H_n=\sum_{k=1}^{n}1/n$为$n$次谐波数。本文证明了对任何素数$p\ge 7$,$$ \sum_{k=1}^{p-1}\frac{H_k}{k^2}\equiv \sum_{k=1}^{p-1}\frac{H_k^2}{k} \equiv\frac{3}{2p}\sum_{k=1}^{p-1}\frac{1}{k^2}\pmod{p^2}. $$注意这个同余的第一部分是最近由R.陶拉索是美国数学月刊上的一个问题。在我们的初等证明的第二部分,上述同余,我们使用某些经典的同余模一个素数和平方的一个素数,一些同余涉及调和数和一个组合的身份,由于V.埃尔南德斯。
2011-09-14 math.NT
Primes represented by shifted quadratic forms: on primitivity and congruence classes
本文扩展了Iwaniec的筛法,证明了移位正定整二元二次型在附加本原性与同余类条件下表示素数的下界,并提供了经计算机验证的局部条件列表以纠正先前错误,旨在为研究Apollonian circle packings中的素数分量提供工具。
2025-04-28 math.NT
On higher congruences between cusp forms and Eisenstein series
本文给出了尖点形式与高权Eisenstein级数在素理想幂上的几个有限族同余。我们提出了一个猜想,它描述了素理想的性质及其与权的关系。我们检查几个数值例子的猜想的有效性。
2013-06-29 math.NT
A Curious Congruence Involving Alternating Harmonic Sums
设$p$是素数,${\mathcal{P}_{p}}$是与$p$互素的正整数的集合.我们建立了以下有趣的同余式\[\sum\limits_{\begin{smallmatrix} i+j+k={{p}^{r}} i,j,k\in {\mathcal{P}_{p}} \end{smallmatrix}}{\frac{{{(-1)}^{i}}}{ijk}}\equiv \frac{{{p}^{r-1}}}{2}{{B}_{p-3}}\, (\bmod \, {{p}^{r}}).\]
2014-07-22 math.NT
Congruences on the class numbers of $\mathbb{Q}(\sqrt{\pm 2p})$ for $p\equiv3$ $(\text{mod }4)$ a prime
对于素数$p\equiv 3$ $(\text{mod }4)$,令$h(-8p)$和$h(8p)$分别为$\mathbb{Q}(\sqrt{-2p})$和$\mathbb{Q}(\sqrt{2p})$的类数。设$Ψ(ξ)$是二次无理$ξ$的Hirzebruch和。我们证明了$h(-8p)\equiv h(8p)\Big(Ψ(2\sqrt{2p})/3-Ψ\big((1+\sqrt{2p})/2\big)/3\Big)$ $(\text{mod }16)$ .此外,我们表明,$h(-8p)\equiv 2h(8p)Ψ(2\sqrt{2p})/3$ $(\text{mod }8)$如果$p\equiv 3$ $(\text{mod }8)$,和$h(-8p)\equiv \big(2h(8p)Ψ(2\sqrt{2p})/3\big)+4$ $(\text{mod }8)$如果$p\equiv 7$ $(\text{mod }8)$。
2022-10-06 math.NT