Abstract:In this paper, with the help of trinomial coefficients we study some arithmetic properties of certain determiants involving reciprocals of binary quadratic forms over finite fields.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the arithmetic properties of certain determinants over finite fields. Specifically, the author studied determinants involving the reciprocals of binary quadratic forms and explored the properties and congruence relations of these determinants over finite fields.
### Main problems of the paper
1. **Background and motivation**:
- Determinants have wide applications over finite fields in number theory and combinatorics.
- Starting from the well - known Cauchy determinant identity, the paper explored the properties of determinants of specific forms (such as \( D_p(c,d) \)) over the finite field \( F_p \).
- Previous research has already proven some determinant congruence relations in special cases, for example, the work of Z. - W. Sun.
2. **Main research content**:
- Study the arithmetic properties of the determinant \( D_p(c,d)=[(i^2 + cij + dj^2)^{p - 2}]_{1\leq i,j\leq p - 1} \), where \( p \) is an odd prime number, and \( c \) and \( d \) are integers.
- Pay special attention to the determinant \( D_p(c,1) \) and denote it as \( D_p(c) \).
3. **Main results**:
- Theorem 1.1: For an odd prime number \( p \) and an integer \( c \), several congruence conditions for \( D_p(c) \) are given.
- If \( c\equiv\pm 2\pmod{p} \), then \( p\mid\det D_p(c) \).
- If \( \left( \frac{c^2 - 4}{p} \right)=1 \), then there exists \( x\in\mathbb{Z} \) such that \( \det D_p(c)\equiv x^2\left( \frac{-c - 2}{p} \right)\pmod{p} \).
- If \( \left( \frac{c^2 - 4}{p} \right)= - 1 \), then there exists \( x\in\mathbb{Z} \) such that \( \det D_p(c)\equiv 2cx^2\left( \frac{-c - 2}{p} \right)\pmod{p} \).
- Theorem 1.2: Further generalize to the general case \( D_p(c,d) \).
- If \( \left( \frac{d}{p} \right)\neq1 \), then \( p\mid\det D_p(c,d) \).
- \( \det D_p(c,d^2)\equiv\left( \frac{d}{p} \right)\det D_p(cd^{-1})\pmod{p} \).
- Theorem 1.3: By introducing the Lucas sequence, sufficient and necessary conditions for \( \det D_p(c) \) to be zero modulo \( p \) are given.
### Conclusion
The main contribution of the paper lies in the in - depth study of the arithmetic properties of specific determinants over finite fields. By introducing tools such as ternary coefficients and Lucas sequences, a series of new congruence relations and theorems are obtained. These results not only expand the existing research achievements but also provide a theoretical basis for further research.
### Formula display
- Cauchy determinant identity:
\[
\det\left[\frac{1}{x_i + y_j}\right]_{1\leq i,j\leq n}=\frac{\prod_{1\leq i < j\leq n}(x_i - x_j)(y_i - y_j)}{\prod_{1\leq i,j\leq n}(x_i + y_j)}
\]
- Determinant