A congruence involving harmonic sums modulo $p^{\alpha}q^{\beta}$
Abstract
In 2014, Wang and Cai established the following harmonic congruence for any odd prime and positive integer , \begin{equation*} Z(p^{r})\equiv-2p^{r-1}B_{p-3} ~(\bmod ~ p^{r}), \end{equation*} where and denote the set of positive integers which are prime to . In this note, we obtain a congruence for distinct odd primes and positive integers , \begin{equation*} Z(p^{\alpha}q^{\beta})\equiv 2(2-q)(1-\frac{1}{q^{3}})p^{\alpha-1}q^{\beta-1}B_{p-3}\pmod{p^{\alpha}} \end{equation*} and the necessary and sufficient condition for \begin{equation*} Z(p^{\alpha}q^{\beta})\equiv 0\pmod{p^{\alpha}q^{\beta}}. \end{equation*} Finally, we raise a conjecture that for and odd prime power , , \begin{eqnarray} \nonumber Z(n)\equiv \prod\limits_{q|n\atop{q\neq p}}(1-\frac{2}{q})(1-\frac{1}{q^{3}})(-\frac{2n}{p})B_{p-3}\pmod{p^{\alpha}}. \end{eqnarray}
Cite
@article{arxiv.1503.02798,
title = {A congruence involving harmonic sums modulo $p^{\alpha}q^{\beta}$},
author = {Tianxin Cai and Zhongyan Shen and Lirui Jia},
journal= {arXiv preprint arXiv:1503.02798},
year = {2016}
}