[논문 리뷰] Perfect numbers and groups

Tom Leinster|ArXiv.org|2001. 04. 01.

Computability, Logic, AI Algorithms인용 수 7

한 줄 요약

이 논문은 유한군을 '완전수'의 군론적 유사체로 정의함으로써 군론적 일반화를 제안한다. 유한군 G가 그의 모든 진정규부분군의 순서의 합이 2|G|와 같을 때, G를 '완전수'라고 정의한다. 이 논문은 아벨 완전수 군이 오직 완전수의 순서를 가진 순환군뿐임을 증명하고, 정규부분군 순서에 대한 곱셈 함수를 이용하여 비아벨 완전수 군을 구성하며, 기존의 수론적 결과를 군론으로 일반화한다.

ABSTRACT

A number is perfect if it is the sum of its proper divisors; here we call a finite group `perfect' if its order is the sum of the orders of its proper normal subgroups. (This conflicts with standard terminology but confusion should not arise.) The notion of perfect group generalizes that of perfect number, since a cyclic group is perfect exactly when its order is perfect. We show that, in fact, the only abelian perfect groups are the cyclic ones, and exhibit some non-abelian perfect groups of even order.

연구 동기 및 목표

• 유한군 G의 모든 진정규부분군의 순서의 합이 2|G|와 같을 때 G를 완전수라고 정의함으로써, 완전수의 개념을 유한군으로 일반화한다.
• 특히 아벨 및 비아벨 예시에 중점을 두어 이러한 완전수 군의 구조적 성질을 탐구한다.
• 정규부분군 순서의 합을 나타내는 함수 D(G)의 분석을 위한 곱셈적 프레임워크를 구축하고, 군의 몫과 곱셈에 대한 그 행동을 분석한다.
• 아벨 완전수 군이 오직 완전수의 순서를 가진 순환군뿐임을 증명하며, 정규부분군 수세기와 소수 지수 부분군의 존재를 기반으로 하는 두 가지 서로 다른 증명을 제시한다.
• 이 정의의 광범위한 함의를 탐구하며, 홀수 순서의 완전수 군과 비아벨 완전수 군에 대한 추측을 포함한다.

제안 방법

• 유한군 G의 모든 정규부분군의 순서의 합을 D(G)로 정의하고, D(G) = 2|G|일 때 G를 완전수라고 정의한다.
• D(G)가 순서가 서로소인 군의 곱셈에 대해 곱셈적임을 이용하며, 이는 수론에서의 약수합 함수의 곱셈성과 유사하다.
• 유한 아벨군의 분류 정리를 적용하여 아벨 몫을 분석하고, 오직 완전수의 순서를 가진 순환군만이 완전수임을 증명한다.
• 정규부분군 수세기와 소수 지수 부분군의 존재를 기반으로 하는 두 가지 서로 다른 아벨 몫 정리 증명을 제시한다.
• 전사 준동형사를 이용하여, G가 D(H) > 2|H|인 몫 H를 가질 경우 D(G) > 2|G|임을 보이며, 이는 문제를 아벨 경우로 축소시킨다.
• 반직접곱에 대해 곱셈적 구조를 확장하고, 이면군, 딜란드 군 등 알려진 군의 가족을 이용하여 비아벨 완전수 군을 구성한다.

실험 결과

연구 질문

• RQ1 모든 진정규부분군의 순서의 합이 그 군의 순서의 두 배와 같은 유한군은 무엇인가?
• RQ2 비아벨 완전수 군이 존재하는가? 만약 존재한다면, D(G)의 곱셈적 성질을 이용하여 체계적으로 구성할 수 있는가?
• RQ3 완전수 군과 완전수 사이의 관계는 무엇이며, 군론적 정의가 수론적 정의를 어떤 방식으로 일반화하는가?
• RQ4 아벨 몫 정리는 여러 방법으로 증명될 수 있으며, 이러한 증명들은 완전수 군의 구조에 대해 무엇을 드러내는가?
• RQ5 홀수 순서의 완전수 군이 존재하는가? 그리고 아벨 사례를 초월하여 모든 완전수 군을 분류하는 것은 가능한가?

주요 결과

• 아벨 완전수 군은 오직 완전수의 순서를 가진 순환군뿐이며, 이는 아벨 몫 정리에 의해 입증된다.
• G의 모든 정규부분군의 순서의 합을 나타내는 함수 D(G)는 G가 서로소 순서를 가진 군의 곱일 경우 곱셈적이다.
• 유한 아벨군 A가 완전수일 때이고 오직 그 때에만 A는 순환군이면서 그 순서가 완전수여야 한다. 이는 A가 순서가 완전수인 C_n과 동형일 때 정확히 성립한다.
• 짝수 순서의 비아벨 완전수 군이 존재하며, 그 구성은 D(G)의 곱셈적 구조와 적절한 정규부분군 격자 존재에 기반한다.
• 아벨 몫 정리는 두 가지 서로 다른 형태로 성립한다: 하나는 정규부분군 수세기 기반이고, 다른 하나는 소수 지수 부분군의 존재에 기반한다.
• 논문은 G가 D(H) > 2|H|인 몫 H를 가질 경우 D(G) > 2|G|임을 증명하며, 이는 완전수 군을 분류하는 문제를 아벨 몫 분석으로 축소시킨다.