🔢 mathematics

The Significance of Proposition II in Galois' Mémoire, The Origin of Galois Automorphisms

이 논문은 갈로아의 명제 II에 결여된 증명을 재구성하여 그의 독창적인 치환 및 치환군의 개념을 현대적 용어로 규명하며, 궁극적으로 갈로아의 치환이 분해체의 체 자기동형사상임을 입증함으로써 그의 원래 정식화와 현대 갈로아 이론 사이의 가교를 놓는다.

원저자: Math Dicker

게시일 2026-07-23

📖 6 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Math Dicker

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

숫자의 비밀 언어

당신이 거대한 우주의 퍼즐 조각을 맞추려 한다고 상상해 보세요. 하지만 그 조각들은 신비로운 기계에 의해 뒤섞인 숫자들입니다. 이 기계는 '다항 방정식'이라는 수학적 레시피이며, 이 레시피는 '근(roots)'이라고 불리는 특정한 숫자들을 뱉어냅니다. 수 세기 동안 수학자들은 단 하나의 질문에 집착해 왔습니다. "우리는 이 근들이 어떻게 함께 춤추는지 예측할 수 있는가? 만약 근 하나를 안다면, 다른 근들도 알아낼 수 있는가?" 이 연구 분야를 대수학이라 부르며, 특히 갈로아 이론(Galois theory)이라 알려진 분과가 있습니다. 이것은 마치 멤버들(근들)이 서로 상호작용할 때만 자신의 진정한 정체를 드러내는 비밀 클럽의 규칙을 이해하려는 것과 같습니다.

이 논문의 이야기를 이해하려면 두 가지 주요 등장인물을 알아야 합니다. 첫째, '분해체(splitting field)'가 있습니다. 이는 단순히 "모든 퍼즐 조각이 완벽하게 들어맞는 가장 작은 방"을 뜻하는 멋진 표현입니다. 둘째, '대칭(symmetries)'이 있습니다. 근들을 무용수라고 상상해 보세요. 대칭이란 음악(방정식)을 깨뜨리지 않으면서 무용수들의 위치를 바꾸는 움직임입니다. 만약 당신이 두 무용수를 바꿨는데도 노래가 여전히 똑같이 들린다면, 그것이 바로 대칭입니다. 우리가 살펴볼 이 논문은 이 대칭들이 어떻게 조직되어 있는지에 대한 200년 된 미스터리를 파헤치며, 자신의 연구를 마치기도 전에 결투로 사망한 천재적인 젊은 수학자 에바리스트 갈로아(Évariste Galois)가 남긴 메모를 해독하려고 시도합니다.

원고 속의 유령

이 논문은 현대 수학자인 매스 디커(Math Dicker)가 1830년 에바리스트 갈로아가 남긴 미완성 퍼즐을 풀기 위해 쓴 탐정 소설입니다. 갈로아는 매우 젊은 나이에 사망한 천재였으며, 그의 마지막 원고에는 "이 증명을 완성할 무언가가 있다. 시간이 없다"라는 유명하고도 가슴 아픈 메모가 적혀 있었습니다. 그는 자신의 연구 중 특정 부분인 '명제 II(Proposition II)'에 대해 말하고 있었는데, 이는 방정식이 어떻게 분해되는지에 대한 깊은 비밀을 암시하는 듯했으나 그는 이를 서술할 시간이 없었습니다.

거의 2세기 동안 수학자들은 갈로아가 그 미완성된 생각에 대해 정확히 무엇을 의미했는지 알아내기 위해 노력해 왔습니다. 이 논문은 마침내 갈로아의 논증에서 빠진 조각들을 재구성했다고 주장합니다. 저자는 단순히 추측하는 것이 아니라, 현대적인 수학 도구들을 사용하여 빈칸을 채우고 갈로아가 내내 옳았음을 증명합니다. 이 논문은 '치환(permutations, 것들을 맞바꾸는 것)'과 '대치(substitutions, 것들을 교체하는 것)'에 대한 갈로아의 원래 아이디어가 현대의 '자기동형사상(automorphisms, 구조를 유지하면서 유지하는 수학적 변환)' 개념과 실제로 동일함을 확립합니다. 이는 마치 오랫동안 바라보고 있던 문을 드디어 열 수 있는 잃어버린 열쇠를 찾은 것과 같습니다.

근들의 춤

갈로아가 말하고자 했던 것을 이해하기 위해, $V$ 라고 부르는 특별한 숫자가 있다고 상상해 보세요. 이 숫자는 방정식의 모든 근이 섞여 있는 일종의 스무디와 같습니다. 갈로아는 만약 당신이 이 과일 조각들을 다양한 방식으로 바꾼다면, 서로 다른 버전의 스무디를 얻게 된다는 것을 깨달았습니다. 이 버전들을 $V_1, V_2, V_3$ 등으로 불러보겠습니다.

갈로아는 이상한 점을 발견했습니다. 만약 이 스무디 버전들의 그룹을 가져와서 서로 맞바꾼다면, 그들은 하나의 패턴을 형성합니다. 그는 이 패턴을 groupe de permutations(치환군)라고 불렀습니다. 하지만 까다로운 점은 이것입니다. 갈로아는 또한 groupe de substitutions(대치군)에 대해서도 언급했습니다. 현대 수학에서 '군(group)'이란 특정한 방식으로 결합될 수 있으면서 규칙을 깨뜨리지 않는 것들의 집합을 말합니다. 갈로아의 위대한 통찰은 이러한 맞바꿈의 그룹들이 단순히 무작위적인 것이 아니라, '체(fields, 숫자들이 사는 방)'와 매우 특정한 방식으로 연결되어 있다는 것이었습니다.

이 논문은 갈-로아가 어떻게 크고 복잡한 방정식(V의 최소 다항식)이 더 작고 단순한 방정식들로 분해될 수 있는지를 보여주려 했다고 설명합니다. 이것은 마치 거대한 케이크를 가져와서 작은 조각들로 자르는 것과 같습니다. 논문은 케이크를 자르는 방식이 "맞바꿈의 그룹"을 어떻게 배치하느냐에 따라 달라진다는 것을 증명합니다.

왼쪽 vs 오른쪽: 케이크를 자르는 두 가지 방법

이 논문에서 가장 흥고한 부분은 이러한 맞바꿈을 조직하는 '왼쪽'과 '오른쪽' 방식의 차이를 명확히 하는 것입니다. 무용수들(근들)의 집합이 있고 당신이 그들을 그룹화하고 싶다고 상상해 보세요.

오른쪽 방식 (Right Cosets): 만약 당신이 무용수들을 오른쪽으로 이동시켜 조직한다면, 결과로 나오는 모든 무용수 그룹은 동일한 "클럽"(동일한 중간체)에 속하게 됩니다. 이 방식으로 케이크를 자르면, 모든 조각은 같은 맛을 가집니다. 논문은 이 방법을 사용할 경우, 더 작은 방정식들에 들어있는 계수(숫자들)가 모두 동일한 특정한 방에 살게 된다는 것을 보여줍니다.
왼쪽 방식 (Left Cosets): 만약 당신이 무용수들을 왼쪽으로 이동시켜 조직한다면, 얻게 되는 그룹들은 다릅니다. 각 그룹은 서로 다르지만 연관된 "클럽"(공액체들)에 속하게 됩니다. 이 방식으로 케이크를 자르면, 조각들은 서로 다른 맛을 내지만 모두 친척 관계입니다. 논문은 이것이 바로 갈로아가 그의 미완성 메모에서 암시했던 바라고 설명합니다. 즉, 큰 방정식은 더 작은 방정식들로 분해되지만, 그 작은 방정식들에 들어있는 숫자들은 서로 다른, 연관된 방들에 살고 있다는 것입니다.

논문은 $x^3 - 2 = 0$ 이라는 방정식을 이용한 구체적인 예시를 통해 이를 실제로 보여줍니다. 논문은 실제 숫자들을 계산하고, "왼쪽 코셋(left cosets)"을 사용하여 근들을 그룹화하면 $Q(\sqrt[3]{2})$ , $Q(\omega\sqrt[3]{2})$ 등과 같은 체에 계수를 가진 다항식들을 얻게 됨을 증명합니다. 이것들은 서로 다른 체들이지만, 모두 연결되어 있습니다. 이는 방정식의 구조가 이러한 서로 다른 방들의 숨겨진 지도를 드러낸다는 갈로아의 직관을 확인시켜 줍니다.

대치에서 자기동형사상으로

이 논문의 주요 목표 중 หนึ่ง은 갈로아의 옛 언어를 우리의 현대 언어와 연결하는 것입니다. 갈로아는 근을 바꾸는 것을 설명하기 위해 "대치(substitution)"라는 단어를 사용했습니다. 오늘날 우리는 이것을 "자기동형사상(automorphism)"이라고 부릅니다. 논문은 갈로아가 설명한 "대치"가 현대 갈로아 이론에서 사용하는 "자기동형사상"과 정확히 같다는 것을 증명합니다.

이것은 "마차"와 "자동차"가 모두 같은 일을 한다는 것을 깨닫는 것과 같습니다. 둘 다 A 지점에서 B 지점으로 데려다주죠. 논문은 갈로아의 "대치"가 우리의 현대적 "자기동형사상"의 조상임을 보여줍니다. 논문은 이러한 대치들이 단순히 무작위적인 맞바꿈이 아니라, 방정식의 구조를 보존하는 엄격한 수학적 규칙임을 증명합니다. 논문은 심지어 이 대치들이 '체 자기동형사상(field automorphisms)'이라는 직접적인 증명을 제공하며, 이는 곧 그들이 갈로아 군의 "공식적인" 멤버임을 의미합니다.

하지만 논문은 또한 모든 맞바꿈이 유효한 자기동형사상은 아니라고 경고합니다. 논문은 $x^4 - 2 = 0$ 이라는 방정식을 통해 예를 듭니다. 만약 당신이 (함께 속하지 않는 특정 근들을 바꾸는 것처럼) "잘못된" 방식으로 근을 바꾸려고 시도한다면, 방정식의 규칙을 깨뜨리게 된다는 것을 보여줍니다. 논문은 어떤 무작위적인 맞바꿈도 대칭이 될 수 있다는 생각을 명시적으로 배제합니다. 오직 "갈로아 군"에 속하는 특정한 맞바꿈만이 진짜 자기동형사상입니다.

최종 판결

그렇다면 이 논문은 실제로 무엇을 찾아냈을까요? 이 논문은 새로운 방정식이나 새로운 숫자를 발견한 것이 아닙니다. 대신, 200년 된 원고를 위한 번역가이자 교정가 역할을 했습니다. 갈-로아의 "명제 II"에 대한 불완전하고 난해한 메모를 가져와 엄밀한 논리로 빠진 단계들을 채워 넣었습니다.

이 논문은 "치환의 그룹"을 바탕으로 방정식을 인수로 분해한다는 갈로아의 아이디어가 수학적으로 타당함을 증명합니다. 논문은 다음을 확립합니다:

갈로아가 설명한 "치환의 그룹"은 실제로 "코셋(cosets, 그룹의 특정한 배열)"입니다.
이러한 배열은 방정식이 어떻게 인수분해되는지를 결정합니다.
만약 "오른쪽 코셋"을 사용하면, 인수는 동일한 체에 속합니다.
만약 "왼쪽 코셋"을 사용하면, 인수는 서로 다르지만 연관된(공액) 체에 속합니다.
갈로아의 "대치"는 실제로 현대의 "자기동형사상"입니다.

저자들은 단순히 추측하는 것이 아니라 공식적인 증명을 제공하기 때문에 이러한 결론에 대해 매우 확신하고 있습니다. 그들은 갈로아의 직관이 옳았음을 보여주는데, 비록 그에게는 전체 설명을 써 내려갈 시간이 없었을지라도 말입니다. 이 논문은 "글자를 맞바꾸는 것"에 대한 19세기 식 사고방식과 "체를 변환하는 것"에 대한 현대적 사고방식 사이의 간극을 메우며, 이 둘이 동전의 양면임을 보여줍니다.

결국, 이 논문은 죽기 전 새로운 수학의 세계의 형상을 보았던 한 젊은 천재에게 바치는 헌사입니다. 이 논문은 이렇게 말합니다. "우리는 들었습니다, 갈로아. 우리는 당신의 증명을 완성했습니다. 당신이 옳았습니다." 이 논문은 원고의 파편을 숫자들이 어떻게 춤추고, 맞바뀌고, 대수학이라는 거대한 퍼즐 속에 어떻게 어우러지는지에 대한 완전하고 아름다운 이야기로 탈바 改합니다.

*기술 요약: 갈루아의 Mémoire에서 명제 II의 중요성*

문제 제기
본 논문은 에바리스트 갈루아(Évariste Galois)의 Mémoire에 나타난 명제 II의 불완전성을 다룬다. 특히 증명을 완성할 시간이 부족했다는 갈루아의 언급("Il y a quelque chose à compléter dans cette démonstration. Je n'ai pas le temps")에 주목한다. 원고는 중간체 위에서 원시 원소 $V$ 의 최소 다항식을 인수분해하는 과정을 개략적으로 설명하고 있으나, 그 기저에 깔린 논리와 갈루아의 독자적인 용어와 현대 갈루아 이론 사이의 정확한 관계는 여전히 모호하다. 본 연구의 핵심 과제는 명제 II의 누락된 논증을 재구성하고, 갈루아의 groupe de permutations(치환군/순열군)와 groupe de substitutions(대입군)의 구분을 명확히 하며, 갈루아의 '대입(substitutions)'이 현대 이론에서의 분해체의 체 자가동형(field automorphisms)과 일치함을 엄밀하게 확립하는 것이다.

방법론
저자는 갈루아의 19세기 표기법과 개념을 현대 대수학적 용어로 번역하되, 원본 원고의 구조적 논리를 엄격히 준수하는 재구성적 접근법을 채택한다. 방법론은 다음과 같다:

명제 II의 재구성: 중간체 위에서 원시 원소 $V$ 의 최소 다항식 $g(x)$ 의 인수분해에 관한 누락된 증명을 보충한다.
갈루아 군의 형식화: 현대 군론을 사용하여 groupe de permutations와 groupe de substitutions를 정의한다. 구체적으로, 본 논문은 groupe de permutations를 군의 좌 또는 우 잉여류(coset)로, groupe de substitutions를 이러한 잉여류와 관련된 자가동형 군(또는 공액 군)으로 규정한다.
대수적 해석: 원시 원소 $V = ax_1 + bx_2 + cx_3 + dx_4$ 와 이와 관련된 유리 함수 $\theta_i(V)$ (라그랑주 보간법과 유사한 방식으로 유도됨)의 성질을 활용하여 근들을 순열로 매핑한다.
잉여류 분석: 갈루아 군을 좌 및 우 잉여류로 분할하는 방식이 최소 다항식 $g(x)$ 의 인수분해를 어떻게 결정하는지 입증한다. 이는 하나의 중간체 위에서의 인수분해와 공액 중간체 위에서의 인수분해를 구분한다.
자가동형의 검증: 갈루아에 의해 정의된 '대입(substitutions)'이 체의 자가동형 공리(덧셈과 곱셈의 보존, 전단사성)를 만족하며, 그러한 대입들의 집합이 갈루아 군을 형성함을 증명한다.

주요 기여 및 결과

갈루아 군의 특성 규명: 본 논문은 groupe de permutations가 현대적 의미의 군이 아니라 반드시 군의 잉여류(좌 또는 우)에 해당함을 밝힌다. 반대로, groupe de substitutions는 항상 군을 형성한다.
- 보조정리 1 & 2: 순열의 집합이 groupe de permutations가 될 필요충분조건은 그것이 어떤 군의 잉여류인 것이다. 만약 그 집합이 항등원을 포함한다면 그것은 군이다.
- 보조정리 3: groupe de permutations와 관련된 대입들의 집합은 군을 형성한다.
명제 II의 재구성 (인수분해): 본 논문은 원시 원소 $V$ 의 유리수체 $\mathbb{Q}$ 위에서의 최소 다항식 $g(x)$ 가 잉여류 구조에 따라 중간체 위에서 어떻게 기약 다항식들로 인수분해되는지 증명한다:
- 우 잉여류: 갈루아 군을 부분군의 우 잉여류로 분할하면, $g(x)$ 는 모든 계수가 동일한 고정체 $L^H$ 에 속하는 다항식들로 인수분해된다.
- 좌 잉여류: 좌 잉여류로 분할하면, 계수가 $L^H$ 에 공액인 체들에 속하는 다항식들로 인수분해된다. 이는 '공액 중간체' 위에서의 인수분해에 관한 갈루아의 관찰을 설명해 준다.
함수 $\theta_i$ 의 명시적 구성: 본 논문은 근 $x_i$ 를 원시 원소 $V$ 로 표현하는 데 필요한 유리 함수 $\theta_1, \theta_2, \theta_3, \theta_4$ 의 존재에 대한 직접적인 증명을 제공한다. 이 증명은 라그랑주 보간법과 유사한 방법을 사용하며, 아돌프 허르비츠(Adolf Hurwitz)의 1909년 노트에서 사용된 방법과 동치임을 보인다.
대입과 자가동형의 동치성: 갈루아가 정의한 '대입'이 정확히 분해체 $L$ 의 체 자가동형임을 증명한다.
- 이러한 대입들이 대수적 구조(덧셈과 곱셈)를 보존하며, 체 원소의 구체적인 함수적 표현에 의존하지 않음을 입증한다.
- 명제 3: 갈루아 군에 속하는 대입들은 분해체의 자가동형과 정확히 일치한다.
예시적 사례: 이 이론을 다항식 $x^3 - 2$ 와 $x^4 - 2$ 에 적용한다. 이 예시들은 좌 잉여류가 어떻게 공액 체 위에서의 인수로 이어지는지(예: $\mathbb{Q}(\sqrt[3]{2})$ , $\mathbb{Q}(\omega\sqrt[3]{2})$ ), 반면 우 잉여류는 어떻게 단일 고정체로 이어지는지를 구체적으로 보여준다. 또한, 모든 근의 순열이 자가동형은 아님을 보여주는 반례(예: $x_1 + x_2 = 0$ 과 같은 대수적 관계를 보존하지 않는 대입)를 제시한다.

의의
본 논문의 주요 의의는 갈루아의 원래 불완전한 정식화와 현대의 체 자가동형 이론 사이의 간극을 메우는 데 있다. 명제 II의 증명을 재구성함으로써, 저자는 갈루아의 groupe de permutations(잉여류)와 groupe de substitutions(군) 개념이 현대적 갈루아 대응의 정교하면서도 암묵적인 선구자였음을 명확히 한다. 본 연구는 갈루아의 '누락된' 논증이 본질적으로 최소 다항식의 인수분해와 갈루아 군의 잉여류 구조 사이의 관계에 관한 것이었음을 보여준다. 나아가, 본 논문은 갈루아가 다루었던 '대입'들이 현대 갈루아 이론을 정의하는 자가동형과 엄밀하게 동등함을 입증함으로써, 고전적 접근법과 현대적 접근법 사이의 연속성을 검증한다. 섹션 8의 상세한 예시는 잉여류를 통한 근의 분할이 결과적인 다항식 인수의 산술적 성질을 어떻게 직접적으로 결정하는지 보여줌으로써 이러한 추상적 개념들을 구체화한다.