2025-11-10T03:14:45.496353

Gauss and p-adic numbers

Lemmermeyer
In his notebooks, Gauss recorded various calculations with "infinite congruences". These infinite congruences are p-adic numbers; Gauss computes a square root of $5$ in the $11$-adic integers in order to find an $11$-adic approximation to a quadratic Gauss sum, computes a nontrivial square root of $1$ in $10$-adic integers, and computes the $10$-adic logarithms of small natural numbers.
academic

가우스와 p진수

기본 정보

  • 논문 ID: 2510.11559
  • 제목: Gauss and p-adic numbers
  • 저자: F. Lemmermeyer
  • 분류: math.NT (정수론), math.HO (역사 및 개요)
  • 발표 시간: 2025년 10월 13일
  • 논문 링크: https://arxiv.org/abs/2510.11559

초록

가우스는 자신의 노트북에 "무한 합동식"에 관한 다양한 계산을 기록했습니다. 이러한 무한 합동식들은 p진수입니다. 가우스는 이차 가우스 합에 대한 11진 근사를 찾기 위해 11진 정수에서 55의 제곱근을 계산했으며, 10진 정수에서 1의 자명하지 않은 제곱근을 계산했고, 작은 자연수들의 10진 로그를 계산했습니다.

연구 배경 및 동기

역사적 배경

p진수의 개념은 일반적으로 1899년에 이를 도입한 Hensel에게 귀속됩니다. Hasse는 이후 국소-전역 원리를 발견함으로써 p진수를 대수정수론에서 필수 불가결한 도구로 만들었습니다. 그러나 본 논문은 중요한 역사적 사실을 밝혀냅니다:

  1. 가우스의 선구적 업적: 가우스는 1800년 7월의 노트북에 이미 "무한 합동식"과 관련된 계산을 기록했으며, 이들은 실제로 p진수입니다!
  2. 시대적 의의: 이는 Hensel의 공식적 도입보다 약 100년 앞선 것으로, 가우스 수학의 초월적 통찰력을 보여줍니다.
  3. 연구 가치: 수학사를 재검토하여 간과된 중요한 기여를 발견합니다.

연구 동기

  • 가우스의 원본 노트북 분석을 통해 p진수 개념의 진정한 기원을 밝혀냅니다.
  • 법 241, 법 11, 법 10에서의 가우스의 "무한 합동식" 계산을 해석합니다.
  • 가우스가 이미 p진 산술의 기본 연산을 습득했음을 보여줍니다.

핵심 기여

  1. 역사적 발견: 가우스가 1800년에 이미 p진수의 개념을 사용했으며, Hensel보다 99년 앞서 있었음을 증명합니다.
  2. 기술적 해석: 가우스의 세 가지 p진 계산을 상세히 분석합니다:
    • 다항식의 p진 근
    • 이차 가우스 합의 p진 근사
    • 10진수에서의 제곱근과 로그
  3. 방법 재구성: 현대 p진 이론을 사용하여 가우스의 계산 방법을 재해석합니다.
  4. 계산 검증: 현대 계산 도구를 사용하여 가우스 계산의 정확성을 검증합니다.

방법론 상세 설명

작업 정의

본 논문의 핵심 작업은 가우스 노트북의 세 가지 p진수 계산을 해석하고 검증하는 것입니다:

  1. 다항식 f(x)=x5−20x4−86x3−98x2+80x+3f(x) = x^5 - 20x^4 - 86x^3 - 98x^2 + 80x + 3의 241진수에서의 근 구하기
  2. 5\sqrt{5}의 11진수 전개 계산
  3. 10진수에서 1의 자명하지 않은 제곱근과 자연수의 로그 계산

핵심 계산 방법

1. p진 다항식 근의 상승(Lifting)

가우스는 현재 "Hensel 보조정리"라고 불리는 방법과 유사한 것을 사용했습니다:

  • 먼저 법 p에서 다항식의 근을 찾습니다.
  • 그 다음 단계적으로 법 pnp^n의 근으로 상승시킵니다.
  • 근 x1≡2(mod241)x_1 \equiv 2 \pmod{241}에 대해, 가우스는 다음을 계산했습니다: x1=2+191⋅241+160⋅2412+⋯x_1 = 2 + 191 \cdot 241 + 160 \cdot 241^2 + \cdots

2. 11진 제곱근 계산

가우스는 5\sqrt{5}의 11진수 전개를 계산했습니다: 5=4+4⋅11+10⋅112+4⋅113+0⋅114+9⋅115+⋯\sqrt{5} = 4 + 4 \cdot 11 + 10 \cdot 11^2 + 4 \cdot 11^3 + 0 \cdot 11^4 + 9 \cdot 11^5 + \cdots

계산 전략:

  • 5n2≡1(mod11)5n^2 \equiv 1 \pmod{11}의 해 n=3n = 3을 찾습니다.
  • 이항 전개를 이용합니다: 1+x=1+12x−18x2+⋯\sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \cdots
  • x=4⋅11x = 4 \cdot 11로 설정하여 1+4⋅11\sqrt{1 + 4 \cdot 11}을 계산합니다.
  • 마지막으로 n=3n = 3으로 나누어 결과를 얻습니다.

3. 10진수의 특수 계산

가우스는 10진수에서 1의 자명하지 않은 제곱근을 계산했습니다: ε=⋯2001114846846461792218008213239954784512519836425781249\varepsilon = \cdots 2001114846846461792218008213239954784512519836425781249

재귀 관계식을 사용합니다: 1−a2≡10nr(mod10n+2)1 - a^2 \equiv 10^n r \pmod{10^{n+2}}이면, b≡−r2(mod10)b \equiv -\frac{r}{2} \pmod{10}

기술적 혁신점

  1. 산술 방법: 가우스는 p진수의 기본 산술 연산을 개발했습니다.
  2. 급수 전개: 이항 급수와 로그 급수를 사용하여 p진 계산을 수행했습니다.
  3. 상승 기법: 법 p에서 법 pnp^n으로의 근 상승 방법을 습득했습니다.
  4. 동형 이용: 암묵적으로 Z10≅Z2⊕Z5\mathbb{Z}_{10} \cong \mathbb{Z}_2 \oplus \mathbb{Z}_5의 구조를 사용했습니다.

실험 설정

검증 도구

저자는 현대 계산 도구 PARI/GP를 사용하여 가우스의 계산을 검증합니다:

sqrt(5 + O(11^8)) = 4 + 4·11 + 10·11^2 + 4·11^3 + 9·11^5 + 5·11^6 + 8·11^7 + O(11^8)

비교 방법

  • 가우스의 수작업 계산 vs 현대 컴퓨터 검증
  • 역사적 방법 vs 현대 p진 이론 표준 방법

실험 결과

주요 검증 결과

1. 11진 제곱근 검증

가우스의 계산: 5=9.0.4.10.4.4\sqrt{5} = 9.0.4.10.4.4 (오른쪽에서 왼쪽으로 읽음) 현대 검증: 완전히 정확하며, 정밀도는 11611^6에 도달합니다.

2. 이차 주기 계산

가우스가 이차 주기 a=−1+52a = \frac{-1+\sqrt{5}}{2}와 b=−1−52b = \frac{-1-\sqrt{5}}{2}를 계산할 때 오류가 발생했습니다:

  • 정확한 값: a=6.7.9.9.8.7a = 6.7.9.9.8.7
  • 가우스의 값: a=10.0.2.5.2.7a = 10.0.2.5.2.7 (나눗셈 시 자리 올림 오류)

3. 10진 로그 계산

가우스가 계산한 로그 값은 현대 계산과 기본적으로 일치합니다:

  • log⁡(31)=80666080\log(31) = 80666080 (가우스)
  • 현대 계산은 로그 성질 log⁡(ab)=log⁡(a)+log⁡(b)\log(ab) = \log(a) + \log(b)를 검증했습니다.

계산 정밀도 분석

  • 대부분의 계산은 p6p^6 이상의 정밀도로 정확합니다.
  • 개별 계산에는 산술 오류가 있지만 방법은 정확합니다.
  • 가우스의 비범한 계산 능력을 보여줍니다.

관련 연구

역사적 맥락

  1. Hensel (1899): p진수 이론을 공식적으로 도입
  2. Hasse: 국소-전역 원리 발전
  3. Frei의 연구: 가우스가 "Hensel 보조정리"를 알고 있었음을 지적
  4. 본 논문의 발견: 가우스가 실제로 완전한 p진 산술을 습득했음

현대적 발전

  • 대수정수론에서 p진수의 핵심 지위
  • 암호학, 계산정수론에서의 응용
  • 국소 유체론과의 연관성

결론 및 논의

주요 결론

  1. 역사적 재정위: 가우스는 p진수 개념의 진정한 선구자이며, 공인된 Hensel보다 99년 앞서 있습니다.
  2. 기술적 성취: 가우스는 이미 p진수의 기본 연산, 제곱근, 로그 등 고급 연산을 습득했습니다.
  3. 방법론적 가치: 가우스의 계산 방법은 현대 이론과 높은 일치도를 보입니다.

한계점

  1. 문헌 제한: 현존하는 가우스 노트북에만 기반하며, 미발견 자료가 있을 수 있습니다.
  2. 해석의 어려움: 일부 계산의 의도와 방법은 여전히 추가 연구가 필요합니다.
  3. 기호 체계: 가우스가 사용한 Λ\Lambda 등의 기호 의미는 아직 명확하지 않습니다.

향후 방향

  1. 심화 발굴: 가우스의 다른 노트북과 미발표 자료에 대한 계속된 연구
  2. 방법 재구성: 현대 언어로 가우스의 p진 이론을 완전히 재구성
  3. 교육 응용: 가우스의 직관적 방법을 p진수 교육에 활용

심층 평가

장점

  1. 사학적 가치: 중대한 수학사 발견으로 p진수의 기원에 관한 서술을 다시 쓸 것입니다.
  2. 기술적 깊이: 상세한 계산 분석과 현대 검증
  3. 문헌 기초: 원본 문헌에 기반한 견고한 연구
  4. 시대 간 대화: 고전 방법과 현대 이론의 완벽한 결합

부족한 점

  1. 해석의 완전성: 일부 계산의 목적과 방법은 여전히 충분히 명확하지 않습니다.
  2. 이론적 깊이: 주로 계산 수준의 분석이며, 이론 수준의 논의는 상대적으로 적습니다.
  3. 영향 분석: 가우스의 이 업적이 왜 발표되지 않았고 전파되지 않았는지에 대한 분석이 부족합니다.

영향력

  1. 학술적 영향: 수학사 교과서의 p진수 기원에 관한 서술을 변경할 것입니다.
  2. 교육적 가치: p진수 교육에 역사적이고 직관적인 관점을 제공합니다.
  3. 연구 영감: 다른 수학 개념의 역사적 기원에 대한 재검토를 자극합니다.

적용 분야

  • 수학사 연구
  • p진수 이론 교육
  • 계산정수론 방법 연구
  • 가우스 수학 사상 연구

참고문헌

주요 참고문헌:

  1. 가우스의 원본 노트북 (Cod. Ms. Gauß Schedae 5)
  2. p진수에 관한 Hensel의 개척적 업적 (1899)
  3. 가우스 제8장 미발표 업적에 관한 Frei의 연구
  4. 19세기 "자기복제수" 문제에 관한 초기 문헌

종합 평가: 이는 가우스의 원본 노트북에 대한 심화 분석을 통해 p진수 개념의 진정한 기원을 밝혀내는 중요한 수학사 연구 논문입니다. 본 논문은 중요한 사학적 가치를 가질 뿐만 아니라 가우스의 시대를 초월한 수학적 통찰력을 보여줍니다. 일부 기술적 세부 사항의 해석에서 추가 심화가 필요하지만, 이 발견은 의심의 여지 없이 p진수 역사에 대한 우리의 인식을 변경할 것입니다.