Wolstenholme's theorem over Gaussian integers
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866908576329498624 |
|---|---|
| author | Kalinin, Nikita |
| author_facet | Kalinin, Nikita |
| contents | This paper establishes an extension of Wolstenholme's theorem to the ring of Gaussian integers $\mathbb{Z}[i]$. For a prime $p > 7$, we prove that the sum $S_p$ of inverses of Gaussian integers in the set $\{n+mi \mid 1 \leq n, m \leq p-1, \gcd(p, mi+n)=1\}$ satisfies the congruence $S_p \equiv 0 \pmod{p^4}$. We further generalize this result to higher-power sums $S_p^{(k)}$, demonstrating structured divisibility patterns modulo powers of $p$. We propose some conjectures generalising the connections between classical Wolstenholme's theorem and binomial coefficients. Special cases and irregularities for small primes ($p \leq 1000$) are explicitly computed and tabulated. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_07978 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Wolstenholme's theorem over Gaussian integers Kalinin, Nikita Number Theory 11A07 11D79 This paper establishes an extension of Wolstenholme's theorem to the ring of Gaussian integers $\mathbb{Z}[i]$. For a prime $p > 7$, we prove that the sum $S_p$ of inverses of Gaussian integers in the set $\{n+mi \mid 1 \leq n, m \leq p-1, \gcd(p, mi+n)=1\}$ satisfies the congruence $S_p \equiv 0 \pmod{p^4}$. We further generalize this result to higher-power sums $S_p^{(k)}$, demonstrating structured divisibility patterns modulo powers of $p$. We propose some conjectures generalising the connections between classical Wolstenholme's theorem and binomial coefficients. Special cases and irregularities for small primes ($p \leq 1000$) are explicitly computed and tabulated. |
| title | Wolstenholme's theorem over Gaussian integers |
| topic | Number Theory 11A07 11D79 |
| url | https://arxiv.org/abs/2504.07978 |