[논문 리뷰] An Extension of the Abundancy Index to Certain Quadratic Rings

Colin Defant|arXiv (Cornell University)|2015. 06. 17.

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-거듭제곱적으로 고립수를 정의하고 연구함으로써, 정수를 넘어서 고립수 개념을 확장한다.
• 전통적 충만지수의 핵심 성질—multiplicativity, 단조성, 소수의 거듭제곱이 고립수라는 점—을 새로운 대수적 프레임워크 안에서 유지한다.
• 이 환들에서 어떤 원소들이 n-거듭제곱적으로 고립수인지 조사하며, 특히 소수의 거듭제곱과 공역소수의 곱에 초점을 맞춘다.
• 이 환들에서 더 일반적인 대수적 정수의 n-거듭제곱 고립성에 관해 열린 질문과 추측을 제기한다.

제안 방법

• O_Q(√d)의 원소 z에 대해 I(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-거듭제곱적으로 고립수임을 증명한다.
• 모순에 의한 증명을 통해, 두 원소가 같은 충만지수를 가진다면, 그들의 관련 소인수 분해는 단위와 지수의 모듈로 n에 대해 동일해야 한다고 보여준다.
• O_Q(√d)에서의 공역소수, 노름, 단위의 성질을 활용하여 약수의 나눗셈과 충만지수의 등식을 분석한다.

실험 결과

연구 질문

• RQ1 d ∈ K인 허수 정수환 O_Q(√d)에서 어떤 원소들이 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-거듭제곱적으로 고립수이다.
• 정수 소수 p에 대해 z ∼ p^k이고 k = 1 또는 k가 짝수이면, 모든 n에 대해 O_Q(√d)에서 z는 n-거듭제곱적으로 고립수이다.
• π^k가 n-거듭제곱적으로 고립수임을 증명하는 데에는 모순에 의한 증명이 사용되며, 서로 다른 지수의 기수성(기수성의 짝홀성)을 가진 친구 x가 존재한다고 가정하면 소수 p에 대해 모듈로에서 모순이 발생한다.
• π^α1 π̄^α2가 모든 α1, α2, n ∈ ℕ에 대해 n-거듭제곱적으로 고립수라는 추측은 아직 미해결이지만, 정리 3.2와 추론 3.2가 다루는 많은 경우에서 성립한다.