[论文解读] An Extension of the Abundancy Index to Certain Quadratic Rings

Colin Defant|arXiv (Cornell University)|Jun 17, 2015

Advanced Mathematical Theories and Applications参考文献 1被引用 4

一句话总结

本文将经典 abundancy index（用于研究友好数与孤独数的数论工具）扩展至具有唯一分解性的虚二次整数环，具体针对负判别式 d ∈ K = {−163, −67, −43, −19, −11, −7, −3, −2, −1}。文中引入了 n-幂次孤独数的概念，证明了素数幂及某些共轭素数的乘积是 n-幂次孤独数，从而将经典孤独数理论推广至代数数环。

ABSTRACT

We begin by introducing an extension of the traditional abundancy index to imaginary quadratic rings with unique factorization. After showing that many of the properties of the traditional abundancy index continue to hold in our extended form, we investigate what we call $n$-powerfully solitary numbers in these rings. This definition serves to extend the concept of solitary numbers, which have been defined and studied in the integers. We end with some open questions and a conjecture.

研究动机与目标

• 将经典 abundancy index 与孤独数的概念从整数推广至具有唯一分解性的虚二次整数环。
• 在这些环中定义并研究 n-幂次孤独数，将孤独数的概念超越整数范围加以扩展。
• 在新的代数框架中保持传统 abundancy index 的关键性质，如乘法性、单调性以及素数幂的孤独性。
• 研究这些环中哪些元素是 n-幂次孤独数，特别关注素数幂与共轭素数乘积。
• 提出关于这些环中更一般代数整数的 n-幂次孤独性的开放问题与一个猜想。

提出的方法

• 为 O_Q(√d) 中的元素 z 定义 abundancy index I(z) = σ(z)/N(z)，其中 σ(z) 为所有因数之和，N(z) 为范数。
• 利用 O_Q(√d) 在 d ∈ K 时的唯一分解性，将元素表示为素因子分解形式，并通过乘法方式计算 I(z)。
• 引入 n-幂次孤独数的概念：若元素 z 的任意相伴元中无其他元素具有相同的 abundancy index，且其因子分解中所有指数模 n 同余，则称 z 为 n-幂次孤独数。
• 证明当 k 为奇数，或当 k 为偶数且素数 π 为惰性或分歧时，素数幂 π^k 为 n-幂次孤独数。
• 通过反证法证明：若两个元素具有相同的 abundancy index，则其对应的素因子分解在单位与模 n 指数意义下完全相同。
• 利用 O_Q(√d) 中共轭、范数与单位的性质，分析因数分解的可除性与 abundancy index 的相等性。

实验结果

研究问题

• RQ1 在虚二次环 O_Q(√d)（d ∈ K）中，哪些元素是 n-幂次孤独数？
• RQ2 abundancy index 如何推广至整数以外的唯一分解域中的代数整数？
• RQ3 在任意正整数 n 下，O_Q(√d) 中的所有素数幂 π^k 是否都是 n-幂次孤独数？
• RQ4 在何种条件下，共轭素数的乘积 π^α1 * π̄^α2 是 n-幂次孤独数？
• RQ5 友好数的概念能否有意义地推广至这些环中？是否存在 n-幂次友好的例子？

主要发现

• 在 d ∈ K 时，abundancy index I(z) = σ(z)/N(z) 在 O_Q(√d) 中定义良好且具有乘法性，保留了经典 index 的关键性质。
• 当 k 为奇数，或当 π 为惰性或分歧且 k 为偶数时，素数幂 π^k 在 O_Q(√d) 中对所有 n ≥ 1 均为 n-幂次孤独数。
• 对于分裂素数 p = ππ̄，当 k 为偶数时，元素 π^k π̄^k 为 n-幂次孤独数；当 k 为奇数时，π^k 为 n-幂次孤独数。
• 若 z ∼ p^k，其中 p 为整数素数且 k = 1 或 k 为偶数，则对所有 n，z 在 O_Q(√d) 中为 n-幂次孤独数。
• π^k 为 n-幂次孤独数的证明依赖于反证法：假设存在一个指数奇偶性不同的“朋友”x，将导致模 p 下的矛盾。
• 猜想：对所有 α1, α2, n ∈ ℕ，π^α1 π̄^α2 均为 n-幂次孤独数，尽管该猜想在定理 3.2 与推论 3.2 覆盖的多数情形中成立，仍为开放问题。