[논문 리뷰] An arithmetic method of counting the subgroups of a finite abelian group

Marius Tărnăuceanu|arXiv (Cornell University)|2018. 05. 21.

graph theory and CDMA systems참고 문헌 7인용 수 11

한 줄 요약

이 논문은 유한 아벨 군에서 부분군, 순환 부분군, 주어진 순서를 가진 원소의 수를 명시적으로 세기 위한 산술적 방법을 기본 군 격자 기반으로 개발한다. p-군에서의 행렬 표현과 약수 조건을 활용하여, 계수 2인 p-군에서 고정된 순서를 가진 부분군의 수에 대한 폐형 공식을 유도하고, 주어진 유한 아벨 군으로의 일반화를 위해 주성분 분해를 적용한다.

ABSTRACT

The main goal of this paper is to apply the arithmetic method developed in our previous paper \cite{13} to determine the number of some types of subgroups of finite abelian groups.

연구 동기 및 목표

• 이전 연구에서 소개된 기본 군 격자를 활용한 유한 아벨 군에서 부분군 수를 세는 산술적 방법을 확장하기 위해.
• 계수 2인 유한 아벨 p-군에서 주어진 순서를 가진 부분군의 수에 대한 명시적 공식을 도출하기 위해.
• 임의의 유한 아벨 군에서 순환 부분군의 수와 특정 순서를 가진 원소의 수를 계산하기 위해 결과를 일반화하기 위해.
• 구조적 분해를 통해 부분군 수와 오일러의 타우 함수 사이의 관계를 설정하기 위해.
• 원소 순서 기반의 부분군 특성, 자기동형군, 군 동형 불변량에 관한 열린 문제를 제안하기 위해.

제안 방법

• 특정 약수 조건을 가진 상삼각 정수 행렬의 완전한 모odu라 격자로 $ L_{(k;d_1,\ldots,d_k)} $ 를 구성한다.
• 부분행렬의 행렬식을 포함한 연속적인 GCD 조건에 기반한 행렬 간 부분순서 $ \leq $ 를 정의한다.
• 격자 구조를 활용하여 유한 아벨 p-군에서의 부분군 포함관계와 동형 유형을 인코딩한다.
• 재귀적 약수 함수를 통해 $ g^k_p(\alpha) $, 즉 $ \prod_{i=1}^k \mathbb{Z}_{p^{\alpha_i}} $ 에서 순서 $ p^\alpha $ 인 순환 부분군의 수를 유도한다.
• 유한 아벨 군을 p-주성분으로 분해하고 곱셈 공식을 사용하여 결과를 일반 유한 아벨 군으로 일반화한다.
• 오일러 타우 함수 $ \varphi(p^\alpha) = p^\alpha - p^{\alpha-1} $ 를 활용하여 순서 $ p^\alpha $ 인 원소의 수를 $ g^k_p(\alpha) \cdot \varphi(p^\alpha) $ 로 계산한다.

실험 결과

연구 질문

• RQ1 임의의 계수를 가진 유한 아벨 p-군에서 고정된 순서를 가진 부분군의 수에 대한 명시적 공식을 유도할 수 있는가?
• RQ2 임의의 유한 아벨 군에서 주어진 순서를 가진 순환 부분군의 수는 어떻게 계산할 수 있는가?
• RQ3 유한 아벨 군에서 주어진 순서를 가진 원소의 수는 그 p-주성분에 의해 완전히 결정되는가?
• RQ4 원소 순서의 집합과 각 순서를 가진 원소의 수가 주어졌을 때, 이는 얼마나 정밀하게 유한 아벨 군의 동형 유형을 결정하는가?
• RQ5 산술 격자 프레임워크를 사용하여 부분군 격자 구조를 알고리즘적으로 생성할 수 있는가?

주요 결과

• 계수 2, 유형 $ \mathbb{Z}_{p^{\alpha_1}} \times \mathbb{Z}_{p^{\alpha_2}} $ 인 유한 아벨 p-군에서 순서 $ p^\alpha $ 인 부분군의 수는 $ g^2_p(\alpha) = \frac{p^\alpha h^1_p(\alpha) - p^{\alpha-1} h^1_p(\alpha-1)}{p^\alpha - p^{\alpha-1}} $ 로 주어지며, 여기서 $ h^1_p(\alpha) = \min(p^{\alpha}, p^{\alpha_1}) $ 이다.
• 계수 $ k $ 인 유한 아벨 p-군에서 순서 $ p^\alpha $ 인 순환 부분군의 수는 $ g^k_p(\alpha) $ 이며, $ g^k_p(0) = 1 $ 이다.
• 그러한 군에서 순서 $ p^\alpha $ 인 원소의 수는 $ g^k_p(\alpha) \cdot \varphi(p^\alpha) = p^\alpha h^{k-1}_p(\alpha) - p^{\alpha-1} h^{k-1}_p(\alpha-1) $ 로 주어진다.
• 임의의 유한 아벨 군 $ G \cong \prod_{i=1}^m G_i $ 에서, $ G_i $ 가 계수 $ k_i $ 인 $ p_i $-주성분일 경우, 순서 $ \prod_{i=1}^m p_i^{\alpha_i} $ 인 순환 부분군의 수는 $ \prod_{i=1}^m g^{k_i}_{p_i}(\alpha_i) $ 이다.
• 군 $ G $ 에서 순서 $ \prod_{i=1}^m p_i^{\alpha_i} $ 인 원소의 수는 $ \prod_{i=1}^m g^{k_i}_{p_i}(\alpha_i) \cdot \varphi(p_i^{\alpha_i}) $ 이다.
• 논문은 유한 아벨 군이 원소 순서의 다중집합과 각 순서를 가진 원소의 수에 의해 유일하게 결정되는지 여부는 열려있다고 남기며, 이는 핵심적으로 해결되지 않은 질문으로 제안한다.