Related papers: On the cyclotomic Dedekind embedding and the cycli…

We present a formal verification of Wolstenholme's theorem -- $\binom{2p}{p} \equiv 2 \pmod{p^3}$ for prime $p \geq 5$ -- in Lean~4 with Mathlib. The proof proceeds by expanding the shifted factorial product $\prod_{k=1}^{p-1}(p+k)$ to…

Given an elliptic curve E/Q and a prime p at which E has good reduction, let e_p be the exponent of the group E_p(F_p) of F_p-rational points on the reduction of E modulo p. Under the Generalized Riemann Hypothesis (GRH) for the Dedekind…

Let $k\ge 2$ and $N\ge 1$ be integers. Let $D$ be a positive integer that is congruent to a square modulo $4N$, and fix $\rho$ with $\rho^2\equiv D\pmod{4N}$. In this paper, we consider two weight $2k$ cusp forms $f^{\pm}_{k,N,D,\rho}$ on…

Let $p$ be an odd prime and let $d$ be an integer not divisible by $p$. We prove that $$ \prod_{1\le m,n\le p-1\atop p\nmid m^2-dn^2}\ (x-(m+n\sqrt{d})) \equiv \begin{cases}\sum_{k=1}^{p-2}\frac{k(k+1)}2x^{(k-1)(p-1)}\pmod p &\text{if}\…

Let $S=(a_1)\cdots(a_k)$ be a minimal zero-sum sequence over a finite cyclic group $G$. The index conjecture states that if $k=4$ and $\gcd(|G|,6)=1$, then $S$ has index 1. In this note we study the index conjecture and connect it to a…

Let $p$ be an odd prime and $r\geq 1$. Suppose that $\alpha$ is a $p$-adic integer with $\alpha\equiv2a\pmod p$ for some $1\leq a<(p+r)/(2r+1)$. We confirm a conjecture of Sun and prove that…

By the Chinese remainder theorem, the canonical map \[\Psi_n: R[X]/(X^n-1)\to \oplus_{d|n} R[X]/\Phi_d(X)\] is an isomorphism when $R$ is a field whose characteristic does not divide $n$ and $\Phi_d$ is the $d$th cyclotomic polynomial. When…

Let $(G,+)$ be an abelian group and consider a subset $A \subseteq G$ with $|A|=k$. Given an ordering $(a_1, \ldots, a_k)$ of the elements of $A$, define its {\em partial sums} by $s_0 = 0$ and $s_j = \sum_{i=1}^j a_i$ for $1 \leq j \leq…

Let N and p be two prime numbers > 3 such that p divides N-1. We estimate the p-rank of the class group of Q(N^(1/p)) in terms of the discrete logarithm, with values un F_p, of certain units. Using the Gross--Koblitz formula and identities…

Well known connections exist between the singular value decomposition of a matrix A and the Schur decomposition of its symmetric embedding sym(A) = [ 0 A; A' 0]. In particular, if s is a singular value of A then +s and -s are eigenvalues of…

Let E be a real quadratic field with discriminant d and let p be an odd prime not dividing d. For \rho=1 or -1, we determine $\prod_{0<c<d, (d/c)=\rho} binomial coeff.{p-1}{\lfloor pc/d\rfloor}$ modulo p^2 in terms of Lucas numbers, the…

Let $p>3$ be a prime, and let $a$ be a rational $p$-adic integer, using WZ method we establish the congruences modulo $p^3$ for $$\sum_{k=0}^{p-1} \binom ak\binom{-1-a}k\binom{2k}k\frac {w(k)}{4^k},$$ where $$w(k)=1,\frac 1{k+1},\frac…

The purpose of this paper is to prove integrality for certain $p$-adic iterated Coleman integrals. As underlying geometry we will take the complement of a divisor $D\subset X$ with good reduction, where $X$ is the projective line or an…

The double sum sum_(s >= 1) sum_p 1/(p^s log p^s) = 2.00666645... over the inverse of the product of prime powers p^s and their logarithms, is computed to 24 decimal digits. The sum covers all primes p and all integer exponents s>=1. The…

Let f be a modular form of weight k>=2 and level N, let K be a quadratic imaginary field, and assume that there is a prime p exactly dividing N. Under certain arithmetic conditions on the level and the field K, one can attach to this data a…

Let $p>3$ be a prime. Gauss first introduced the polynomial $S_p(x)=\prod_{c}(x-\zeta_p^c),$ where $0<c<p$ and $c$ varies over all quadratic residues modulo $p$ and $\zeta_p=e^{2\pi i/p}$. Later Dirichlet investigated this polynomial and…

The explicit formulas of operations, in particular addition and multiplication, of $p $-adic integers are presented. As applications of the results, at first the explicit formulas of operations of Witt vectors with coefficients in…

Let $m$ and $n>0$ be integers. Suppose that $p$ is a prime dividing $m-4$ but not dividing $m$. We show that $\nu_p(\sum_{k=0}^{n-1}\frac{\binom{2k}k}{m^k})$ and $\nu_p(\sum_{k=0}^{n-1}\binom{n-1}{k}(-1)^k\frac{\binom{2k}k}{m^k})$ are at…

We prove that there exists an absolute constant $c>0$ such that if an arithmetic progression $\cP$ modulo a prime number $p$ does not contain zero and has the cardinality less than $cp$, then it can not be represented as a product of two…

Let $p$ be an odd prime. The factorization of the polynomial $x^{p+1}-1$ over the integer residue ring $\mathbb{Z}_{p^e}$ is pivotal for constructing cyclic codes with Hermitian symmetry, a critical resource for Linear Complementary Dual…