Abstract:In this paper, we will present several new congruences involving binomial coefficients under integer moduli, which are the continuation of the previous two work by Cai \textit{et al.} (2002, 2007).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the further generalization of the congruence relations of binomial coefficients under integer modulus. Specifically, the authors hope to extend previous work, study the congruence properties of a wider range of binomial coefficients, and propose new congruence formulas.
### Background and Problem Description of the Paper
1. **Morley Congruence**:
- In 1895, Morley proposed a congruence formula for binomial coefficients. For any prime number \( p \geq 5 \):
\[
(-1)^{(p - 1)/2} \binom{p - 1}{(p - 1)/2} \equiv 4^{p - 1} \pmod{p^3}
\]
- The proof of this formula is based on an explicit form of De Moivre's theorem, but it cannot handle the cases of other binomial coefficients.
2. **The Work of Cai et al.**:
- In 2002, Cai generalized Morley's congruence to integer modulus. By generalizing Lehmer's congruence, he proved that:
\[
\prod_{d|n} \binom{d - 1}{(d - 1)/2}^{\mu(n/d)} \equiv (-1)^{\phi(n)/2} 4^{\phi(n)} \pmod{n^3}
\]
where \( n \) is odd and \( n>1 \), and \(\phi(n)\) is the Euler totient function.
- In 2007, Cai et al. further proposed several new congruence formulas, in which \((d - 1)/2\) was replaced by \(\lfloor d/3 \rfloor, \lfloor d/4 \rfloor, \lfloor d/6 \rfloor\) respectively.
### Main Contributions of This Paper
This paper aims to further extend the work of Cai et al. and study the congruence properties of a wider range of binomial coefficients. The main achievements include:
1. **A New Generalization of the Euler Totient Function**:
- A new generalization form of the Euler totient function is introduced:
\[
\varphi_f^{(k)}(n) := \sum_{d|n} \binom{n}{d}^k f(d) \mu(d)
\]
- When \( f \equiv 1 \), \(\varphi_f^{(k)}(n)\) is equal to the Jordan totient function.
2. **Main Theorems and Corollaries**:
- A series of new congruence formulas are proposed, for example:
\[
\sum_{r = 1}^{\lfloor n/e \rfloor} \frac{1}{r^2} \equiv -J_e(n) n^{\phi(n)-2} \phi(2 - \phi(n)) J_e(n) B_{\phi(n)-1}\left(\frac{1}{e}\right)^{\phi(n)-1} \pmod{n}
\]
- Some specific congruence relations are derived, such as:
\[
\sum_{r = 1}^{(n - 1)/2} \frac{1}{r^2} \equiv 0 \pmod{n}
\]
### Conclusion
By introducing a new generalization form of the Euler totient function and conducting in - depth research on the congruence properties of binomial coefficients under different moduli, this paper further enriches and develops the theoretical basis in this field. These results not only generalize the previous classic congruence formulas but also provide new tools and methods for future research.