[논문 리뷰] A remark on Zoloterav's theorem

Hao Pan|ArXiv.org|2006. 01. 02.

Advanced Algebra and Geometry참고 문헌 5인용 수 3

한 줄 요약

이 논문은 모듈로 곱셈과 잔여 조정을 통해 정의된 특정 치환 γₐ,ₙ의 부호를 결정하여 조로타레프의 정리를 개선한다. 이 치환은 집합 {1, ..., (n−1)/2} 위에서 정의되며, n ≡ 1 (mod 4)일 경우 그 부호는 (a/n)과 같고, n ≡ 3 (mod 4)일 경우 1과 같다. 이는 정수부 함수와 분수부 함수의 성질을 이용하여 역전치 수를 2로 나눈 나머지로 계산함으로써 증명된다.

ABSTRACT

Let n>=3 be an odd integer. For any integer a prime to n, define the permutation gamma_{a,n} of {1,...,(n-1)/2} by gamma_{a,n}(x)=n-\dec{ax}_n if {ax}_n>=(n+1)/2, and {ax}_n if {ax}_n<=(n-1)/2, where {x}_n denotes the least nonnegative residue of x modulo n. In this note, we show that the sign of gamma_{a,n} coincides with the Jacobi symbol (a/n) if n=1 mod 4, and 1 if n=3 mod 4.

연구 동기 및 목표

• 정의된 치환 γₐ,ₙ의 부호를 모듈로 곱셈과 잔여 조정을 통해 집합 {1, ..., (n−1)/2} 위에서 결정한다.
• 홀수 정수 n ≥ 3에 대해, n을 4로 나눈 나머지에 따라 γₐ,ₙ의 부호를 특성화함으로써 조로타레프의 정리를 개선한다.
• γₐ,ₙ의 부호와 야코비 승수 (a/n) 사이의 연결 고리를 설정함으로써, 가우스의 보조정리를 합성 모듈로로 확장한다.
• 정수부 함수와 분수부 함수를 사용하여 γₐ,ₙ의 역전치 수 I(a,n)를 2로 나눈 나머지로 계산한다.
• γₐ,ₙ의 부호가 모듈로 n에 대한 실수이자 짝수 딜레클레 특성임을 증명하며, n ≡ 1 (mod 4)일 경우 야코비 승수와 일致함을 보인다.

제안 방법

• γₐ,ₙ을 집합 {1, ..., (n−1)/2} 위의 치환으로 정의하며, {ax}ₙ ≥ (n+1)/2이면 x를 n − {ax}ₙ로, 그렇지 않으면 {ax}ₙ로 매핑한다.
• 역전치 수 I(a,n)를 정수부 함수와 분수부 함수를 사용하여 표현한다: I(a,n) ≡ ∑ₖ₌₁^{(n−1)/2} ⌊ak/n⌋ + ⌊2ak/n⌋ − ⌊ak/n⌋ mod 2.
• 역전치의 구조를 분석하기 위해 항등식 ⌊ak/n⌋ − ⌊al/n⌋ − ⌊a(k−l)/n⌋ = 1 if {ak}ₙ < {al}ₙ, 0 otherwise를 사용한다.
• 역전치 수를 분해하기 위해 항등식 ⌊a(k+l)/n⌋ − ⌊ak/n⌋ − ⌊al/n⌋ = 1 if {ak}ₙ + {al}ₙ > n, 0 otherwise를 적용한다.
• ∑ ⌊2ak/n⌋와 ∑ ⌊ak/n⌋에 관한 알려진 항등식을 사용하여 역전치 수를 2로 나눈 나머지로 단순화하며, (n²−1)/8 mod 2를 활용한다.
• (-1)^{(n²−1)/8} = (2/n)임을 이용하여 n ≡ 3 (mod 4)인 경우의 부호를 해결함으로써 sign(γₐ,ₙ) = 1임을 도출한다.

실험 결과

연구 질문

• RQ1 모듈로 곱셈과 잔여 조정을 통해 정의된 치환 γₐ,ₙ의 부호는 무엇인가? {1, ..., (n−1)/2}에서.
• RQ2 n ≡ 1 (mod 4)일 경우, γₐ,ₙ의 부호는 야코비 승수 (a/n)와 어떻게 관련이 있는가?
• RQ3 왜 n ≡ 3 (mod 4)일 경우, γₐ,ₙ의 부호는 a에 관계없이 항상 1인가?
• RQ4 γₐ,ₙ의 역전치 수는 정수부와 분수부 함수를 사용하여 2로 나눈 나머지로 계산할 수 있는가?
• RQ5 γₐ,ₙ의 부호는 모듈로 n에 대한 실수이자 짝수 딜레클레 특성인가? 그리고 조로타레프의 정리와 어떻게 관련이 있는가?

주요 결과

• n ≡ 1 (mod 4)일 경우, 치환 γₐ,ₙ의 부호는 야코비 승수 (a/n)와 같다.
• n ≡ 3 (mod 4)일 경우, 모든 a에 대해 γₐ,ₙ의 부호는 항상 1이다.
• γₐ,ₙ의 역전치 수 I(a,n)는 I(a,n) ≡ ∑ₖ₌₁^{(n−1)/2} ⌊ak/n⌋ + ⌊2ak/n⌋ + (a−1)(n²−1)/8 mod 2를 만족한다.
• 결과는 ak/n과 2ak/n의 분수부의 정수부 함수에 관한 항등식을 사용하여 도출된다.
• 증명은 주로 모듈로 산술 항등식과 야코비 승수의 성질, 특히 (2/n) = (−1)^{(n²−1)/8}에 기반한다.
• γₐ,ₙ의 부호는 모듈로 n에 대한 실수이자 짝수 딜레클레 특성임과 일致하며, 합성수 n에 대해서도 조로타레프의 정리와 일致한다.