[논문 리뷰] Menon's identity and arithmetical sums representing functions of several variables

László Tóth|arXiv (Cornell University)|2011. 03. 30.

Analytic Number Theory Research참고 문헌 14인용 수 40

한 줄 요약

이 논문은 여러 변수의 함수를 포함하는 산술적 합으로 Menon의 항등식을 일반화하여, 서로소 잔여류 위의 최대공약수의 가중합을 다변수의 곱셈 함수로 표현하는 새로운 항등식을 도출한다. 주요 기여는 임의의 순서를 가진 유한 개의 순환군의 직근곱에서 순환 부분군의 수에 대한 닫힌 형식의 공식을 제시하는 것으로, 고전적인 결과를 확장하고 높은 차원에서 Menon 유형 항등식을 통합하는 프레임워크를 제공한다.

ABSTRACT

We generalize Menon's identity by considering sums representing arithmetical functions of several variables. As an application, we give a formula for the number of cyclic subgroups of the direct product of several cyclic groups of arbitrary orders. We also point out extensions of Menon's identity in the one variable case, which seems to not appear in the literature.

연구 동기 및 목표

• 단일 변수에서 다변수 산술 함수로 Menon의 항등식을 확장하는 것.
• 임의의 순서를 가진 유한 개의 순환군의 직근곱에서 순환 부분군의 수에 대한 일반 공식을 도출하는 것.
• 군 작용과 수론적 기법을 활용하여 기존의 Menon 유형 항등식을 통합하고 일반화하는 것.
• 곱셈 함수를 통해 p군과 일반 아벨 군에서 순환 부분군의 수에 대한 명시적 공식을 제공하는 것.

제안 방법

• 곱셈 함수의 성질과 Dirichlet 합성을 사용하여, M과 서로소인 k에 대해 ∑gcd(k−a₁,m₁)⋯gcd(k−aᵣ,mᵣ) 형태의 일반화된 Menon 유형 항등식을 유도한다.
• 고정점 수를 세는 방식으로 아벨 군 위의 군 작용을 분석하기 위해 Cauchy-Frobenius 보조정리( Burnside의 보조정리)를 적용하여 순환 부분군의 수를 계산한다.
• 동시 합동식의 해가 존재하는 조건을 코딩하는 함수 η^(a)(d₁,…,dᵣ)를 도입하여 합의 정수성을 보장한다.
• 최소공배수와 오일러의 φ 함수의 구조를 이용하여 합을 약수에 대한 유한한 곱셈 합으로 표현한다.
• 중국인의 나머지 정리와 p진 분해를 적용하여 문제를 소수 거듭제곱의 경우로 단순화한다.
• 조르당의 오일러 함수와 곱셈 산술 함수를 활용하여 다항식과 거듭제곱 함수에 대한 기존 항등식을 일반화한다.

실험 결과

연구 질문

• RQ1 Menon의 항등식은 어떻게 여러 변수의 함수로 일반화될 수 있는가?
• RQ2 임의의 순서를 가진 r개의 순환군의 직근곱에서 순환 부분군의 수는 얼마인가?
• RQ3 M과 서로소인 k에 대해 ∑gcd(k−a₁,m₁)⋯gcd(k−aᵣ,mᵣ)는 다변수의 곱셈 함수로 표현될 수 있는가?
• RQ4 i=1,…,r에 대해 gcd(k−aᵢ,mᵢ)=dᵢ인 동시에 성립하는 합동식의 해의 구조는 어떠한가?
• RQ5 단일 변수에서의 Menon 유형 합에 대한 기존 항등식은 다변수 환경으로 어떻게 확장될 수 있는가?

주요 결과

• C_{m₁}×⋯×C_{mᵣ}에서 순환 부분군의 수는 c(G) = ∑_{dᵢ|mᵢ} φ(d₁)⋯φ(dᵣ)/φ(lcm[d₁,…,dᵣ])로 주어지며, 이는 r변수의 곱셈 함수이다.
• 두 개의 순환군에 대해, c(C_{m₁}×C_{m₂}) = ∑_{d₁|m₁, d₂|m₂} φ(gcd(d₁,d₂))이다.
• p군에 대해, c(C_{pᵘ}×C_{pᵛ}) = 2(1+p+⋯+p^{v−1}) + (u−v+1)pᵛ (u≥v일 때)이다.
• 홀수 n과 g(x)=xʲ−1일 때, ∑_{gcd(k,n)=1} gcd(kʲ−1,n) = φ(n)∏_{d|j} τ(n_d^d)이며, 여기서 n_d는 p≡1 mod d를 만족하는 소수의 곱이다.
• j=6이고 홀수 n일 때, ∑_{gcd(k,n)=1} gcd(k⁶−1,n) = φ(n)τ(A⁶)τ(B²)이며, 여기서 A는 n에서 6으로 나누었을 때 나머지가 1인 소수들의 곱이고, B=n/A이다.
• ∑_{k≤M, gcd(k,M)=1} gcd(k−a₁,m₁)⋯gcd(k−aᵣ,mᵣ)는 φ(M)으로 나누어지며, η^(a)(d₁,…,dᵣ)를 포함하는 약수에 대한 유한합으로 표현된다. 이 함수는 해가 존재하고 서로소 조건을 만족할 때 1이 된다.