Geodesic
Congruences involving the Fermat quotient
Czechoslovak Mathematical Journal, Tome 63 (2013) no. 4, pp. 949-968
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Let $p>3$ be a prime, and let $q_p(2)=(2^{p-1}-1)/p$ be the Fermat quotient of $p$ to base $2$. In this note we prove that $$ \sum _{k=1}^{p-1} \frac {1}{k\cdot 2^k} \equiv q_p(2)-\frac {pq_p(2)^2}{2}+ \frac {p^2 q_p(2)^3}{3} -\frac {7}{48} p^2 B_{p-3}\pmod {p^3}, $$ which is a generalization of a congruence due to Z. H. Sun. Our proof is based on certain combinatorial identities and congruences for some alternating harmonic sums. Combining the above congruence with two congruences by Z. H. Sun, we show that $$ q_p(2)^3 \equiv -3\sum _{k=1}^{p-1} \frac {2^k}{k^3}+ \frac {7}{16} \sum _{k=1}^{(p-1)/2} \frac {1}{k^3} \pmod {p}, $$ which is just a result established by K. Dilcher and L. Skula. As another application, we obtain a congruence for the sum $\sum _{k=1}^{p-1}1/(k^2\cdot 2^k)$ modulo $p^2$ that also generalizes a related Sun's congruence modulo $p$.
Let $p>3$ be a prime, and let $q_p(2)=(2^{p-1}-1)/p$ be the Fermat quotient of $p$ to base $2$. In this note we prove that $$ \sum _{k=1}^{p-1} \frac {1}{k\cdot 2^k} \equiv q_p(2)-\frac {pq_p(2)^2}{2}+ \frac {p^2 q_p(2)^3}{3} -\frac {7}{48} p^2 B_{p-3}\pmod {p^3}, $$ which is a generalization of a congruence due to Z. H. Sun. Our proof is based on certain combinatorial identities and congruences for some alternating harmonic sums. Combining the above congruence with two congruences by Z. H. Sun, we show that $$ q_p(2)^3 \equiv -3\sum _{k=1}^{p-1} \frac {2^k}{k^3}+ \frac {7}{16} \sum _{k=1}^{(p-1)/2} \frac {1}{k^3} \pmod {p}, $$ which is just a result established by K. Dilcher and L. Skula. As another application, we obtain a congruence for the sum $\sum _{k=1}^{p-1}1/(k^2\cdot 2^k)$ modulo $p^2$ that also generalizes a related Sun's congruence modulo $p$.
DOI : 10.1007/s10587-013-0064-7
Classification : 05A10, 05A19, 11A07, 11B65
Keywords: Fermat quotient; $n$th harmonic number of order $m$; Bernoulli number 
@article{10_1007_s10587_013_0064_7,
     author = {Me\v{s}trovi\'c, Romeo},
     title = {Congruences involving the {Fermat} quotient},
     journal = {Czechoslovak Mathematical Journal},
     pages = {949--968},
     year = {2013},
     volume = {63},
     number = {4},
     doi = {10.1007/s10587-013-0064-7},
     mrnumber = {3165507},
     zbl = {06373954},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1007/s10587-013-0064-7/}
}
TY  - JOUR
AU  - Meštrović, Romeo
TI  - Congruences involving the Fermat quotient
JO  - Czechoslovak Mathematical Journal
PY  - 2013
SP  - 949
EP  - 968
VL  - 63
IS  - 4
UR  - http://geodesic.mathdoc.fr/articles/10.1007/s10587-013-0064-7/
DO  - 10.1007/s10587-013-0064-7
LA  - en
ID  - 10_1007_s10587_013_0064_7
ER  - 
%0 Journal Article
%A Meštrović, Romeo
%T Congruences involving the Fermat quotient
%J Czechoslovak Mathematical Journal
%D 2013
%P 949-968
%V 63
%N 4
%U http://geodesic.mathdoc.fr/articles/10.1007/s10587-013-0064-7/
%R 10.1007/s10587-013-0064-7
%G en
%F 10_1007_s10587_013_0064_7
Meštrović, Romeo. Congruences involving the Fermat quotient. Czechoslovak Mathematical Journal, Tome 63 (2013) no. 4, pp. 949-968. doi: 10.1007/s10587-013-0064-7

[1] Agoh, T., Dilcher, K., Skula, L.: Fermat quotients for composite moduli. J. Number Theory 66 (1997), 29-50. | DOI | MR | Zbl

[2] Agoh, T., Dilcher, K., Skula, L.: Wilson quotients for composite moduli. Math. Comput. 67 (1998), 843-861. | DOI | MR | Zbl

[3] Agoh, T., Skula, L.: The fourth power of the Fermat quotient. J. Number Theory 128 (2008), 2865-2873. | DOI | MR | Zbl

[4] Cao, H.-Q., Pan, H.: A congruence involving products of $q$-binomial coefficients. J. Number Theory 121 (2006), 224-233. | DOI | MR | Zbl

[5] Crandall, R., Dilcher, K., Pomerance, C.: A search for Wieferich and Wilson primes. Math. Comp. 66 (1997), 433-449. | DOI | MR | Zbl

[6] Dilcher, K., Skula, L.: A new criterion for the first case of Fermat's last theorem. Math. Comput. 64 (1995), 363-392. | MR | Zbl

[7] Dilcher, K., Skula, L.: The cube of the Fermat quotient. Integers (electronic only) 6 (2006), Paper A24, 12 pages. | MR | Zbl

[8] Dilcher, K., Skula, L., Slavutskii, I. S., eds.: Bernoulli numbers. Bibliography (1713-1990). Enlarged ed. Queen's Papers in Pure and Applied Mathematics 87. Queen's University Kingston (1991). | MR

[9] Dobson, J. B.: On Lerch's formula for the Fermat quotient. Preprint, arXiv:1103.3907v3, 2012.

[10] Dorais, F. G., Klyve, D.: A Wieferich prime search up to $6\cdot 7\times 10^{15}$. J. Integer Seq. (electronic only) 14 (2011), Article 11.9.2, 14 pages. | MR

[11] Eisenstein, G.: Eine neue Gattung zahlentheoretischer Funktionen, welche von zwei Elementen abhängen und durch gewisse lineare Funktional-Gleichungen definiert werden. Bericht. K. Preuss. Akad. Wiss. Berlin 15 (1850), 36-42

Cité par Sources :