[论文解读] Complete Residue Systems: A Primer and an Application

Pietro Paparella|arXiv (Cornell University)|Jun 3, 2012

Graphite, nuclear technology, radiation studies参考文献 4被引用 3

一句话总结

本文对模 h 的完全剩余系（CRS）进行了严格处理，证明了一个整数集构成完全剩余系当且仅当其模 h 的指数生成所有 h 次单位根。本文证明了关于模 h 下乘以 p 的经典定理的逆定理，即 {pa₀,…,paₕ₋₁} 是模 h 的完全剩余系当且仅当 gcd(p,h)=1，并将此结果应用于表明：当且仅当 gcd(h,p)=1 时，p 次单位根可被重新组合成完整的集合 Ωₕ，其对非负矩阵根具有启示意义。

ABSTRACT

Complete residue systems play an integral role in abstract algebra and number theory, and a description is typically found in any number theory textbook. This note provides a concise overview of complete residue systems, including a robust definition, several well-known results, a proof to the converse of a well-known theorem, ancillary results pertaining to an application arising from the study of the roots of nonnegative matrices, and extends our knowledge of complete residue systems in relation to complete sets of roots of unity.

研究动机与目标

• 提供关于模 h 的完全剩余系（CRS）的全面且自包含的导论，包括基础定义与性质。
• 证明一个著名定理的逆定理：{pa₀,…,paₕ₋₁} 是模 h 的完全剩余系当且仅当 gcd(p,h)=1，纠正文献中常见的疏漏。
• 将 CRS 理论应用于非负矩阵根的研究，特别分析在何种条件下 p 次单位根可被重新组合成完整的集合 Ωₕ。
• 确立选择 p 次根函数分支以重构完整 h 次单位根集合的必要且充分条件。
• 通过将完全剩余系与单位根联系起来，并引入涉及 gcd 条件的新数论刻画，拓展对 CRS 的理解。

提出的方法

• 将模 h 的完全剩余系（CRS）定义为 h 个整数的集合，其模 h 的剩余类互不相同且覆盖 {0,1,…,h−1}。
• 利用映射 f(aᵢ) = aᵢ mod h，通过其在 R(h) = {0,1,…,h−1} 上的单射性或满射性来刻画 CRS。
• 应用定理 2：若 gcd(k,m)=d，则 ka≡kb mod m 当且仅当 a≡b mod (m/d)，以及推论 3：若 gcd(k,m)=1，则乘法 k 保持模 m 的同余关系。
• 使用引理 8：a≡b mod h 当且仅当 (a+c)≡(b+c) mod h，以及引理 10：(a+hc)≡(b+hd) mod h 当且仅当 a≡b mod h，以在仿射变换下保持剩余类结构。
• 引入 p 次根函数 fₗ(z) = z¹ᐟᵖ e²πⁱˡᐟᵖ（l=0,…,p−1），定义 p 次根的第 l 个分支。
• 分析集合 (Ωₕ)ₗ¹ᐟᵖ = {fₗ₀(1), fₗ₁(ω), …, fₗₕ₋₁(ω^{h−1})}，并证明其等于 Ωₕ 当且仅当 gcd(h,p)=1，利用 {k + h lₖ} mod p 必须覆盖模 p 的所有剩余类这一事实。

实验结果

研究问题

• RQ1 集合 {pa₀, pa₁, …, paₕ₋₁} 在何种条件下构成模 h 的完全剩余系？对 p 的精确条件是什么？
• RQ2 在何种条件下可以选取 h 次单位根的 p 次根，使得其在分支选择下的像构成完整的集合 Ωₕ？
• RQ3 存在分支选择 l = (l₀,…,lₕ₋₁) 使得 (Ωₕ)ₗ¹ᐟᵖ = Ωₕ 的必要且充分条件是什么？
• RQ4 完全剩余系的结构如何与复平面上单位根的乘法结构相关联？
• RQ5 gcd(h,p) 在决定 p 次根系统能否重构完整的 h 次根集合中起什么作用？

主要发现

• 当且仅当 {ω^{a₀},…,ω^{aₕ₋₁}} 等于完整的 h 次单位根集合 Ωₕ 时，集合 {a₀,…,aₕ₋₁} 是模 h 的完全剩余系。
• 集合 {pa₀,…,paₕ₋₁} 是模 h 的完全剩余系当且仅当 gcd(p,h)=1，且该结果在两个方向上均被证明，纠正了文献中常见的遗漏。
• 对于任意整数 l，集合 {pa₀ + l, …, paₕ₋₁ + l} 是模 h 的完全剩余系当且仅当 gcd(p,h)=1，这是由于剩余类在加法下保持不变。
• 集合 (Ωₕ)ₗ¹ᐟᵖ = {fₗ₀(1), fₗ₁(ω), …, fₗₕ₋₁(ω^{h−1})} 等于 Ωₕ 当且仅当 gcd(h,p)=1，这确保了对每个 k，存在 lₖ 使得 (k + h lₖ)/p 为整数，且指数覆盖模 h 的所有剩余类。
• 对于有理指数 q/p，集合 (Ωₕ)ₗ^{q/p} 等于 Ωₕ 当且仅当 gcd(h,p)=1 且 gcd(h,q)=1，该结果被推广至分数次幂。
• 证明依赖于如下事实：若 gcd(h,p)=d>1，则系统 {k + h lₖ} mod p 无法覆盖模 p 的所有剩余类，因此无论选择何种分支 lₖ，都无法得到所有 h 次单位根。