[論文レビュー] 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

ひとこと要約

本稿は、数論における友愛数および孤立数の研究に用いられる古典的過剰数指数を、一意因数分解が成り立つ虚二次整数環へと拡張する。具体的には、負の判別式 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.

研究の動機と目的

• 整数から虚二次整数環への古典的過剰数指数および孤立数の概念を、一意因数分解が成り立つ虚二次整数環へ一般化すること。
• これらの環におけるn-冪的孤立数を定義・研究し、整数を超えた孤立数の概念を拡張すること。
• 従来の過剰数指数が持つ主要な性質（乗法性、単調性、素数の冪の孤立性）を、新しい代数的枠組み内でも保つこと。
• これらの環におけるどの要素がn-冪的孤立数であるかを特定すること。特に、素数の冪および共役素数の積に注目すること。
• これらの環におけるより一般的な代数的整数のn-冪的孤立性に関する未解決の問題と予想を提示すること。

提案手法

• O_Q(√d) の要素 z に対して、σ(z) をその約数の和、N(z) をノームとする過剰数指数 I(z) = σ(z)/N(z) を定義する。
• d ∈ K に対して O_Q(√d) が一意因数分解を満たすことを用い、要素を素因数分解の形で表現し、I(z) を乗法的に計算する。
• n-冪的孤立数の概念を導入する：要素 z が n-冪的孤立数であるとは、z の同伴（ユニット倍）の中で、過剰数指数が同じであるものが存在せず、かつその因数分解におけるすべての指数が n を法として合同であること。
• k が奇数、または k が偶数で素数 π が不分岐または分岐する場合、素数の冪 π^k が n-冪的孤立数であることを証明する。
• 背理法を用いて、2つの要素が同じ過剰数指数を持つならば、それらの関連する素因数分解はユニットを除き、指数が n を法として同一でなければならないことを示す。
• O_Q(√d) における共役、ノーム、ユニットの性質を活用し、過剰数指数の可除性および等価性を分析する。

実験結果

リサーチクエスチョン

• RQ1 虚二次整数環 O_Q(√d)（d ∈ K）において、どの要素が n-冪的孤立数であるか？
• RQ2 過剰数指数は、整数を超える一意因数分解域における代数的整数へどのように一般化されるか？
• RQ3 O_Q(√d) におけるすべての素数の冪 π^k は、任意の正の整数 n に対して n-冪的孤立数か？
• RQ4 共役素数 π^α1 * π̄^α2 が n-冪的孤立数であるための条件は何か？
• RQ5 友愛数の概念は、これらの環へ意味的に拡張可能か？また、n-冪的友愛数の例は何か？

主な発見

• d ∈ K に対して、O_Q(√d) における過剰数指数 I(z) = σ(z)/N(z) は適切に定義され、乗法的性質を保つ。これは古典的指数の主要な性質を再現する。
• k が奇数、または π が不分岐または分岐で k が偶数である場合、すべての n ≥ 1 に対して素数の冪 π^k は O_Q(√d) において 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 がすべての α1, α2, n ∈ ℕ に対して n-冪的孤立数であるという予想は未解決であるが、定理3.2および推論3.2がカバーする多くの場合に成立する。