Legendre Symbols Related to Certain Determinants
Xin-Qi Luo,Zhi-Wei Sun
DOI: https://doi.org/10.1007/s40840-023-01505-2
2023-01-01
Bulletin of the Malaysian Mathematical Sciences Society
Abstract:Let p be an odd prime. For b,c∈ℤ , Sun introduced the determinant D_p(b,c)=| (i^2+bij+cj^2)^p-2| _1⩽ i,j ⩽ p-1 and investigated the Legendre symbol (D_p(b,c)/p) . Recently Wu, She and Ni proved that (D_p(1,1)/p)=(-2/p) if p≡ 2 (mod 3) , which confirms a previous conjecture of Sun. In this paper, we determine (D_p(1,1)/p) in the case p≡ 1 (mod 3) . Sun proved that D_p(2,2)≡ 0 (mod p) if p≡ 3 (mod 4) ; in contrast, we prove that (D_p(2,2)/p)=1 if p≡ 1 (mod 8) , and (D_p(2,2)/p)=0 if p≡ 5 (mod 8) . Our tools include generalized trinomial coefficients and Lucas sequences.