[논문 리뷰] On the number of cyclic subgroups of a finite abelian group

László Tóth|arXiv (Cornell University)|2012. 03. 28.

Limits and Structures in Graph Theory참고 문헌 14인용 수 19

한 줄 요약

이 논문은 유한 아벨 군, 특히 순환군의 직적에서 주어진 순서를 갖는 순환 부분군과 원소의 수를 세는 공식에 대해 수론적 증명을 제시한다. $ C_{n_1} \times \cdots \times C_{n_r} $ 에서 순서 δ인 순환 부분군의 수는 $ c_\delta(n_1,\ldots,n_r) = \sum_{\text{lcm}(d_1,\ldots,d_r)=\delta} \phi(d_1)\cdots\phi(d_r) / \phi(\delta) $ 로 주어지고, 모비우스 역전치와 조르당 함수를 통해 이러한 수를 세는 함수의 곱셈적 구조를 유도한다.

ABSTRACT

We prove by using simple number-theoretic arguments formulae concerning the number of elements of a fixed order and the number of cyclic subgroups of a direct product of several finite cyclic groups. We point out that certain multiplicative properties of related counting functions for finite Abelian groups are immediate consequences of these formulae.

연구 동기 및 목표

• 기초 수론을 이용하여 유한 아벨 군에서 고정된 순서를 갖는 순환 부분군과 원소의 수에 대한 명시적 공식을 유도하기.
• 직적 순환군에서 전체 순환 부분군 수에 대한 간결한 공식을 제시하는 정리 1에 대한 직접적이고 자가 포함된 증명을 제공하기.
• 소수 거듭제곱 분해와 콘볼루션 성질을 통해 순환 부분군과 원소의 수를 세는 함수의 곱셈적 구조를 확립하기.
• 순환 부분군 수를 알려진 산술 함수, 예를 들어 조르당 함수와 본 슈터낙 함수와 연결하기.

제안 방법

• 모비우스 역전치를 사용하여 $ C_{n_1} \times \cdots \times C_{n_r} $ 에서 순서 δ인 원소의 수를 유도함: $ o_\delta(n_1,\ldots,n_r) = \sum_{e|\delta} \gcd(e,n_1)\cdots\gcd(e,n_r) \mu(\delta/e) $.
• 약수 합을 통한 대체 공식 유도: $ o_\delta(n_1,\ldots,n_r) = \sum_{\text{lcm}(d_1,\ldots,d_r)=\delta} \phi(d_1)\cdots\phi(d_r) $, 항등식 $ \sum_{d|n} \phi(d) = n $ 을 사용하여.
• 순서 δ인 순환 부분군의 수를 계산하기 위해 공식 $ c_\delta(n_1,\ldots,n_r) = o_\delta(n_1,\ldots,n_r)/\phi(\delta) $ 를 적용하기.
• 곱셈적 산술 함수의 콘볼루션과 소수 거듭제곱 분해를 통해 수를 세는 함수 $ c(n_1,\ldots,n_r) $ 의 곱셈성 증명하기.
• p-군에 대한 특수한 경우 유도: $ c_{p^\nu}(p^{a_1},\ldots,p^{a_r}) = \frac{1}{p^{\nu-1}(p-1)} \left( p^{\sum \min(\nu,a_i)} - p^{\sum \min(\nu-1,a_i)} \right) $.
• 순환군 $ C_n^r $ 에서 순서 δ인 원소의 수로 조르당 함수 $ \phi_r(\delta) $ 를 식별함으로써 군론적 수와 산술 함수를 연결하기.

실험 결과

연구 질문

• RQ1 유한 아벨 군에서 주어진 순서를 갖는 순환 부분군의 수는 어떻게 기초 수론적 방법을 통해 계산할 수 있는가?
• RQ2 직적 순환군 $ C_{n_1} \times \cdots \times C_{n_r} $ 에서 순서 δ인 원소의 정확한 공식은 무엇인가?
• RQ3 순환 부분군 수를 세는 함수의 곱셈적 구조는 군의 주요 분해에서 어떻게 유도되는가?
• RQ4 순환 부분군 수와 오일러의 타우 함수 및 조르당 함수와 같은 고전적 산술 함수 사이의 관계는 무엇인가?
• RQ5 모비우스 역전치와 약수 합 항등식을 통해 원소 수 공식에서 직접적으로 순환 부분군 수 공식을 도출할 수 있는가?

주요 결과

• 순서 δ인 원소의 수는 $ \sum_{e|\delta} \gcd(e,n_1)\cdots\gcd(e,n_r) \mu(\delta/e) $ 로 주어지며, 이는 모비우스 역전치를 사용한 새로운 유도이다.
• 동치 공식으로 $ \sum_{\text{lcm}(d_1,\ldots,d_r)=\delta} \phi(d_1)\cdots\phi(d_r) $ 이 존재하며, 이는 순환 부분군 수와 최소공배수의 약수 간의 직접적 연결을 보여준다.
• 순서 δ인 순환 부분군의 수는 $ c_\delta(n_1,\ldots,n_r) = \frac{1}{\phi(\delta)} \sum_{\text{lcm}(d_1,\ldots,d_r)=\delta} \phi(d_1)\cdots\phi(d_r) $ 로 주어지며, 이는 p-군에 대한 기존 결과를 일반화한다.
• $ C_n^r $ 에서 순서 δ인 원소의 수는 조르당 함수 $ \phi_r(\delta) = \delta^r \prod_{p|\delta} (1 - p^{-r}) $ 로 주어지며, 이는 이 산술 함수의 군론적 해석을 제공한다.
• 직적 $ C_{n_1} \times \cdots \times C_{n_r} $ 에서 전체 순환 부분군 수는 소수 거듭제곱에 대해 곱셈적이며, $ c(n_1,\ldots,n_r) = \sum_{\delta|n} c_\delta(n_1,\ldots,n_r) $ 로 주어지며, 여기서 $ n = \text{lcm}(n_1,\ldots,n_r) $ 이다.
• 공식 $ c(n_1,\ldots,n_r) = \sum_{d_1|n_1,\ldots,d_r|n_r} \frac{\phi(d_1)\cdots\phi(d_r)}{\phi(\text{lcm}(d_1,\ldots,d_r))} $ 는 기초적인 방법으로 재유도되었으며, 조합론적 수론을 통해 그 타당성이 확인되었다.