142857과 갈루아 이론

§1 서론: 여섯 자리 숫자와 300년의 문제

1 ÷ 7 = 0.142857142857… — 이 단순한 나눗셈은 수학에서 가장 매혹적인 순환수를 만들어낸다. 142857에 1부터 6까지를 각각 곱하면, 결과는 자기 자신의 숫자들의 순환 배열이다:

그리고 7을 곱하면, 경이로운 결과가 나온다:

앞에 0을 허용하지 않는다면, 142857은 10진법에서 유일한 순환수이다. 한편, 갈루아 이론은 — “추상대수의 왕관 보석”이라 불리는 — 수학자들을 300년간 괴롭힌 5차 방정식의 근호 불가해성 문제에 답한다. 표면적으로, 여섯 자리 숫자와 심오한 대수적 정리는 아무런 관계가 없어 보인다.

본 논문의 핵심 논지는 다음이다: 142857의 모든 수적 현상은, 갈루아 가해성 이론이 10진법 위에 완전히 투영된 것이다. 더 중요한 것은, 이 연결이 교수법적 경로로서 한 번도 명시적으로 표현된 적이 없다는 점이다 — 이것은 수학적 공백이 아니라 서사적 공백이다.

§2 142857의 대수적 DNA

2.1 기원: (10⁶ − 1) / 7 = 999999 / 7

142857의 본질은 하나의 산술적 정체성이다: 999999을 7로 나눈 몫이다. 이것은 그 존재 조건이 10⁶ ≡ 1 (mod 7) — 즉, 10의 6제곱을 7로 나누면 나머지가 1 — 임을 의미한다.

더 정확히 말하면, 6은 10ᵏ ≡ 1 (mod 7)을 만족하는 최소 양의 정수 k이다. 즉, mod 7에서 10의 곱셈 위수(multiplicative order)가 정확히 6 = 7−1이다. 이것은 10이 mod 7의 원시근(primitive root)임을 의미한다. 가우스는 1801년 《산술 연구(Disquisitiones Arithmeticae)》에서 이미 이 구조를 고찰하여, 1/p의 순환 절 길이와 10 mod p의 곱셈 위수를 연결했다.

2.2 나머지 사슬의 완전 궤도

1/7의 긴 나눗셈을 수행하면, 나머지 수열이 완전한 군 구조를 드러낸다:

나머지 사슬 {3, 2, 6, 4, 5, 1}은 (Z/7Z)×의 0이 아닌 모든 원소의 배열과 정확히 일치한다. 생성원 10이 반복적 자승(自乘)을 통해 군 전체를 순회한다. 이것이 원시근의 정의가 수 수준에서 직접 표현된 것이다.

2.3 핵심적 수적 관찰

142857을 두 자리씩 세 그룹으로 분할하면:

승수 2, 4, 8은 2의 거듭제곱이다. 이것은 우연이 아니다 — 왜냐하면 100 mod 7 = 2이기 때문이다. 100진법에서 1/7의 나눗셈을 수행하면:

그 “+1″은 우연한 수적 잔차가 아니다 — 나머지 사슬이 1로 되돌아가며 폐합된 신호이며, 순환군이 단위원으로 회귀한 수적 화신이다. 여기서 논리 사슬은 완전하다: 긴 나눗셈에서, 차이 = 피제수 − 몫 × 제수 = 나머지(이것은 유클리드 나눗셈의 정의이다). 따라서 차이 수열 {2, 4, 1}과 나머지 수열의 일치는 우연이 아니라, 긴 나눗셈 자체의 대수적 구조가 결정한 것이다. 이 +1(즉, 나머지가 1로 돌아오는 것)이 없으면 999999은 7로 나눠질 수 없고, 순환은 폐합되지 않는다.

§3 Midy 정리: 부분군 구조의 10진법 투영

1836년, 프랑스 수학자 E. Midy는 순환 소수의 상보성(complementarity)을 증명하는 21페이지의 소책자를 발표했다. 142857에 대해 이 정리는 일련의 경이로운 덧셈 등식으로 나타난다:

여기서 핵심 등식은 그룹 수 × 그룹당 자릿수 = 6(항상 일정)이며, 각 그룹의 합은 항상 10ᵏ − 1의 배수이다. 이것이 Midy 정리의 일반적 형태이다.

그러나 이러한 분할은 임의적이지 않다 — (Z/7Z)× ≅ Z/6Z의 부분군 구조에 정확히 대응한다. 핵심 등식은: 10^k mod 7의 곱셈 위수 = k자리 분할의 그룹 수이다. 구체적으로, 100 ≡ 2 (mod 7)이며, (Z/7Z)×에서 2가 생성하는 부분군은 {2⁰, 2¹, 2²} = {1, 2, 4}이다(2³ = 8 ≡ 1 mod 7이므로). 이 부분군의 위수는 3이다. 따라서 100진법에서 나머지는 3단계 후 1로 돌아오며, 대응하는 Midy 분할은 정확히 3그룹이 된다. 마찬가지로, 1000 ≡ 6 ≡ −1 (mod 7)이며, (−1)이 (Z/7Z)×에서 생성하는 부분군은 {1, 6}으로 위수 2이므로, 1000진법에서는 2그룹만 존재한다:

모든 “절단법”이 깔끔한 합을 산출하는 이유는, 대응하는 부분군이 정규이고 상군(quotient group)이 순환군이기 때문이다. Z/6Z의 모든 부분군은 정규부분군이다 — 이것은 가환군(아벨군)의 고유한 성질이다. Martin 등은 2007년에 이를 일반화했다: 순환 절을 b개의 구간으로, 각 구간의 길이를 a로 분할하면, 각 구간의 합은 10ᵃ − 1의 배수이다. 2025년에 Masáková와 Pelantová는 Midy 정리를 비정수 진법까지 확장했다.

§4 핵심 매핑: 142857 ↔ 갈루아 이론

이제 완전한 대응 관계를 수립할 수 있다. 142857에 연관된 체 확장(field extension)은 Q → Q(ζ₇)이며, ζ₇ = e^(2πi/7)은 7차 단위근이다. 이 확장의 갈루아 군은 Gal(Q(ζ₇)/Q) ≅ (Z/7Z)×이다 — 142857을 지배하는 바로 그 군이다.

갈루아 군의 원소 σₖ는 ζ₇을 ζ₇ᵏ로 보낸다(k = 1,2,3,4,5,6). 그러나 정확한 질문에 답해야 한다: 142857 × k가 산출하는 순환 배열과 σₖ가 단위근에 작용하는 것은, 정확히 어떤 의미에서 “동일한” 조작인가?

4.1 프로베니우스 자기동형: 다리 개념

답은 대수적 정수론의 프로베니우스 자기동형(Frobenius automorphism)에서 나온다. 원분체 Q(ζₙ)/Q에 대해, n을 나누지 않는 소수 p는 갈루아 군에서 하나의 프로베니우스 원소 σₚ에 대응하며, 그 작용은 ζₙ → ζₙᵖ이다. 핵심 사실은: σₚ의 갈루아 군 (Z/nZ)×에서의 상(image)은 정확히 p mod n이다.

우리의 경우: n = 7, p = 10(10진법의 밑)을 취한다. 갈루아 군 (Z/7Z)×에서 10에 대응하는 프로베니우스 원소는 σ₁₀이며, 즉 ζ₇ → ζ₇¹⁰ = ζ₇³(10 ≡ 3 mod 7이므로)이다. 10이 mod 7의 원시근이므로, σ₁₀은 갈루아 군 전체를 생성한다.

이제 정확한 대응 사슬은 이렇다: 1/7의 10진법 전개에서, k번째 자릿수는 10ᵏ mod 7에 의해 결정된다 — 이것은 정확히 프로베니우스 원소 σ₁₀의 k차 반복이 (Z/7Z)×에서 취하는 상이다. 한편 k/7의 소수 전개는 1/7의 소수 전개의 k번째 순환 배열이다 — 이것은 정확히 σₖ가 1/7의 10진법 표현에 작용한 결과이다. 양자는 “같은 군에 우연히 작용하는 것”이 아니라, 동일한 프로베니우스 작용이 두 가지 다른 표현 — 근의 치환과 숫자의 배열 — 하에서 투영된 것이다.

이 표의 마지막 행이 핵심이다: 999999은 “군이 단위원까지 완전히 분해된” 수적 화신이다 — 전부 9이며, 잔여물이 없고, 더 이상 분해 불가능한 “단단한 쇠공”이 없다.

§5 반면교사: S₅와 5차 방정식의 불가해성

일반 5차 방정식의 갈루아 군은 S₅(5차 대칭군)로, 120개의 원소를 가진다. S₅는 하나의 정규부분군 A₅(교대군, 60개 원소)를 가지며, A₅는 단순군(simple group) — 비자명 정규부분군이 존재하지 않는다.

갈루아의 핵심 판별 기준은: 방정식이 근호(radical)로 풀 수 있는지는, 그 갈루아 군의 조성열에서 매 단계의 상군이 순환군인지에 달려 있다. 이것은 군이 “가해(solvable)”인지와 동치이다. Z/6Z의 경우, 조성열은 유일하지 않다 — Z/6Z ⊃ Z/3Z ⊃ {e}(상군이 Z/2Z와 Z/3Z)를 선택할 수도 있고, Z/6Z ⊃ Z/2Z ⊃ {e}(상군이 Z/3Z와 Z/2Z)를 선택할 수도 있다. 이 두 조성열은 Midy 정리의 두 가지 분할에 정확히 대응한다: 전자는 세 자리 분할(2그룹), 후자는 두 자리 분할(3그룹).

핵심 통찰은 이것이다: n ≥ 5가 진정한 분계선이 아니다. 1/7에 대응하는 원분 방정식 x⁶ + x⁵ + x⁴ + x³ + x² + x + 1 = 0은 6차 방정식이다 — 차수가 5보다 높다 — 그러나 그 갈루아 군이 순환군(가해군)이므로, 근호로 풀 수 있다. “5차 방정식의 저주”의 진정한 의미는 “n ≥ 5이면 불가해”가 아니라 “S₅가 불가해”이다.

§6 999999의 궁극적 의미

142857 × 7 = 999999. 이 등식에는 갈루아 이론의 정확한 의미가 부여될 수 있다.

6.1 상보 정리의 정밀 조건

왜 142 + 857이 정확히 999인가? 이것은 수적 우연이 아니라 정확히 판별 가능한 산술적 조건이다. 전순환 소수(full reptend prime) p에 대해(즉, 10이 mod p의 원시근인 경우), 순환 절을 반으로 나누면, 앞 반과 뒷 반의 합은 10^((p−1)/2) − 1개의 전부 9인 수와 같다 — 왜냐하면 10^((p−1)/2) ≡ −1 (mod p)이기 때문이다. p = 7의 경우: 10³ = 1000 ≡ −1 (mod 7)이므로, 142 + 857 = 999 = 10³ − 1이다. 이것은 모듈러 산술의 필연적 결과이지, 우연이 아니다.

6.2 올림 사슬의 폐합

올림(carry)의 관점에서 이 등식을 보면:

차이 수열 2 → 4 → 1은 나머지 사슬과 완전히 일치한다. 마지막 단계의 차이가 1로 돌아온다는 것은, 군이 단위원으로 회귀하고 조성열이 종결되었음을 의미한다 — 이것이 가해성의 수적 메아리이다.

만약 일반 5차 방정식의 갈루아 군에 어떤 “수적 표현”이 있다면, 그 수를 어떻게 분할하더라도 항상 어떤 층의 구간 합이 전부 9로 맞아떨어지지 않을 것이다 — A₅라는 “단단한 쇠공”이 수 수준에 제거 불가능한 그림자를 드리우기 때문이다.

§7 문헌 공백: 왜 아무도 이 연결을 한 적이 없는가

arXiv, MathSciNet, 수학교육 학술지, Wikipedia 및 대중 수학 서적에 대한 체계적 조사 결과: 142857의 수적 성질을 갈루아 가해성 이론의 교수법적 경로로 명시적으로 표현한 기존 문헌은 존재하지 않는다.

양쪽의 연구는 각각 풍부하지만 서로 격리되어 있다:

이 공백의 원인은 인지적 분업이 만든 균열이다: 142857을 연구하는 사람들은 이를 취미 수학으로 간주하여, 갈루아 이론이라는 중무기를 동원할 가치가 없다고 여겼다. 갈루아 이론을 연구하는 사람들은 (Z/7Z)×가 너무 자명하여, 여섯 자리 숫자로 “시연”할 가치가 없다고 여겼다.

§8 교수법적 제안: 3층 구조

위의 분석을 바탕으로, 본 논문은 구체에서 추상으로의 3층 교수법적 경로를 제안한다:

8.1 왜 142857이고 다른 순환수가 아닌가

앞에 0을 허용하는 순환수는 무한히 많다: 1/7은 6자리 순환 절을 만들고, 1/17은 16자리, 1/19는 18자리, 1/23은 22자리를 만든다. 왜 142857이 최적의 교수법적 닻인가?

142857의 고유한 장점: 6 = 2 × 3은 서로 다른 소인수를 두 개 동시에 가지는 최소의 순환 절 길이이다. 이것은 Z/6Z가 Z/2Z와 Z/3Z라는 두 가지 다른 유형의 부분군을 가짐을 의미하며 — 각각 세 자리 분할(142+857=999)과 두 자리 분할(14+28+57=99)의 두 가지 Midy 분할에 대응한다. Z/16Z는 부분군이 더 많지만(Z/2Z, Z/4Z, Z/8Z), 전부 2의 거듭제곱 부분군이어서 분할 방식이 단조롭다. 더 결정적으로, 6자리 숫자는 칠판에 쓸 수 있고, 계산기로 검증할 수 있으며, 머릿속에 기억할 수 있다 — 16자리와 18자리는 이 모든 것이 불가능하다.

8.2 3층 경로

제1층: 수 층 (수학적 훈련 불필요)

학생이 계산기로 142857의 곱셈 순환 배열, 구간 합, ×7 = 999999을 검증한다. 목표는 신뢰를 구축하는 것 — “규칙이 정말 거기에 있다.”

제2층: 실현 층 (초등 정수론)

모듈러 산술을 도입한다: 10 mod 7 = 3, 나머지 사슬 3→2→6→4→5→1 폐합, 100 mod 7 = 2는 두 자리 분할에 대응. 목표는 이해를 구축하는 것 — “왜 규칙이 거기에 있는가.”

제3층: 추상 층 (갈루아 이론)

(Z/7Z)×를 갈루아 군으로 도입하고, 부분군이 Midy 분할에 대응하며, 가해성이 “모든 분할이 깔끔함”에 대응함을 보인다. 그런 다음 S₅와 대비한다 — 불가해는 어떤 분할이 영원히 깔끔하게 맞아떨어지지 않음을 의미한다. 목표는 추상적 개념의 구체적 의미를 이해하는 것이다.

이 경로의 힘은: 학생이 첫 번째 단계에서 직접 검증할 수 있고, 두 번째 단계에서 메커니즘을 이해하며, 세 번째 단계에서야 비로소 추상적 정의를 접한다는 것이다 — 그 시점이 되면 추상은 더 이상 허공에서 나타난 것이 아니라 이미 알고 있는 경험에 대한 명명이다.

§9 더 깊은 연결: Artin 추측과 미해결 문제

142857의 존재는 하나의 조건에 의존한다: 7이 전순환 소수(full reptend prime)라는 것 — 즉, 10이 mod 7의 원시근이라는 것이다. 자연스러운 질문은: 이 성질을 가진 소수가 얼마나 많은가?

에밀 아르틴(Emil Artin)은 1927년에 다음을 추측했다: 10은 무한히 많은 소수의 원시근이며, 이러한 소수가 전체 소수에서 차지하는 비율은 약 A = 0.3739558136…(아르틴 상수)이다. 1967년 훌리(Hooley)는 일반화된 리만 가설(GRH)의 성립을 전제로 한 조건부 증명을 내놓았다. 히스-브라운(Heath-Brown)은 1986년에 2, 3, 5 중 적어도 하나가 무한히 많은 소수의 원시근임을 증명했다 — 그러나 무조건적 완전 증명은 여전히 미해결 문제이다.

이것은 의미한다: 142857이 “외로운” 존재인지 — 즉, 무한히 많은 유사한 순환수가 존재하는지 — 라는 문제 자체가 정수론에서 가장 심오한 미해결 추측과 긴밀히 연결되어 있다.

§10 인지과학적 관점: 왜 추상이 병목인가

본 논문이 제시한 3층 교수법적 구조는 단순한 교수 기법이 아니라, 인지과학의 연구 성과를 반영한다. 레이코프(Lakoff)와 누녜스(Núñez)는 《수학은 어디에서 오는가(Where Mathematics Comes From)》(2000)에서 체화된 수학(embodied mathematics) 이론을 제시했다: 추상적 수학 개념은 신체와 독립적으로 존재하는 것이 아니라, 감각운동 경험으로부터 개념적 은유(conceptual metaphor)를 통해 매핑된 것이다. 미적분의 “극한 접근”은 운동에 대한 신체적 경험에서, 집합의 “포함”은 용기(容器)의 공간적 경험에서 비롯된다. 이것은 추상대수학의 군, 부분군, 상군 같은 개념이 구체적인 감각운동 닻이 없으면, 뇌가 자연스럽게 처리할 수 없는 “뿌리 없는 은유” 영역에 빠지게 됨을 의미한다.

드앤느(Dehaene)는 《수 감각(The Number Sense)》(1997/2011)에서 신경과학적 관점으로 이 논점을 더 심화시켰다. 인간의 영아는 “흐릿한 셈(fuzzy counting)” 능력을 타고난다 — 진화를 통해 뇌에 하드코딩된 근사적 수량 지각 시스템이다. 이 시스템은 구체적 수량 비교를 처리하지만, 추상적 대수적 구조를 처리하지는 않는다. “수적 직관”에서 “형식화된 수학”으로의 사이에 인지적 도약이 존재하며, 이 도약에는 구체적 예시가 다리로서 필요하다.

수학사를 돌아보면, 모든 중대한 추상적 개념은 구체적 예시가 선행했다: 군론(群論)은 갈루아가 특정 방정식 근의 치환을 반복적으로 조작하면서 탄생했고, 미적분은 뉴턴이 행성 궤도와 접선의 구체적 계산에서 탄생했으며, 비유클리드 기하학은 가우스의 실제 측량과 리만의 구면 위 구체적 곡률 계산에서 탄생했다. 패턴은 항상: 실례 → 규칙 → 추상이다.

그러나 수학 교육은 이 과정을 완전히 뒤집었다: 먼저 공리를 주고, 다음에 정리를 증명하고, 마지막에 예시를 “응용”으로 내놓는다. 이것은 비계(scaffold)를 제거한 후 학생에게 건물을 짓게 하는 것과 같다.

§11 결론

142857의 모든 마법 — 순환 배열, Midy 분할, 나머지 사슬 폐합, ×7 = 999999 — 은 결국 (Z/7Z)×가 위수 6의 순환군이기 때문이며, 순환군은 갈루아 이론에서 “가장 길든” 군이기 때문이다. 그것을 해체하고, 꿰뚫어 보고, 어떤 각도에서든 절단해도 깔끔한 결과가 나오는 것은, 그 대칭성이 가환적이고 분해 가능하기 때문이다.

그리고 갈루아가 결투 전야에 쓴 정리는 우리에게 말한다: 모든 대칭성이 이렇게 순한 것은 아니라고. 군이 비가환적이고 분해 불가능할 때 — A₅처럼 — 우리는 “공식”을 잃는다. 5차 방정식은 인류가 이 벽에 부딪힌 최초의 사례이다.

본 논문의 공헌은 새로운 수학 정리가 아니다 — 모든 부품은 이미 존재했다. 공헌은 이 부품들을 최초로 하나의 완전한 교수법적 경로로 조립한 것이다: 여섯 자리 숫자에서 출발하여, 순환 배열과 구간 합을 거쳐, 부분군 구조와 조성열을 이끌어내고, 프로베니우스 자기동형을 통해 숫자의 배열과 체의 자기동형 사이에 정확한 다리를 놓고, 최종적으로 갈루아의 가해성 판별 기준에 도달하여 5차 방정식의 불가해성과 대비를 이루는 것이다.

수학의 병목은 인간이 충분히 똑똑하지 않은 것이 아니라, 표현이 충분히 구체적이지 않은 것이었다. 모든 추상적 이론이 진정으로 이해되려면, 자신만의 “142857”을 찾아야 한다 — 충분히 단순하고, 충분히 완비적이며, 충분히 검증 가능한 구체적 닻을 찾아, 뇌가 먼저 직관을 세우고 그 위에서 추상으로 올라가도록 해야 한다.

§12 한계 및 미해결 문제

본 논문이 제안한 교수법적 닻에는 명확한 적용 경계가 있으며, 이를 솔직하게 표기해야 한다.

12.1 아벨적 한계

142857에 대응하는 군 (Z/7Z)× ≅ Z/6Z는 아벨군(가환군)이며, 가장 단순한 부류의 가해군이다. 그러나 갈루아 이론의 진정한 위력은 비아벨 경우를 다루는 데 있다. 예를 들어, 3차 방정식 x³ − 2 = 0의 갈루아 군은 S₃ — 위수 6의 비아벨군이지만, 가해이다(조성열 S₃ ⊃ A₃ ⊃ {e}, 상군이 각각 Z/2Z와 Z/3Z). 142857은 이런 “비가환적이지만 여전히 가해인” 상황을 시연할 수 없다. 초학자에게는 이 구별이 제2단계에서 도입될 수 있지만, 갈루아 이론의 완전한 이해를 위해서 142857은 시작점일 뿐 종착점이 아니다.

12.2 미해결 교수법적 문제

142857과 유사한 “수적 표본”으로서 비아벨 가해군의 조성열을 자연스럽게 시연할 수 있는 것이 존재하는가? 예를 들어, S₃의 비가환성 — ab ≠ ba — 이 수 수준에서 직접 보이는 단순한 산술적 대상을 찾을 수 있는가? 현재 문헌에서 그러한 표본은 발견되지 않았다. 이것 자체가 가치 있는 미해결 문제를 구성한다: 각 유한 가해군에 대해 그 최소 완비 구체적 산술 닻을 찾는 것.

12.3 진법 의존성

142857의 모든 성질은 10진법에 의존한다 — 구체적으로, 10이 mod 7의 원시근이라는 사실에 의존한다. 다른 진법에서는 같은 소수 7이 순환수를 생성하지 않을 수 있다. 예를 들어, 8진법에서 10₁₀ = 12₈이며, 12₈ mod 7의 위수가 반드시 6은 아니다. 이것은 본 논문의 교수법적 경로가 진법에 의존적이며, 대수적으로 가장 근본적인 의미에서의 보편성은 가지지 않음을 의미한다 — 비록 기저의 군 구조 (Z/7Z)×는 진법과 무관하지만.