[论文解读] A remark on Zoloterav's theorem

Hao Pan|ArXiv.org|Jan 2, 2006

Advanced Algebra and Geometry参考文献 5被引用 3

一句话总结

本文通过确定特定置换 γₐ,ₙ 在集合 {1, ..., (n−1)/2} 上的符号，对佐洛塔列夫定理进行了改进，该置换通过模乘法和余数调整定义。证明了当 n ≡ 1 (mod 4) 时，该符号等于雅克比符号 (a/n)；当 n ≡ 3 (mod 4) 时，符号为 1，方法是利用下取整函数和小数部分的性质，计算模 2 意义下的逆序数。

ABSTRACT

Let n>=3 be an odd integer. For any integer a prime to n, define the permutation gamma_{a,n} of {1,...,(n-1)/2} by gamma_{a,n}(x)=n-\dec{ax}_n if {ax}_n>=(n+1)/2, and {ax}_n if {ax}_n<=(n-1)/2, where {x}_n denotes the least nonnegative residue of x modulo n. In this note, we show that the sign of gamma_{a,n} coincides with the Jacobi symbol (a/n) if n=1 mod 4, and 1 if n=3 mod 4.

研究动机与目标

• 确定通过模乘法和余数调整在集合 {1, ..., (n−1)/2} 上定义的特定置换 γₐ,ₙ 的符号。
• 通过刻画当 n ≡ 1 (mod 4) 或 n ≡ 3 (mod 4) 时 γₐ,ₙ 的符号，对佐洛塔列夫定理进行改进，其中 n 为奇整数且 n ≥ 3。
• 建立 γₐ,ₙ 的符号与雅克比符号 (a/n) 之间的联系，将高斯引理推广至合数模数。
• 使用下取整函数和小数部分函数，计算 γₐ,ₙ 中逆序数 I(a,n) 模 2 的结果。
• 证明 γₐ,ₙ 的符号是模 n 的一个实偶狄利克雷特征，且当 n ≡ 1 (mod 4) 时与雅克比符号一致。

提出的方法

• 将 γₐ,ₙ 定义为在 {1, ..., (n−1)/2} 上的置换，其将 x 映射为 n − {ax}ₙ（若 {ax}ₙ ≥ (n+1)/2），否则映射为 {ax}ₙ。
• 使用下取整函数和小数部分表达 γₐ,ₙ 中逆序数 I(a,n)：I(a,n) ≡ ∑ₖ₌₁^{(n−1)/2} ⌊ak/n⌋ + ⌊2ak/n⌋ − ⌊ak/n⌋ mod 2。
• 利用恒等式 ⌊ak/n⌋ − ⌊al/n⌋ − ⌊a(k−l)/n⌋ = 1（若 {ak}ₙ < {al}ₙ），否则为 0，分析逆序结构。
• 应用恒等式 ⌊a(k+l)/n⌋ − ⌊ak/n⌋ − ⌊al/n⌋ = 1（若 {ak}ₙ + {al}ₙ > n），否则为 0，以分解逆序数。
• 利用已知的 ∑ ⌊2ak/n⌋ 与 ∑ ⌊ak/n⌋ 的恒等式，将逆序数模 2 化简，并利用 (n²−1)/8 mod 2 进行简化。
• 利用 (−1)^{(n²−1)/8} = (2/n) 的事实，解决 n ≡ 3 (mod 4) 的情况，从而得出 sign(γₐ,ₙ) = 1 的结论。

实验结果

研究问题

• RQ1 通过模乘法和余数调整在 {1, ..., (n−1)/2} 上定义的置换 γₐ,ₙ 的符号是什么？
• RQ2 当 n ≡ 1 (mod 4) 时，γₐ,ₙ 的符号与雅克比符号 (a/n) 有何关系？
• RQ3 为何当 n ≡ 3 (mod 4) 时，γₐ,ₙ 的符号恒为 1，与 a 无关？
• RQ4 能否使用下取整函数和小数部分函数，模 2 计算 γₐ,ₙ 中的逆序数？
• RQ5 γₐ,ₙ 的符号是否构成模 n 的一个实偶狄利克雷特征？它与佐洛塔列夫定理有何关联？

主要发现

• 当 n ≡ 1 (mod 4) 时，置换 γₐ,ₙ 的符号等于雅克比符号 (a/n)。
• 当 n ≡ 3 (mod 4) 时，对所有与 n 互素的 a，γₐ,ₙ 的符号恒为 1。
• γₐ,ₙ 中的逆序数 I(a,n) 满足 I(a,n) ≡ ∑ₖ₌₁^{(n−1)/2} ⌊ak/n⌋ + ⌊2ak/n⌋ + (a−1)(n²−1)/8 mod 2。
• 该结果通过涉及 ak/n 和 2ak/n 的小数部分的下取整函数恒等式推导得出。
• 证明依赖于模运算恒等式和雅克比符号的性质，特别是 (2/n) = (−1)^{(n²−1)/8}。
• γₐ,ₙ 的符号与模 n 的实偶狄利克雷特征一致，且在复合模数下与佐洛塔列夫定理相容。