🔢 mathematics

Gauss and p-adic numbers

이 논문은 카를 프리드리히 가우스의 노트를 조사하여, "무한 합동식"과 관련된 그의 계산이 제곱근 및 11진 정수와 10진 정수 체계에서의 로그 계산을 포함하여 p-진수의 초기 연구를 구성함을 입증한다.

원저자: Franz Lemmermeyer

게시일 2026-07-30

📖 3 분 읽기🧠 심층 분석

원저자: Franz Lemmermeyer

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신이 퍼즐을 풀고 있다고 상상해 보십시오. 그런데 이 퍼즐 조각들은 단 한 번만 딱 들어맞는 것이 아니라, 아무리 확대해도 완벽하게 들어맞습니다. 수학의 세계에서 이것은 정수의 숨겨진 패턴을 이해하는 데 전념하는 분야인 정수론의 영역입니다. 보통 우리가 수학을 할 때는 특정 지점에서 멈춥니다. 예를 들어 제곱근 2를 구해야 한다면 "1.414"라고 말하고 만족하곤 하죠. 하지만 만약 우리가 영원히 계속 나아갈 수 있다면 어떨까요? 소수점 오른쪽뿐만 아니라 완전히 다른 방향으로 더 많은 정밀한 숫자를 계속해서 추가할 수 있다면 말입니다. 이것이 바로 **p-진수(p-adic numbers)**의 세계입니다. p-진수를 생각할 때, 이는 두 숫자가 수직선 위에서 얼마나 떨어져 있는가가 아니라, 끝자리에 얼마나 많은 0을 공유하느냐에 따라 "가까움"을 측정하는 특별한 종류의 숫자 체계라고 볼 수 있습니다. 만약 두 숫자가 끝에 긴 0의 문자열을 똑같이 공유한다면, 그들은 매우 가까운 이웃으로 간주됩니다. 이것이 이상한 게임처럼 들릴 수도 있겠지만, 알고 보면 이는 일반적인 숫자로서는 해결할 수 없는 방정식들을 풀기 위한 강력한 무기가 됩니다.

이제 1800년대 초반으로 시간을 돌려봅시다. 우리는 보통 1899년에 이 "무한 합동(infinite congruence)" 숫자를 발명한 사람으로 독일의 수학자 쿠르트 헨젤(Kurt Hensel)을 꼽습니다. 하지만 "수학의 왕자"라 불리는 천재 카를 프리드리히 가우스(Carl Friedrich Gauss)의 먼지 쌓인 손노트를 다시 살펴보면 놀라운 비밀이 드러납니다. 가우스가 이와 똑같은 아이디어들을 무려 한 세기나 앞서서 다루고 있었다는 사실입니다. F. 레머마이어(F. Lemmermeyer)의 논문을 통해 우리는 가우스의 개인 작업실, 특히 1800년 7월의 그의 노트를 엿볼 수 있습니다. 이 논문은 가우스가 단순히 추측을 한 것이 아니라, 오늘날 우리가 p-진수라고 부르는 것과 정확히 일치하는 "무한 합동"을 가지고 복잡한 계산을 수행하고 있었음을 보여줍니다. 그는 다른 누구보다도 먼저 이 개념에 이름을 붙이기도 전에 이미 이 도구들을 사용하고 있었습니다.

이 논문은 가우스의 구체적인 실험들을 안내합니다. 우선, 가우스는 계산기에 나오는 그런 제곱근이나 세제곱근을 찾으려 했던 것이 아닙니다. 그는 특정한 "모듈로(modular)" 세계 안에서 완벽하게 작동하는 뿌리를 찾고 있었습니다. 예를 들어, 그는 11-진법의 5의 제곱근을 계산했습니다. 이는 11-진법 체계 내에서 제곱했을 때 5가 되는 숫자(즉, 방정식 $x^2 - 5 = 0$ 을 푸는 것)입니다. 그는 지저식한 소수를 얻는 대신, 몇 번을 확인하더라도 끝자리가 5로 끝나는 숫자를 찾아냈습니다. 그는 대략적인 추측에서 시작하여, 마치 각 계단이 진리에 더 가까워지게 만드는 사다리를 오르는 것처럼, 한 단계씩 더 정밀한 버전으로 "들어 올리는(lifting)" 방식을 통해 이를 수행했습니다. 논문은 가우스가 이항 정리(숫자의 거듭제곱을 전개하는 방법)와 우리가 학교에서 배우는 장제법(long division)을 역순으로 실행하는 것과 유사한 단계별 알고리즘 같은 영리한 기교들을 사용했음을 설명합니다.

가장 매혹적인 부분 중 하나는 가우스가 숫자 10을 어떻게 다루었는가 하는 점입니다. 10은 2와 5로 이루어져 있기 때문에, 가우스는 이 문제를 2에 기반한 문제와 5에 기반한 두 개의 더 작고 쉬운 문제로 나눈 뒤, 다시 하나로 합칠 수 있다는 것을 깨달았습니다. 이것은 거대한 직소 퍼즐을 풀 때 먼저 하늘과 바다를 각각 완성한 다음, 마지막에 이 둘을 딱 맞게 끼워 맞추는 것과 같습니다. 그는 이를 사용하여 "오토모픽(automorphic)" 숫자, 즉 제곱했을 때 원래의 숫자와 끝부분이 똑같이 보이는 숫자를 계산했습니다. 또한 그는 이 기묘한 10 기반 시스템에서 로그(숫자의 크기를 측정하는 방법)도 계산했습니다. 논문은 가우스가 매우 명석했지만 완벽하지는 않았다는 점도 지적합니다. 저자는 누락된 0 하나나 계산되지 않은 빌림수(borrowed digit)와 같은 작은 계산 오류들을 발견했습니다. 그러나 이러한 실수들이 그의 업적을 깎아내리지는 않습니다. 오히려 그가 실시간으로 복잡한 문제를 풀어가던 인간이었음을 보여줄 뿐입니다.

결론적으로, 이 논문은 가우스가 현대적인 의미에서 p-진수를 "발명"했다고 주장하는 것이 아닙니다. 그는 공식적인 정의나 거창한 이론을 써 내려가지는 않았습니다. 대신, 이 논문은 가우스가 이러한 무한 시스템이 어떻게 작동하는지에 대해 깊고 직관적인 이해를 갖추고 있었음을 시사합니다. 그는 이러한 "무한 합동"을 더하고, 빼고, 곱하고, 심지어 제곱근을 구하는 법을 알고 있었습니다. 그는 이를 다항식의 근을 찾거나 이차 합(quadratic sums)의 거동을 이해하는 것과 같은 구체적인 대수적 퍼즐을 풀기 위한 실용적인 도구로 취급했습니다. 저자인 레머마이어는 해독하기 어려운 가우스의 노트 페이지들을 남겨두며, 현대의 독자들이 계속해서 파헤쳐 보라는 과제를 던집니다. 이 논문은 가우스가 현대 대수적 정수론의 기초를 가지고 놀고 있던 동안, 세상의 나머지 사람들이 숫자를 세는 법을 겨우 익히고 있었던 시절에 이미 시대를 수십 년, 어쩌면 한 세기나 앞서갔던 선구자였음을 확인시켜 줍니다.

문제
본 논문은 카를 프리드리히 가우스(Carl Friedrich Gauss)의 노트에 기록된 미발표 계산과 1899년 쿠르트 헨젤(Kurt Hensel)에 의해 정식화된 현대적 $p$ -진수(p-adic numbers) 사이의 역사적, 수학적 간극을 다룬다. 가우스가 '헨젤의 보조정리(Hensel's Lemma)'에 해당하는 다항식 근의 리프팅(lifting) 능력을 갖추고 있었다는 점은 잘 알려져 있으나, 그의 "무한 합동식(infinite congruences)"(즉, $p^\infty$ 에 대한 합동식)을 포함한 계산의 구체적인 성격는 충분히 규명되지 않았었다. 저자는 1800년 7월의 가우스 노트를 조사하여 그가 현대의 $p$ -진수 및 $g$ -진수(g-adic numbers)에 대응하는 이러한 무한 합동식을 통해 어떻게 산술을 수행했는지 파악하고, 제곱근, 세제곱근, 로그 계산에 사용된 방법과 정확성을 검증한다.

방법론
저자는 역사적 분석과 현대적 계산 검증을 결ando 결합하여 다음과 같은 방법을 사용한다:

역사적 재구성: 논문은 가우스의 노트(특히 "1800 Juli" 노트)의 특정 페이지들을 분석하여 그의 필기 계산을 전사하고 해석한다.
알고리즘 설명: 저자는 가우스가 사용했을 것으로 추정되는 알고리즘들을 설명한다:
- 근(예: $\sqrt{1 \pm x}$ )을 계산하기 위한 이항 전개(Binomial expansions).
- 제곱근 추출을 위한 자릿수별 알고리즘(표준 방식 및 $p$ -진수 맥락에 적응된 방식 모두 포함).
- 세제곱근을 위해 산술-기하 평균 부등식을 이용한 반복 근사법.
- $p$ -진 로그를 계산하기 위한 멱급수 전개.
현대적 검증: 저자는 컴퓨터 대수 시스템인 pari를 사용하여 현대적인 $p$ -진 및 $g$ -진 근사치(구체적으로 $241$, $11$, $10$에 대한 modulo)를 계산하여 가우스가 기록한 숫자들과 비교한다. 여기에는 다항식 근의 리프팅, $\mathbb{Q}_{11}$ 에서의 $\sqrt{5}$ 전개, 그리고 동형 사상 $\mathbb{Z}_{10} \cong \mathbb{Z}_2 \oplus \mathbb{Z}_5$ 를 통한 $10$-진 로그 계산의 검증이 포함된다.
대수적 분석: 저자는 중국인의 나머지 정리와 멱등원(idempotent) 이론을 활용하여 $10$-진수의 대수적 구조와 영인자(zero divisor) 및 $1$의 비자명한 제곱근의 존재를 설명한다.

주요 기여

"무한 합동식"을 $p$ -진수로 식별: 본 논문은 가우스의 $p^\infty$ 에 대한 "무한 합동식"을 헨젤의 $p$ -진수의 전구체로 명시적으로 식별하며, 가우스가 공식적인 정의가 나오기 수십 년 전에 이미 이 환(ring)들에서 산술을 수행했음을 입증한다.
가우스의 알고리즘 해독: 저자는 가우스가 다음을 계산하기 위해 사용한 구체적인 방법들을 재구성한다:
- 제곱근: 가우스가 $\mathbb{Q}_{11}$ 에서 $\sqrt{79}$ 와 $\sqrt{5}$ 의 근을 찾기 위해 이항 전개와 자릿수별 뺄셈(오른쪽에서 왼쪽으로 진행하는 $p$ -진 방식)을 어떻게 사용했는지.
- 세제곱근: 가우스가 $\sqrt[3]{2}$ 를 근사하기 위해 부등식과 산술-기하 평균을 어떻게 활용했는지.
- 다항식의 근: 가우스가 5차 다항식의 근을 modulo $241 $에서$ 241^2$ 및 더 높은 거듭제곱으로 어떻게 리프팅(Hensel lifting)했는지.
- 로그: 가우스가 $0 \pmod{10}$ 인 수들에 대한 멱급수 전개와 서로소인 수들에 대한 인수분해를 통해 $10$-진 로그를 어떻게 계산했는지.
오류 탐지: 저자는 이차 주기(quadratic periods)의 $11$-진 전개에서 발생한 빌림(borrowing) 실수나, $\log(301)$ 및 $\log(799)$ 계산에서의 누락 등 가우스의 노트에 나타난 구체적인 계산 오류들을 찾아낸다.
**$10 $-진 구조의 명확화:** 논문은$ \mathbb{Z}_{10} $의$ \mathbb{Z}_2 \oplus \mathbb{Z}_5 $분해와$ 1 $의 제곱근을 찾는 데 있어 멱등원의 역할을 통해 가우스의$ 10$-진 계산에 대한 대수적 배경을 설명한다.

결과

계산 검증: 현대적 계산을 통해, 가우스가 공식적인 표기법이 없었음에도 불구하고 $\mathbb{Q}_{11}$ 에서의 $\sqrt{5}$ 근사와 modulo $241$에서의 5차 다항식 근이 그가 기록한 숫자까지 정확함을 확인하였다.
알고리즘적 통찰: 가우스가 $10$-진수를 위해 사용한 자릿수별 제곱근 알고리즘은 크기가 아닌 합동성에 의존하는 유효한 표준 알고리즘의 변형임을 보여준다.
로그 표: 본 논문은 31까지의 정수에 대한 수정된 $10 $-진 로그 표를 재구성하며, 가우스의 값들이 일반적으로$ \log(ab) = \log(a) + \log(b)$를 만족하지만 일부 항목에는 산술적 오류가 있음을 보여준다.
이차 주기: 논문은 5제곱근과 관련된 이차 주기의 가우스 계산을 명확히 하며, 그의 방법론은 타당했으나 특정 산술 오류로 인해 주기 $a$ 와 $b$ 의 값이 틀리게 되었음을 지적한다.

의의
본 논문은 가우스의 계산 대부분을 "설명"하고 나머지는 과제로 남겨두는 설명적이고 탐정적인 작업으로서 완만한 의의를 가진다고 주장한다. 이는 가우스가 역극한(inverse limits)과 호환 가능한 합동계(compatible systems of congruences)에 대해 정교하고 직관적인 이해를 갖추고 있었으며, 헨젤이 제공한 공식적인 틀 없이도 사실상 $p$ -진수를 사용하여 산술을 수행했음을 강조한다. 저자는 가우스가 이러한 극한을 공식적으로 정의하지는 않았지만, 그의 노트는 그가 이러한 체계 내에서 덧셈, 뺄셈, 곱셈 및 근을 계산하는 법을 알고 있었음을 보여준다고 언급한다. 또한, 가우스의 작업 속에 이러한 "무한 합동식"이 존재한다는 점이 온라인 수학 커뮤니티에서도 언급되어 왔음을 인정하며, 이는 가우스의 도구가 $p$ -진 분석의 맥락에서 이전에 평가되었던 것보다 훨씬 더 진보되어 있었음을 뒷받침한다.

유사한 논문