关于有限域上涉及单位根的广义勒让德矩阵
数论
2024-04-02 v2
摘要
本文受 Chapman、Vsemirnov 及 Sun 等人工作的启发,研究有限域上广义勒让德矩阵的若干算术性质。例如,令 a 1 , ⋯ , a ( q − 1 ) / 2 a_1,\cdots,a_{(q-1)/2} a 1 , ⋯ , a ( q − 1 ) /2 为含 q q q 个元素且 2 ∤ q 2\nmid q 2 ∤ q 的有限域 F q \mathbb{F}_q F q 中所有非零平方元,我们给出 D ( q − 1 ) / 2 = det [ ( a i + a j ) ( q − 3 ) / 2 ] 1 ≤ i , j ≤ ( q − 1 ) / 2 D_{(q-1)/2}=\det[(a_i+a_j)^{(q-3)/2}]_{1\le i,j\le (q-1)/2} D ( q − 1 ) /2 = det [( a i + a j ) ( q − 3 ) /2 ] 1 ≤ i , j ≤ ( q − 1 ) /2 的显式值。特别地,若 q = p q=p q = p 为大于 3 3 3 的素数,则 ( det D ( p − 1 ) / 2 p ) = { 1 \mbox i f p ≡ 1 ( m o d 4 ) , ( − 1 ) ( h ( − p ) + 1 ) / 2 \mbox i f p ≡ 3 ( m o d 4 ) and p > 3 , \left(\frac{\det D_{(p-1)/2}}{p}\right)= \begin{cases} 1 & \mbox{if}\ p\equiv1\pmod4, (-1)^{(h(-p)+1)/2} & \mbox{if}\ p\equiv 3\pmod4\ \text{and}\ p>3, \end{cases} ( p det D ( p − 1 ) /2 ) = { 1 \mbox i f p ≡ 1 ( mod 4 ) , ( − 1 ) ( h ( − p ) + 1 ) /2 \mbox i f p ≡ 3 ( mod 4 ) and p > 3 , 其中 ( ⋅ / p ) (\cdot/p) ( ⋅ / p ) 为勒让德符号,h ( − p ) h(-p) h ( − p ) 为 Q ( − p ) \mathbb{Q}(\sqrt{-p}) Q ( − p ) 的类数。
引用
@article{arxiv.2305.16064,
title = {On generalized Legendre matrices involving roots of unity over finite fields},
author = {Ning-Liu Wei and Yu-Bo Li and Hai-Liang Wu},
journal= {arXiv preprint arXiv:2305.16064},
year = {2024}
}
备注
12 pages