🔢 mathematics

A necessary condition for solvability by radicals

이 논문은 토론토 대학교 MAT401 과정의 강의 자료로, 갈루아 이론을 바탕으로 대수 방정식의 근사해 존재에 대한 필요 조건을 증명합니다.

원저자: Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

게시일 2026-04-13

📖 3 분 읽기🧠 심층 분석

원저자: Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

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

🏰 1. 이야기의 배경: 방정식이라는 미로

수학자들은 수천 년 동안 $x^2 - 2 = 0$ 같은 간단한 방정식부터 $x^5 + x + 1 = 0$ 같은 복잡한 방정식까지 풀려고 노력했습니다.

근호 (Radicals) 란? 우리가 학교에서 배운 $\sqrt{2}$ , $\sqrt[3]{5}$ , 혹은 $x^{1/2}$ 같은 '루트'나 '거듭제곱' 기호를 말합니다.
목표: 이 기호들만 써서 방정식의 해 (정답) 를 구할 수 있는가?

이 논문은 **"만약 어떤 방정식을 근호로 풀 수 있다면, 그 방정식의 뒤에는 반드시 '특정한 구조'가 숨어 있어야 한다"**는 사실을 증명합니다. 그 구조가 없다면, 아무리 천재가 있어도 근호로 풀 수 없다는 뜻입니다.

🔑 2. 핵심 도구: 갈루아 군 (Galois Group) = "방정식의 비밀 지도"

논문에서 가장 중요한 개념은 **갈루아 군 (Galois Group)**입니다. 이를 **'방정식 해의 비밀 지도'**라고 상상해 보세요.

해 (Roots): 방정식의 정답들입니다. 예를 들어 $x^2=2$ 의 해는 $\sqrt{2}$ 와 $-\sqrt{2}$ 입니다.
갈루아 군의 역할: 이 해들을 서로 뒤섞을 수 있는 '규칙'들의 모음입니다.
- $\sqrt{2}$ 와 $-\sqrt{2}$ 를 서로 바꿔도 방정식의 성질은 변하지 않습니다. (이건 쉬운 규칙)
- 하지만 더 복잡한 5 차 방정식의 해들은 서로 뒤섞일 때 매우 복잡한 규칙을 따릅니다.

논문은 이 **'규칙들의 모임 (군, Group)'**이 얼마나 단순한지, 혹은 복잡한지를 분석합니다.

🪜 3. 해결책의 비법: 계단식 구조 (Solvable)

방정식을 근호로 풀 수 있다는 것은, 해답을 찾기 위해 계단을 하나씩 올라가는 과정과 같습니다.

1 단계: 먼저 $\sqrt{2}$ 를 구합니다. (1 차 계단)
2 단계: 그 다음 $\sqrt[3]{\sqrt{2}+1}$ 을 구합니다. (2 차 계단)
3 단계: 이렇게 계속 루트와 거듭제곱을 쌓아올려서 최종 답에 도달합니다.

이 논문은 **"이 계단 구조가 존재하려면, 방정식의 '비밀 지도 (갈루아 군)'가 매우 단순한 형태여야 한다"**고 말합니다.

단순한 지도: 계단을 오를 때마다 규칙이 단순하게 변합니다. (이걸 수학적으로 **'가해군 (Solvable Group)'**이라고 합니다.)
복잡한 지도: 규칙이 너무 꼬여있어서 계단을 오를 수 없습니다. (이런 방정식은 근호로 풀 수 없습니다.)

🏗️ 4. 논문의 증명 과정: "정리된 성을 짓기"

논문은 다음과 같은 논리로 증명합니다.

가정: 만약 방정식을 근호로 푼다면, 우리는 어떤 '근호 사슬 (Radical Chain)'을 만들 수 있다.
문제: 이 사슬은 너무 복잡해서 수학적으로 분석하기 어렵습니다. (성벽이 불규칙해서 지도를 그릴 수 없음)
해법 (정규화): 논문은 이 불규칙한 사슬을 **규칙적인 '정규화된 성 (Nested Set of Normal Extensions)'**으로 바꿉니다.
- 마치 불규칙한 돌담을 다듬어 완벽한 성벽으로 만드는 과정입니다.
- 이 과정에서 성벽 하나하나 (각 단계의 필드) 는 수학적으로 완벽하게 정리됩니다.
분석: 이렇게 정리된 성벽 하나하나를 분석해 보니, 각 단계에서 적용된 규칙 (갈루아 군) 은 모두 매우 단순하고 교환 가능한 (Commutative) 형태였습니다.
- 예: "A 를 먼저 하고 B 를 해도, B 를 먼저 하고 A 를 해도 결과가 같다"는 식의 단순함.
결론: 만약 전체 구조가 이런 단순한 단계들로 이루어져 있다면, 그 전체를 아우르는 '비밀 지도 (전체 갈루아 군)'도 반드시 **단순한 구조 (가해군)**여야 합니다.

💡 5. 요약: 왜 이 논문이 중요한가?

이 논문은 **"방정식을 풀 수 있는지 없는지 판단하는 나침반"**을 만들어 줍니다.

과거: "이 방정식을 풀려고 해봤는데 안 돼. 아마 안 풀리는 것 같아." (시행착오)
이 논문 이후: "이 방정식의 '비밀 지도 (갈루아 군)'를 보니 너무 복잡하게 꼬여있어. 근호로는 절대 풀 수 없어." (명확한 증명)

한 줄 요약:

"방정식을 루트 (√) 만으로 풀 수 있으려면, 그 방정식의 해들이 서로 뒤섞이는 규칙이 매우 단순하고 계단식이어야 합니다. 만약 규칙이 너무 복잡하게 꼬여 있다면, 그 방정식은 영원히 근호로 풀 수 없습니다."

이것은 16 세기부터 19 세기까지 수학자들을 괴롭혔던 "5 차 방정식 풀이 불가"의 수수께끼를 해결한 갈루아 이론의 핵심을, 아주 깔끔하게 정리한 논문입니다.

논문 개요

제목: A necessary condition for solvability by radicals (근으로 풀 수 있는 방정식에 대한 필요 조건)
저자: Askold Khovanskii
발행일: 2026 년 4 월 13 일 (토론토대학교 MAT401 강의 자료용)
주제: 갈루아 이론 (Galois theory) 을 기반으로 대수 방정식이 근 (radicals) 으로 해를 구할 수 있는지에 대한 필요 조건을 증명하는 것.

1. 연구 문제 (Problem)

대수학의 고전적인 문제 중 하나는 주어진 다항식 방정식 $P(x)=0$ 이 유한한 사칙연산과 근호 (radical, 예: $\sqrt[n]{a}$ ) 만을 사용하여 해를 표현할 수 있는지 (solvable by radicals) 를 판단하는 것입니다.
이 논문은 해가 근으로 표현 가능하기 위해서는 해당 방정식의 갈루아 군 (Galois group) 이 '가해군 (solvable group)'이어야 한다는 명제를 증명하는 데 초점을 맞추고 있습니다. 이는 갈루아 이론의 핵심 정리 중 하나인 '가해성 (solvability)'의 필요 조건을 체계적으로 도출하는 과정입니다.

2. 방법론 (Methodology)

저자는 갈루아 이론의 기본 정리들을 바탕으로 논리를 전개하며, 다음과 같은 단계적 접근법을 사용합니다.

갈루아 이론의 기본 정리 정리:
- 정규 확장 (normal extension) 과 갈루아 군의 정의, 차수 공식 (Degree formula), 그리고 갈루아 군의 크기가 확장 차수와 일치한다는 정리 (Theorem 1.3) 를 재확인합니다.
- 중간 체 (intermediate field) 와 부분군 사이의 대응 관계, 정규 부분군 (normal subgroup) 과 몫군 (factor group) 의 성질을 정리합니다.
근의 사슬 (Chain of Radical Extensions) 의 정규화 (Normalization):
- 일반적인 '근의 사슬' ( $K = R_0 \subset R_1 \subset \dots \subset R_n$ ) 은 정규 확장이 아닐 수 있어 갈루아 군을 정의하기 어렵다는 한계가 있습니다.
- 이를 해결하기 위해 **정규화된 근의 사슬 (nested set of normal radical extensions)**을 정의합니다. 이는 각 단계에서 다항식 $x^N - 1$ 이나 $x^{k_i} - \omega$ 의 분해체 (splitting field) 를 포함하도록 확장된 구조입니다.
- 임의의 근의 사슬에 대해 이를 포함하는 정규화된 사슬을 구성할 수 있음을 증명합니다 (Theorem 7.2).
갈루아 군의 구조 분석:
- 단위근 (Roots of Unity): $x^n - 1$ 의 분해체에 대한 갈루아 군은 가환군 (commutative group) 의 부분군임을 보입니다 (Lemma 8.2).
- 근의 첨가: $K$ 가 $n$ 차 단위근을 모두 포함할 때, $x^n - a$ 의 분해체에 대한 갈루아 군은 순환군 $Z_n$ 의 부분군 (가환) 임을 증명합니다 (Lemma 8.3).
- 다항식의 곱: 여러 개의 근을 동시에 첨가하는 경우에도 갈루아 군은 직합 (direct sum) 형태의 가환군의 부분군이 됩니다 (Lemma 8.4).
가해성 유도:
- 정규화된 근의 사슬에 대응하는 갈루아 군의 연쇄 ( $G_0 \supset G_1 \supset \dots \supset e$ ) 를 구성합니다.
- 각 단계의 몫군 $G_i / G_{i+1}$ 이 가환군 (commutative) 이 됨을 보임으로써, 전체 갈루아 군이 **가해군 (solvable group)**임을 증명합니다 (Corollary 5.4).

3. 주요 기여 및 결과 (Key Contributions & Results)

정규화 과정의 엄밀한 구성:
기존의 근의 사슬이 정규 확장이 아니라는 문제를 해결하기 위해, 임의의 근의 사슬을 포함하는 '정규화된 근의 사슬'을 구성하는 알고리즘을 제시했습니다. 이를 통해 갈루아 군을 정의할 수 있는 명확한 틀을 마련했습니다.
갈루아 군의 가해성 증명 (Theorem 9.1):
주요 정리: 체 $K$ (특성 0) 위의 다항식 방정식 $P(x)=0$ 이 근으로 풀 수 있다면, 그 분해체 $E$ 의 갈루아 군 $G(E, K)$ 는 **가해군 (solvable group)**이다.
- 증명 논리:
  1. 근으로 풀 수 있다는 가정 $\rightarrow$ 근의 사슬 존재.
  2. 근의 사슬 $\rightarrow$ 정규화된 근의 사슬 (정규 확장) 존재.
  3. 정규화된 사슬의 각 단계에서 갈루아 군은 가환군 (Lemma 8.2, 8.4).
  4. 가환 몫군을 가진 군의 연쇄 $\rightarrow$ 전체 군은 가해군 (Corollary 5.4).
  5. 원래 방정식의 갈루아 군은 이 가해군의 몫군이므로 역시 가해군.
갈루아 군과 최소 다항식의 명시적 연결:
갈루아 군의 작용 (orbit) 을 통해 원소의 최소 다항식을 명시적으로 구성하는 방법 (Theorem 3.2) 을 재확인하여, 군의 작용과 체 확장의 대수적 구조를 긴밀하게 연결했습니다.

4. 의의 (Significance)

갈루아 이론의 핵심 정리 완성:
이 논문은 갈루아 이론이 대수 방정식의 가해성 문제를 해결하는 데 어떻게 적용되는지를 보여주는 결정적인 단계인 '필요 조건'을 명확하게 증명합니다. 이는 5 차 이상 일반 방정식이 근으로 풀 수 없다는 사실 (아벨 - 루피니 정리) 의 이론적 토대를 제공합니다.
교육적 가치:
토론토대학교 MAT401 강의 자료로 작성된 만큼, 갈루아 군의 구조, 정규 부분군, 그리고 가해군의 정의가 실제 방정식 풀이 문제와 어떻게 연결되는지를 체계적으로 설명합니다. 특히 '근의 사슬'을 '정규 확장'으로 변환하는 과정은 학생들이 추상적인 개념을 구체화하는 데 도움을 줍니다.
이론적 엄밀성:
갈루아 군이 정의되지 않는 일반적인 근의 사슬을 다루기 위해 '정규화 (normalization)' 개념을 도입하고 이를 엄밀하게 증명함으로써, 갈루아 이론의 적용 범위를 명확히 하고 논리적 결함을 방지했습니다.

결론

Askold Khovanskii 의 이 논문은 갈루아 이론을 활용하여 "대수 방정식이 근으로 풀 수 있으려면 그 갈루아 군이 가해군이어야 한다"는 필요 조건을 체계적으로 증명합니다. 이를 위해 근의 사슬을 정규 확장으로 변환하는 과정을 통해 갈루아 군의 가환적 성질을 유도하고, 이를 통해 전체 군의 가해성을 입증함으로써 대수학의 고전적 난제에 대한 현대적 해석을 제공합니다.