1. 개요2. 고정군(fixing group)과 고정체(fixed field)3. 갈루아 확대(Galois extension)4. 정규 확대(normal extension)5. 분리 확대(separable extension)
5.1. 분리 다항식(separable polynomial)
6. 갈루아 확대에서의 갈루아 대응(Galois correspondence)7. 예제8. 가해성(solvability)9. 무한 갈루아 이론(infinite Galois theory)5.1.1. 형식적 미분(formal derivative)
5.2. 완전체(perfect field)5.3. 분리 원소(separable element)5.4. 분리 확대(separable extension)5.5. 갈루아 확대(Galois extension)1. 개요
théorie de Galois / Galois 理論갈루아 이론이란, 체의 대칭성 정보를 '손실 없이' 군으로 가져와 연구하는 이론이다. 여기서 "손실"이 없다는 것은, 체의 확장(field extension)에서 부분체(subfield)를 고정시키는 고정군[1][2]에 여러 부분체가 대응되거나, 부분군(subgroup)에 대한 고정체(fixed field)가 여럿 대응되지 않는 상황을 일컫는다.[3] 즉, 고정체와 고정군의 일대일 대응을 다루는 것이다. 이를 보장하는 확장이 갈루아 확장(Galois extension)이며, 이 일대일 대응을 갈루아 대응(Galois correspondence)라 부른다.
가장 대표적인 사례가 대수 방정식의 대수적 가해성 판별 문제이다. 이 문제를 예로 들어 갈루아 이론을 다시 설명하자면, 방정식의 차수가 높아질수록 대수 방정식이 풀리는 체의 확장에 대응하는 갈루아군의 대칭성이 떨어진다. 즉, 유리 계수 5차 방정식부터는 갈루아군이 가해군이 아닐 수 있어, 대수적 해법이 없게 된다.
'미분 갈루아 이론'이란 것도 있는데, 여기선 미분체(미분 연산을 갖춘 체)에 갈루아 이론 비스무리한 방법을 적용하여 어떤 함수의 부정적분이 초등함수로 표현될 수 있는지 알아낼 수 있다.
또한 모든 유한군을 유리수체 확대체의 갈루아군으로 표현할 수 있는지에 대한 문제를 역 갈루아 문제(inverse Galois problem)라고 하며 아직까지 미해결 문제이다.
이하에서는 체(대수학)의 내용을 모두 이해했음을 가정하고, 유한 확대에 한해 설명하기로 한다. 무한 확대에 대해서는 말미에 간단히 언급할 것이다.
학부생에게는 4학기 내지 5학기 동안 진행되는 학부 대수학 강의의 대미를 장식하는 이론이기도 하다. 그만큼 어렵기도 해서[4]인지 갈루아 이론이 포함된 과목은 그전까지만 해도 빵빵하던 대수학 수강생들이 해당 과목 시기만 되면 언제 수강했냐는 듯 우르르 빠져나가기도 한다.[5]
수학교육과의 중등교원 임용고시 시험에서도 매년 어렵게 출제되는 주제이다.
2. 고정군(fixing group)과 고정체(fixed field)
2.1. 고정군
체의 확장 [math(K/F)]에 대해, [math(\text{Aut}\left(K/F\right):=\left\{\sigma:K\overset{\sim}{\longrightarrow}K:\left.\sigma\right|_{F}=\text{id}_{F}\right\})] 을 생각하자. 정의에서 쉽게 알 수 있듯이, 이는 [math(K)]동형군(automorphsim group)에서, [math(F)]를 고정시키는 사상만 뽑아 구성한 것이다.이 역시 군을 이룬다는 것을 쉽게 보일 수 있다. 따라서, 이를 "[math(F)]의 고정군(fixing group)"이라 한다.고정군은 방정식의 근을 다시 방정식의 근으로 보내야한다. 즉, [math(\alpha\in K)]가 [math(f\in F\left[x\right])]의 근이라면, 임의의 [math(\sigma\in\text{Aut}\left(K/F\right))]에 대해, [math(\sigma\left(\alpha\right))]도 [math(f)]의 근이어야 한다.
이를 설명해보자. [math(K)]에서의 [math(f)]의 분해체(splitting field)[6][math(L)]을 생각하자. 다음과 같은 사실이 알려져 있다.
임의의 [math(\sigma\in\text{Aut}\left(K/F\right))]에 대해, [math(\tau\in\text{Aut}\left(L/F\right))]이 존재하여 [math(\left.\tau\right|_{K}=\sigma)]이다.
이제, [math(\alpha)]를 [math(f=\prod\left(x-\alpha_{i} \right))]([math(\alpha_{i}\in L)], [math(\alpha=\alpha_{1})])라 하자. 임의의 [math(\sigma\in\text{Aut}\left(K/F\right))]을 생각해보자. [math(\tau\in\text{Aut}\left(L/F\right))]이 존재하여 [math(\left.\tau\right|_{K}=\sigma)]인데, 이것에 대해, [math(\left.\tau\right|_{F}=\text{id}_{F})]이므로, [math(f=\tau\left(f\right)=\prod\left(x-\tau\left(\alpha_{i} \right)\right))]이다. 따라서, [math(\tau\left(\alpha \right)=\sigma\left(\alpha\right))]도 [math(f)]의 근이다. 이것을 바탕으로 다음과 같은, 다음의 고정군을 계산할 수 있다.
2.2. 예
- 실수에서 복소수로의 확장, [math(\mathbb{C}/\mathbb{R})]을 생각하자. 고등학교 때 배우는, 켤레 연산(conjugation)을 [math(\sigma)]라 하면[7], [math(\text{Aut}\left(\mathbb{C}/\mathbb{R}\right)=\left\{1, \sigma\right\})]이다. 이는, [math(\sigma\left(i\right)=-i)]이고, [math(\pm i)]만이 [math(x^{2}+1=0)]의 근이기 때문이다.
- 유리수에 [math(2)]의 (실수인) [math(3)]중근 [math(\alpha)]를 추가한 확장 [math(\mathbb{Q}\left(\alpha\right)/\mathbb{Q})][8]에 대해, [math(\text{Aut}\left(\mathbb{Q}\left(\alpha\right)/\mathbb{Q}\right)=1)]이다. 이는, [math(\alpha)]는 [math(x^{3}-2=0)]의 근인데, 이것의 근들 중 [math(\mathbb{Q}\left(\alpha\right))]에 속하는 것은, [math(\alpha)]뿐이기 때문이다.
2.3. 고정체(fixed field)
체의 확장 [math(K/F)]에 대해, 고정군 [math(G:=\text{Aut}\left(K/F\right))]과 그것의 부분군 [math(H<G)]을 생각하자. [math(K_{H}:=\left\{a\in K:\forall \sigma\in H\qquad \sigma\left(a\right)=a\right\})]라하면, 이는 체임을 쉽게 보일 수 있다. 그리고 [math(H)]에 의해 고정되는 것들만 모은 체이므로, "고정체(fixed field)"라 부른다.
정의에서 자명하게,
- [math(K/K_{H}/F)]
- [math(H<\text{Aut}\left(K/K_{H}\right))]
- [math(K_{\text{Aut}\left(K/F\right)}/F)]
3. 갈루아 확대(Galois extension)
고정군은 체의 확장의 대칭성을 담고 있다. 하지만, 이것만으로는 체의 확장의 대칭성을 "손실 없이" 가져오기에는 무리가 있다. 이 무손실성을 보장하기 위해서는 체의 확대가 정규 확대(normal extension), 분리 확대(separable extension)여야하며, 이 정규이고 분리인 확대 즉, 정규분리 확대를 갈루아 확대(Galois extension)라 부른다.대수방정식의 가해성에 대한 문제에서 갈루아 이론이 개발되었기에, 갈루아 이론은 대수방정식의 근의 치환을 다루는 것이라 보는 것이 편하다. 이는, 고정군은 방정식의 근을 다시 방정식의 근으로 보내야한다는 것에서 이미 본 사실이다. 여기서, 어떤 방정식에 대해, (1) 한 근을 다른 모든 근으로 치환할 수 있는가 (2) 근이 중복되지 않는가[9]에 대해 질문할 수 있다. 이에 대한 답변이, 정규 확대와 분리 확대이다.
4. 정규 확대(normal extension)
확대 [math(K)]가 체 [math(F)]의 정규 확대(normal extension)이라 함은, 다음이 성립하는 것이다.임의의 기약 다항식 [math(f\in F\left[x\right])]에 대해, [math(\alpha\in K)]가 [math(f)]의 근이면, [math(\alpha_{i}\in K)]이 존재하여 [math(f=\prod \left(x-\alpha_{i}\right))]이다.[10]
4.1. 정규 확대의 동치 조건
다음이 알려져 있다.체의 확장 [math(K/F)]에 대해, TFAE
* [math(K/F)]는 정규 확대이다.
* [math(f\in F\left[x\right])]이 존재하여, [math(K)]는 [math(f)]에 의한 [math(F)]의 분해체이다.[11]
* 모든 [math(E/K)], [math(\sigma\in\text{Aut}\left(E/F\right))]에 대해, [math(\sigma\left(K\right)=K)]이다.
* [math(K/F)]는 정규 확대이다.
* [math(f\in F\left[x\right])]이 존재하여, [math(K)]는 [math(f)]에 의한 [math(F)]의 분해체이다.[11]
* 모든 [math(E/K)], [math(\sigma\in\text{Aut}\left(E/F\right))]에 대해, [math(\sigma\left(K\right)=K)]이다.
4.2. 예
- 임의의 체는 자기 자신의 정규확대이다.
- [math(\mathbb{R}/\mathbb{R})]는 정규확대이다.
[math(x^{2}+1\in R\left[x\right])]은, 기약이고 분해되지 않지만, 확대인 [math(\mathbb{R})]에서 한 근을 가지지 않는다.
[math(\left(x^{2}+1\right)x\in R\left[x\right])]은, 한 근을 갖지만, 확대인 [math(\mathbb{R})]에서 분해되지 않는다. 하지만, 기약이 아니다. - [math(\mathbb{C}/\mathbb{R})]
[math(\mathbb{C})]는, [math(x^{2}+1\in R\left[x\right])]에 의한 [math(\mathbb{R})]의 분해체이다. - 유리수에 [math(2)]의 (실수인) [math(3)]중근 [math(\alpha)]를 추가한 확장 [math(\mathbb{Q}\left(\alpha\right)/\mathbb{Q})]는 정규확대가 아니다.
[math(x^{3}-2\in \mathbb{Q}\left[x\right])]는 한 근 [math(\alpha)]의 최소다항식이다. 그러나 [math(\mathbb{Q}\left(\alpha\right))]에는 다른 근들이 없다. - 정규 확대는 추이적(transitive)이지 않다. 즉, [math(E/F)], [math(K/E)]가 모두 정규확대라 하더라도 [math(K/F)]는 정규확대가 아닐 수 있다.[12]
5. 분리 확대(separable extension)
5.1. 분리 다항식(separable polynomial)
[math(f\in F\left[x\right])]가 분리 다항식(separable polynomial)이라 함은, [math(f)]가 중근을 갖지 않는다는 뜻이다.[13]- [math(\left(x-i\right)\left(x+i\right)=x^{2}+1\in R\left[x\right])]는 분리 다항식이다.
- 소수 [math(p)]에 대해, [math(x^{p}-a^{p}=\left(x-a\right)^{p}\in \left(\mathbb{Z}/p\mathbb{Z}\right)\left(a^{p}\right)\left[x\right])]는 분리 다항식이 아니다.
5.1.1. 형식적 미분(formal derivative)
본래 미분은, 극한의 개념이 있어야하지만, 단순히 다항식이 이루는 벡터 공간 위의 선형 연산자로 이해할 수 있다.[14] 그러면 보통의 미분과 아주 똑같이 작동한다.[15] 그 특징들 중에서 미분이 "근의 중복도"를 하나 낮추는 기능을 한다는 것[16]을 분리 다항식 판별에 적극 이용할 수 있다. 만약, [math(f)]가 중근을 갖는다면(한 근의 중복도가 [math(1)]보다 크다면), [math(f')]에서도 그 근을 갖는다. 즉, [math(f)]가 중근을 갖는다면, [math(f)], [math(f')]는 서로소가 아니다. 이의 역, 서로소이면 중근을 갖지 않는다는 것도 쉽게 증명할 수 있다. 이에 의해 다음을 얻는다.[math(f)]가 분리 다항식인 것과 [math(\left(f,f'\right)=1)]은 동치이다.
이를 이용하여 다음 결과를 얻는다.
- [math(f:=x^{p^{n}}-x\in \left(\mathbb{Z}/p\mathbb{Z}\right)\left[x\right])]는 분리 다항식이다.
- [math(x^{p}-a^{p}\in \left(\mathbb{Z}/p\mathbb{Z}\right)\left(a^{p}\right)\left[x\right])]은 분리 다항식이 아니다.
5.2. 완전체(perfect field)
체 [math(F)]가 완전체(perfect field)라 함은 다음이 성립하는 것이다.* [math(\text{char.}F=0)]이거나
* [math(F^{\text{char.}F}=F)]
* [math(F^{\text{char.}F}=F)]
완전체 위에서, 다음이 성립한다.
* 기약 다항식은 분리 다항식이다.
* 분리 다항식은 서로 다른 기약 다항식의 곱이다.
* 역으로, 서로 다른 기약 다항식은 근이 서로 겹치지 않으므로, 서로 다른 기약 다항식의 곱은 분리 다항식이다.
* 분리 다항식은 서로 다른 기약 다항식의 곱이다.
* 역으로, 서로 다른 기약 다항식은 근이 서로 겹치지 않으므로, 서로 다른 기약 다항식의 곱은 분리 다항식이다.
정의와 정리에서 다음의 예들을 알 수 있다.
- 유리수체 [math(\mathbb{Q})]는 표수가 [math(0)]이므로 완전체이다.
- 유한체는 완전체이다.
- [math(\left(x-a\right)^{p}\in \left(\mathbb{Z}/p\mathbb{Z}\right)\left(a^{p}\right)\left[x\right])]는 기약임에도[17] 분리 다항식이 아니다. 따라서 두 번째 명제에 의해 [math(\left(\mathbb{Z}/p\mathbb{Z}\right)\left(a^{p}\right))]분해체는 완전체가 아니다.
5.3. 분리 원소(separable element)
확대 [math(K/F)]에 대해, [math(F)] 위에서 대수적인 수 [math(\alpha\in K)]가 분리 원소(separable element)라 함은 다음이 성립하는 것이다.[math(\alpha)]를 근으로 갖는 분리 다항식 [math(f\in F\left[x\right])]이 존재한다.
이는 다음과 동치이다.[math(F)]위에서의 [math(\alpha)]의 최소 다항식이 분리 다항식이다.
- 유한체 [math(\text{Gal}\left(p^{n}\right))]의 모든 원소는 [math(\mathbb{Z}/p\mathbb{Z})]의 분리 원소이다.
- [math(a)]는 [math(\left(\mathbb{Z}/p\mathbb{Z}\right)\left(a^{p}\right))]위의 분리 원소가 아니다.
[math(\left(\mathbb{Z}/p\mathbb{Z}\right)\left(a^{p}\right))]위에서의 [math(a)]의 최소 다항식은 [math(x^{p}-a^{p}\in \left(\mathbb{Z}/p\mathbb{Z}\right)\left(a^{p}\right)\left[x\right])]인데 이는 분리 다항식이 아니다.
5.4. 분리 확대(separable extension)
확대 [math(K/F)]에 대해, [math(K/F)]가 분리 확대(separable extension)라 함은 다음이 성립하는 것이다.임의의 [math(\alpha\in K)]는 분리원소이다.
분리 다항식을 다음과 같이 정의할 수도 있다.
[math(K/F)]에 대해, TFAE
* [math(K/F)]가 분리 확대이다.
* [math(\left|\sigma:K\hookrightarrow\overline{F}:\left.\sigma\right|_{F}=\text{id}_{F}\right|=\left[K:F\right])]
* [math(K/F)]가 분리 확대이다.
* [math(\left|\sigma:K\hookrightarrow\overline{F}:\left.\sigma\right|_{F}=\text{id}_{F}\right|=\left[K:F\right])]
다음이 성립한다.
- 분리 확대의 추이성(transitivity)
[math(K/E)], [math(E/F)]가 분리 확대이면, [math(K/F)] 또한 그러하다. - 분리 다항식의 분해체는 분리 확대이다.
- 분리 원소에 의한 확대는 분리 확대이다.
5.5. 갈루아 확대(Galois extension)
갈루아 확대(Galois extension)는 정규분리 확대를 뜻한다. 다음이 알려져 있다.확대 [math(K/F)], 군[math(G<\text{Aut}\left(K/F\right))]에 대해, [math(K/K_{G})]는 갈루아 확대이다.
이는 다음을 증명하기 위한 보조 명제에 가깝다.
유한확대 [math(K/F)]에 대해, TFAE
* [math(K/F)]는 갈루아 확대이다.
* 분리다항식 [math(f\in F\left[x\right])]가 존재하여, [math(K)]는 [math(f)]에 의한 [math(F)]의 분해체이다.
* [math(\left|\text{Aut}\left(K/F\right)\right|=\left[K:F\right])]
* [math(K_{\text{Aut}\left(K/F\right)}=F)]
* [math(K/F)]는 갈루아 확대이다.
* 분리다항식 [math(f\in F\left[x\right])]가 존재하여, [math(K)]는 [math(f)]에 의한 [math(F)]의 분해체이다.
* [math(\left|\text{Aut}\left(K/F\right)\right|=\left[K:F\right])]
* [math(K_{\text{Aut}\left(K/F\right)}=F)]
이들 동치조건들 중, 마지막 것이 (그토록 고대하던), 체의 대칭성을 "손실 없이" 군으로 이식해올 수 있다는 것을 의미한다. 분리 다항식의 분해체 조건은, 갈루아 이론이 어떻게 대수 방정식의 가해성 문제에 적용될 수 있는 지 알려준다. 다음 정의를 보자.
갈루아 군(Galois group)
* 갈루아 확대 [math(K/F)]에 대해, [math(\text{Gal}\left(K/F\right):=\text{Aut}\left(K/F\right))]
* 분리다항식 [math(f\in F\left[x\right])]에 대해, [math(K)]를 [math(f)]에 의한 [math(F)]라 하자. 확대 [math(\text{Gal}\left(f\right):=\text{Gal}\left(K/F\right))]
* 갈루아 확대 [math(K/F)]에 대해, [math(\text{Gal}\left(K/F\right):=\text{Aut}\left(K/F\right))]
* 분리다항식 [math(f\in F\left[x\right])]에 대해, [math(K)]를 [math(f)]에 의한 [math(F)]라 하자. 확대 [math(\text{Gal}\left(f\right):=\text{Gal}\left(K/F\right))]
모든 갈루아 확대체는 [math(\text{Gal}\left(f\right))] 꼴이고, [math(\mathbb{Q})]는 완전체이므로, [math(f\in \mathbb{Q}\left[x\right])]가 분리다항식인 것은 아주 흔한 일이다. 이제, 대수적 해법이 존재하는 지 알고 싶은 [math(f\in \mathbb{Q}\left[x\right])]에 대해, [math(\text{Gal}\left(f\right))]를 조사해주면 된다.
6. 갈루아 확대에서의 갈루아 대응(Galois correspondence)
갈루아 대응(Galois correspondence)은 갈루아 군과 확대체 사이에 일대일 대응을 보장해주는 정리이다. 더욱이, 갈루아 군과 확대체 사이에는 reversed inclusion으로 같은 의미가 성립함을 보여준다.[18]갈루아 확대 [math(K/F)]와 중간 체 [math(K/E/F)]에 대해, [math(K/E)]도 갈루아 확대이다.
갈루아 이론의 기본 정리(fundamental theorem of Galois theory); 갈루아 대응(Galois correspondence)
갈루아 확대 [math(K/F)]에 대해,
(1) 중간 체들의 모임 [math(\left\{K/E/F\right\})]와 부분군 [math(\left\{H<G:=\text{Gal}\left(K/F\right)\right\})]사이에는 일대일 대응이 있다. 그 일대일 대응은, [math(E\longmapsto \text{Gal}\left(K/E\right)=H)], [math(H\longmapsto K_{H}=E)]로 주어진다.
(2) [math(K/E_{i}/F)]에 대해, [math(E_{2}/E_{1}\leftrightarrow\text{Gal}\left(K/E_{2}\right)<\text{Gal}\left(K/E_{1}\right))]
(3) [math(\sigma\in G)]에 대해, [math(\text{Gal}\left(K/\sigma\left(E\right)\right)=\sigma H\sigma^{-1})]
(4) [math(E/F)]가 갈루아 확대인 것과 [math(\text{Gal}\left(K/E\right)\vartriangleleft G)]은 동치이고, 이때, [math(\text{Gal}\left(E/F\right)\cong G/H)]이다.
(5) [math(\text{Gal}\left(K/E_{1}E_{2}\right)\cong H_{1}\cap H_{2})], [math(\text{Gal}\left(K/E_{1}\cap E_{2}\right)\cong\left\langle H_{1},\, H_{2}\right\rangle )]
갈루아 확대 [math(K/F)]에 대해,
(1) 중간 체들의 모임 [math(\left\{K/E/F\right\})]와 부분군 [math(\left\{H<G:=\text{Gal}\left(K/F\right)\right\})]사이에는 일대일 대응이 있다. 그 일대일 대응은, [math(E\longmapsto \text{Gal}\left(K/E\right)=H)], [math(H\longmapsto K_{H}=E)]로 주어진다.
(2) [math(K/E_{i}/F)]에 대해, [math(E_{2}/E_{1}\leftrightarrow\text{Gal}\left(K/E_{2}\right)<\text{Gal}\left(K/E_{1}\right))]
(3) [math(\sigma\in G)]에 대해, [math(\text{Gal}\left(K/\sigma\left(E\right)\right)=\sigma H\sigma^{-1})]
(4) [math(E/F)]가 갈루아 확대인 것과 [math(\text{Gal}\left(K/E\right)\vartriangleleft G)]은 동치이고, 이때, [math(\text{Gal}\left(E/F\right)\cong G/H)]이다.
(5) [math(\text{Gal}\left(K/E_{1}E_{2}\right)\cong H_{1}\cap H_{2})], [math(\text{Gal}\left(K/E_{1}\cap E_{2}\right)\cong\left\langle H_{1},\, H_{2}\right\rangle )]
7. 예제
7.1. 원분체
우리는 [math(\mathbb{Q})] 위의 primitive nth root of unity[19]들 중 하나를 [math(\zeta_n)]이라고 쓰기로 하자. 그러면 [math(\mathbb{Q}(\zeta_n)/\mathbb{Q})]를 생각할 수 있는데, 예를 들면 [math(n=4)]일 때 [math(\zeta_4=i)]가 되도록 할 수 있고 따라서 [math(\mathbb{Q}(\zeta_4)=\mathbb{Q}(i))]가 된다.이제 [math(a)]가 [math(n)]랑 서로소일 때 [math(\zeta_n)]를 [math(\zeta^a_n)]로 보내는 체 동형사상 [math(\mathbb{Q}(\zeta_n)\to \mathbb{Q}(\zeta_n))]를 생각하자. 그러면 이런 동형사상의 갯수는 [math(1\le a\le n)]면서 [math(n)]이랑 서로소인 [math(a)]의 갯수, 그러니까 [math(\varphi(n))]가 되고, [math(\zeta_n)]은 적당히 제곱하는 것으로 모든 nth root of unity를 만들 수 있으므로 [math(\mathbb{Q}(\zeta_n)/\mathbb{Q})]는 갈루아 확대고 그 갈루아 군은 [math((\mathbb{Z}/n\mathbb{Z})^{\times})]가 된다.
7.2. 유한체
유한체 [math(k)]를 하나 생각하자. 그러면 이것의 유한 확대를 [math(\ell)]이라고 하고 이것의 차수를 [math(n)]라고 하자. [math(k)]의 원소의 갯수가 [math(q)]일 때 [math(\ell)]의 모든 원소들은 다음과 같은 다항식 [math(f\in k[x])]의 근이 된다.[math(\displaystyle \begin{aligned} f(x)=x^{q^n}-x \end{aligned})] |
[math(\displaystyle \begin{aligned} \mathbb{Z}/p\mathbb{Z}=\mathbb{F}_p\to k \end{aligned})] |
우리는 다음으로 넘어가기 전에 다음 정리를 보자.
모든 체 [math(K)]에 대해서 [math(K^{\times})]의 유한군 [math(G)]는 순환군이다.
이것의 증명은 [math(G)]의 위수를 [math(q)]라고 하면 적당한 [math(d_1,\cdots,d_m)]가 있어서 [math(d_1|d_2|\cdots|d_m|q)]고 [math(G=\mathbb{Z}/d_1\mathbb{Z}\times \cdots\times \mathbb{Z}/d_m\mathbb{Z})]가 되는데, 그러면 [math(G)]의 모든 원소는 [math(f(x)=x^{d_m}-x\in K[x])]의 근이 된다. 왜냐하면 [math(d_i|d_m)] for all [math(i\le m)]이기 때문이다. 그런데 그러면 [math(x^{d_m}-x)]의 근의 갯수는 [math(d_m)]개 이하이므로 [math(d_m\le q\le d_m)]가 되고 [math(q=d_m)], [math(m=1)]을 얻는다. 따라서 [math(G)]는 순환군이다.
이제 차수가 [math(n)]인 유한체의 확대 [math(k/\mathbb{F}_q)]를 생각하고, 이것의 갈루아 군을 구해보자. 그보다 먼저 이것이 갈루아 확대인지 확인해야 하는데, 이것은 분리 확대고 위에서 보았듯이 [math(f(x)=x^{q^n}-x)]에 의한 [math(\mathbb{F}_q)]의 분해체이므로 정규 확대가 된다. 따라서 갈루아 확대고 갈루아 군이 있다.
그 갈루아 군의 위수는 [math(n)]를 넘을 수 없으며 다음과 같은 체 동형사상을 생각하자.
[math(\displaystyle \begin{aligned} \mathrm{Fr}_q:k\to k,\mathrm{Fr}_q(x)=x^q \end{aligned})] |
[math(\displaystyle \begin{aligned} \mathrm{Gal}(k/\mathbb{F}_q)=\mathbb{Z}/n\mathbb{Z} \end{aligned})] |
프로베니우스를 이용한 예를 하나 들어보자. [math(\mathbb{F}_5)]의 primitive 11-th root of unity. 그러니까 [math(x^{11}-1=0)]의 원소들 중에서 [math(1)]이 아닌 원소 하나를 골라서 [math(\zeta_{11})]라고 쓰고 [math(\mathbb{F}_5(\zeta_{11})/\mathbb{F}_5)]를 생각하자. 만약에 그냥 [math(\mathbb{Q}(\zeta_{11}))]라면 볼 것도 없이 차수가 10일 것이다. 그렇다면 이것은 어떨까?? 이를 확인하기 위해선 [math(\zeta_{11})]에 프로베니우스를 얼마나 씌워야 [math(\zeta_{11})]이 되는지를 확인해야 하는데, 적당한 계산으로
[math(\displaystyle \begin{aligned} 5^5 \equiv 1 \pmod {11} \end{aligned})] |
8. 가해성(solvability)
이제 우리는 근의 공식이 무엇인지에 대해서 생각해보자. 2차방정식의 근의 공식은 [math(ax^2+bx+c=0)]이 있을 때[math(x=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a})]
꼴로 표현된다. 그러니까, 계수들의 사칙연산과 제곱근만을 이용해야 한다. 이를 체의 확장으로 표현하면 이렇게 된다.
[math(\mathbb{Q}(a,b,c)(\sqrt{b^2-4ac})/\mathbb{Q})]
이 체의 확장이 [math(ax^2+bx+c=0)]의 분해체를 표현하는 것이다. 이렇게, 우리는 [math(K)]가 체고 [math(f\in K[x])]일 때 이것이 근의 공식으로 해를 구할 수 있다는 것을 다음과 같이 정의하자.
- 적당한 체들 [math(L=K_n/K_{n-1}/\cdots/K_1/K_0=K)]가 존재한다. 그리고 [math(f)]의 분해체는 [math(L)]의 부분체다. (그냥 [math(L)]라고 해도 상관 없다.)
- [math(K_{i+1}/K_i)]들이 적당한 [math(a_i\in K_i)]가 있어서 for some [math(n_i)], [math(K_{i+1})]는 [math(f_{n_i}(x)=x^{n_i}-a_i\in K_i[x])]의 분해체가 된다.
이는 직관적인 정의인데, 한 번씩 제곱근을 씌우는 과정을 단순히 [math(K_{i+1}/K_i)]란 체의 확대를 생각하는 것으로 바꾼 것 뿐이다. 예를 들면 [math(b)]가 0이 아닐 때 [math(x^3+ax+b=0)]란 방정식을 풀 때 [math(x=u+v)]로 나타내서
[math(u^3+v^3+b+(3uv+a)(u+v)=0)]
로 나타내면 [math(u^3+v^3+b=0, u^3v^3=-\frac{a^3}{27})]가 되도록 [math(u,v)]를 잡을 수 있고, 따라서 [math(u^3,v^3)]는
[math(t^2+bt-\frac{a^3}{27}=0)]
의 두 근이 된다. 이 과정에서 [math(u^3,v^3\in \mathbb{Q}(a,b)\left(\sqrt{b^2+\frac{4a^2}{27}}\right)=K_1)]여야 하고, 따라서
[math(x=u+v\in K_1((u^3)^{\frac{1}{3}},(v^3)^{\frac{1}{3}})=K_2)]
여야 한다. 이렇게 우리는 [math(L=K_2/K_1/K_0=K=\mathbb{Q}(a,b))]를 만들었다.
[math(f\in K[x])]가 근의 공식으로 해를 구할 수 있다고 해보자. 그러면 정의에 나오는 [math(L/K)]는 언제나 갈루아 확대고 그 갈루아 군은 가해군이어야 한다. 왜냐하면 [math(G_i=\mathrm{Gal}(K_{i+1}/K))]라고 한다면 [math(G_0\subseteq G_1\subseteq \cdots \subseteq G_{n-1}=\mathrm{Gal}(L/K))]고 [math(G_{i+1}/G_i=\mathrm{Gal}(K_{i+1}/K_i))]는 쿰머 이론으로 순환군이 되기 때문이다.
이제 [math(f(x)=x^5+ax^4+bx^3+cx^2+dx+e=0)]를 생각하고 [math(K=\mathbb{Q}(a,b,c,d,e))]라고 하자. 그러면 [math(f)]의 분해체는 그 갈루아 군이 [math(S_5)]가 된다. 왜냐하면 [math(f)]의 다섯 근을 [math(\alpha_1,\alpha_2,\alpha_3,\alpha_4,\alpha_5)]라고 하면 이 다섯을 뒤섞는 군의 작용을 생각할 수 있기 때문이다. 그리고 결정적으로 [math(S_5)]는 가해군이 아니고 따라서 일반적인 5차방정식은 근의 공식을 가지지 않는다.[20]
이제 [math(S_3,S_4)]는 가해군임을 생각해보자. 그러면 쿰머 이론으로 [math(K)]가 표수가 0이고 모든 nth root of unity를 갖는다면 (이 둘에 대해선 [math(n\le 4)]에 대해서만 가져도 된다.) 모든 순환 확장은 [math(a\in K)]가 있어서 [math(K(a^{\frac{1}{n}})/K)]꼴이고, 따라서 갈루아 이론의 기본 정리로 3,4차방정식은 계수를 넣으면 바로 근이 나오는, 그러니까 근의 공식을 가진다. 이 두 근의 공식을 각각 카르다노의 방법, 페라리의 방법이라고 부른다.
9. 무한 갈루아 이론(infinite Galois theory)
여태까지 갈루아 이론을 체의 유한 확대에 대해서만 했는데, 이걸 대수적 무한 확대로 일반화할 수 있다.대수적 확대 [math(L/K)]가 있을 때 [math(L)]의 원소들 중 유한개만을 잡아서 체를 만드는 것으로 적당한 direct system [math(\{K_i\})]가 있어서
[math(L=\lim_i K_i)]
라고 쓸 수 있다. 여기에서 lim은 direct limit를 뜻하고 [math(K_i/K)]는 언제나 유한 확대다. 여기에선 direct limit를 쉬운 용어로 합집합으로 바꿔도 되지만 이를 갈루아 군으로 옮길 때 inverse limit로 바뀌는 걸 잘 설명하려면 이를 direct limit로 표현하는 것이 좋다.
대수적 무한 확대 [math(L/K)]가 갈루아 확대라는 것은 [math(K'\subseteq L)]인 모든 유한 확대 [math(K'/K)]가 어떤 유한 갈루아 확대 [math(K/K,K\subseteq L)]이 있어서 [math(K'\subseteq K'')]일 때를 말한다. 그리고 이 때 [math(L/K)]의 갈루아 군을
[math(\mathrm{Gal}(L/K)=\lim_i \mathrm{Gal}(K_i/K))]
로 정의한다. 여기에서의 lim은 inverse limit고 [math(K_i/K)]들은 모두 유한 갈루아 확대다. 여기에서 [math(K_j/K_i)]라는 갈루아 확장들 사이의 체의 확장이 있으면 [math(\mathrm{Gal}(K_j/K)\to \mathrm{Gal}(K_i/K))]라는 단사 군 준동형사상이 언제나 유일하게 존재한다.
앞으로의 증명을 쉽게 하기 위해서 [math(L/K)]가 유한 분해 가능 확대일 때 이것의 갈루아 폐포를 정의하자. 이것의 갈루아 폐포는 [math(L)]을 포함하는 모든 [math(K)]의 갈루아 확대체의 교집합이며 이는 [math(L=K(\alpha_1,\cdots,\alpha_n))]라고 할 때 [math(\alpha_1,\cdots,\alpha_n)]의 최소 다항식의 다른 해들을 모두 [math(K)]에다가 넣으면 바로 유한 갈루아 확대체가 나오므로 존재한다.
[math(L/K)]가 무한 갈루아 확대면 모든 [math(\alpha\in L)]에 대해서 [math(K(\alpha))]는 분해 가능 확대임을 알 수 있고, 덤으로 [math(i:L\to \bar{K})]란 embedding이 있고 [math(\alpha\in L)]면 [math(\alpha)]의 최소 다항식의 분해체를 [math(K')]라고 한다면 [math(i(K)=K)]고 따라서 [math(\alpha\in L)]이 되고 [math(i(L)=L)]가 된다. 반대 방향은 두 조건을 만족하는데도 적당한 [math(E\subseteq L)]가 있어서 그 어떤 갈루아 확장 [math(L/K'/K)]도 [math(E)]를 포함하지 못 한다면 간단히 [math(E)]의 갈루아 폐포를 생각하면 적당한 [math(\alpha\in E)]가 있어서 이것의 최소 다항식의 어떤 해는 [math(L)] 바깥에 있고 따라서 [math(K(\alpha))]에 대해 [math(\alpha)]에서 그 해로 가는 동형사상을 잡으면 이것은 Fraleigh의 isomorphism extension theorem[21]으로 [math(i:L\to \bar{K})]로 확장할 수 있고, [math(i(L))]는 그 해를 포함하므로 [math(L)]이 될 수 없고 모순이다. 따라서 다음이 성립한다.
[math(L/K)]가 갈루아 확대라는 것과 [math(L/K)]의 모든 부분 확대가 분해 가능 확대고 모든 [math(i:L\to \bar{K})]가 [math(i(L)=L)]를 만족하는 것과 [math(L)]가 [math(K)]의 유한 갈루아 확대들의 direct limit라는 것은 동치다.
이제 [math(L/K)]가 갈루아 확대일 때 [math(\mathrm{Gal}(L/K))]를 살펴보자. 우리는 [math(\mathrm{Gal}(L/K))]를 마치 유한 갈루아 이론을 했을 때처럼 나타내고 싶다. 그러니까 [math(\mathrm{Gal}(L/K))]를 [math(\{\sigma:L\to L\})]들로 나타내고 싶은데, 먼저 [math(\sigma:L\to L)]가 있다면 이건 모든 유한 갈루아 확대 [math(L/K_i/K)]에 대해서 [math(K_i\to K_i)]를 만드므로
[math(\{\sigma:L\to L\}\to \mathrm{Gal}(L/K))]
란 전사함수를 만들고 이 대응으로 두 [math(\sigma,\sigma':L\to L)]가 같아지는데 둘이 다르다면 적당한 [math(\alpha\in L)]가 있어서 [math(\sigma(\alpha)\ne \sigma'(\alpha))]인데 그러면 [math(\alpha)]의 최소다항식의 분해체에서 [math(\sigma,\sigma')]는 서로 달라지고 대응으로 서로 같아진다는 조건에 모순이 생긴다. 따라서 우리는 그냥 [math(\mathrm{Gal}(L/K))]를 이렇게 정의할 수 있다.
[math(\mathrm{Gal}(L/K)=\{\sigma:L\to L,\sigma(a)=a\text{ for all }a\in K\})]
하지만 무한 갈루아 확대에 대한 갈루아 군을 이렇게 나타내는 건 별로 좋지 않다. 대수적 무한 확대의 모든 정보는 유한 확대에서 나오며 따라서 통으로 동형사상들을 모으는 것보다 유한 확대의 direct limit를 생각하는 것이 훨씬 더 근본적이다.
이제 이런 무한 갈루아 확대의 예제를 찾아보면 [math(K)]가 아무 체라면 [math(K)]의 모든 분해 가능 확대로 direct limit를 씌운 (또는 모든 분해 가능 확대체들을 합집합한) [math(K^{\mathrm{sep}})]가 있다. 그리고 [math(K^{\mathrm{sep}}=\bar{K})]라는 것과 [math(K)]가 완전체라는 것은 동치고, 다음 갈루아 군 [math(\mathrm{Gal}(K^{\mathrm{sep}}/K))]을 절대 갈루아 군이라고 부른다.
절대 갈루아 군의 예를 들어보면 [math(\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}))]가 있는데, 보통 정수론계에서 이 군은 정말로 알아내기가 어렵다고 알려져 있다. 그리고 유한체에 대해선
[math(\mathrm{Gal}(\bar{\mathbb{F}}_q/\mathbb{F}_q)=\lim \mathbb{Z}/n\mathbb{Z}=\hat{\mathbb{Z}}=\prod_{p}\mathbb{Z}_p)]
가 되는데, 여기에서 lim은 inverse limit며 [math(\mathbb{Z}_p=\lim \mathbb{Z}/p^n\mathbb{Z})]이며 맨 마지막 등호는 중국인의 나머지 정리를 쓴 것이다.
[math(L/K)]가 갈루아 확대일 때 [math(\mathrm{Gal}(L/K))]엔 자연스럽게 위상을 줄 수 있다. 갈루아 군에 위상을 주는 이유는 무한 갈루아 이론에도 갈루아 이론의 기본 정리를 만들어야 하는데 위상을 주지 않으면 갈루아 군 안에 있는 유한 확대의 direct limit에서 오지 않는 쓸모없는 군들을 골라낼 수 없기 때문이다.
이제, [math(\mathrm{Gal}(L/K))]에다가 위상을 줘보면 [math(\mathrm{Gal}(L/K))]의 닫힌 부분군은 적당한 [math(K_i)]들이 있어서 [math(K_{i}\subseteq K_{i+1})]고 [math(K_i/K)]들은 모두 유한 확대일 때 [math(\bigcap \mathrm{Gal}(L/K_i))]인 것들이 [math(\mathrm{Gal}(L/K))]의 닫힌 부분군이라고 할 수 있다. 그리고 열린 부분군은 [math(\mathrm{Gal}(L/K))]에서 유한 지표를 가지는 부분군이라고 할 수 있다. 그러니까 닫힌 부분군은 열린 부분군들의 교집합이고 열린 부분군은 [math(\mathrm{Gal}(L/K))] 안에서 속이 꽉 차 있는 부분군이라고 할 수 있다. 그리고 닫힌 집합과 열린 집합은 각각의 유한 합집합과 임의의 합집합이다.
이 위상은 특별한 점이 하나 있는데, 다음과 같은 자연스러운 전사 사상
[math(\mathrm{Gal}(L/K)\to \mathrm{Gal}(K_i/K))]
가 언제나 연속이 되도록 하는 가장 엉성한 위상이라는 것이다.
이제 [math(H=\bigcap \mathrm{Gal}(L/K_i))]가 [math(\mathrm{Gal}(L/K))]의 닫힌 부분군이라고 하자. 그러면
[math(K_i\subseteq K'\subseteq K,K/K\text{ is a finite extension })]
에 대해서 [math((K')^{\mathrm{Gal}(K/K_i)}=K_i)]가 되고, 따라서 [math(K)]먼저 [math(L)]로 보내면 [math((K')^{\mathrm{Gal}(L/K_i)}=K_i)]로 [math(L^{\mathrm{Gal}(L/K_i)}=K_i)]가 나오고 따라서
[math(L^{\bigcap_i \mathrm{Gal}(L/K_i)}=\lim_i K_i)]
가 된다. 여기에서 오른쪽은 direct limit다. 이것으로 우리는 다음 대응을 생각하자.
[math(\{\text{Closed subgroups of }\mathrm{Gal}(L/K)\}\to \{K'|L/E/K,\},H\mapsto L^H)]
이제 이것이 1-1 대응임을 보일 텐데, 그러려면 [math(H=\mathrm{Gal}(L/L^H))]임을 보여야 한다. 그리고 이는 [math(H=\bigcap_i \mathrm{Gal}(L/K_i))]일 때
[math(\mathrm{Gal}(L/K_i)=\mathrm{Gal}(L/L^{\mathrm{Gal}(L/K_i)}))]
가 되고, 따라서 양변에 inverse limit를 취하면
[math(H=\mathrm{Gal}(L/L^H))]
가 나오므로 1-1 대응이라는 것의 증명이 끝났다. 그리고 [math(H=\bigcap_i \mathrm{Gal}(L/K_i))]가 [math(\mathrm{Gal}(L/K))]의 정규 부분군이라면 [math(K)]를 포함하는 [math(\lim_i K_i)]의 모든 부분체는 분해 가능 확대체고 모든 분해 가능 유한 확대 [math(E/K)]에 대해서 [math(\mathrm{Gal}(L\cap E/L^H\cap E))]는 [math(\mathrm{Gal}(L\cap E/K))]의 정규 부분군이고 따라서 [math(L^H\cap E/K)]는 언제나 갈루아 확대고 모든 [math(E)]에 대해서 합집합하면 [math(L^H/K)]는 갈루아 확대가 되므로 다음이 성립한다.
[math(\{\text{Closed subgroups of }\mathrm{Gal}(L/K)\}\leftrightarrow\{E|L/E/K\})]라는 1-1 대응이 있으며 이는 정규 부분군을 갈루아 확대 [math(E/K)]로 보내며 갈루아 확대를 정규 부분군으로 보낸다.
[1] fixing group. 여기서 어떤 조건이 만족되면 갈루아군(Galois group)이라 부른다.[2] 부분체를 고정시키는 것은 대칭성을 담고 있다.[3] 후자의 경우는 어떤 경우도 일어나지 않는다. 이하의 정의를 보면 자명하다. 정말 문제가 되는 것은 전자이다.[4] 사실 난이도가 막장이라기보다는, 이전까지 배워왔던 각종 대수 관련 개념과 정리들이 총동원되기 때문에 개념이 덜 쌓인 부분이 이해를 막는 경우가 많다. 의외로 이전까지 착실히 대수학 지식을 쌓아오던 학생들은 그다지 어렵게 느끼지 않는 경우도 많다. 특히 선형대수학에서 배운 특성다항식과 관련된 정리들과 증명 아이디어(선형대수에서 이용된 다항식 관련 증명 테크닉은 여기서도 그대로 이용된다.), 대수학I 과정 때 배운 군 개념과 정리들을 착실히 복습하면 큰 도움이 된다. 괜히 대수학I 과정에서 symmetric group이니 dihedral group이니 하면서 숫자 위치 바꿈 놀음이나 정n각형 판때기 돌리기 노가다를 시킨 게 아니다[5] 대수학I 과정은 대부분의 학교에서 전공 필수 과목이어서 좋든 싫든 수강해야 하지만, 갈루아 이론이 포함된 대수학II 과정은 전공 선택이므로 이미 대수학I에서 염증을 느낀 학생들은 대학원 석박 통합 과정 지원 준비할 거 아니면 굳이 들을 필요가 없다.[6] [math(f)]가 풀리는 가장 작은 [math(K)]의 확장체. 이것이 존재하는 것은 잘 알려져 있다.[7] [math(\sigma\left(a+bi\right)=a-bi)][8] [math(\mathbb{Q}\left(\alpha\right)=\left\{a+b\alpha+c\alpha^2: a,b,c\in \mathbb{Q}\right\})][9] 근이 중복된다면, 서로 달라야할 치환이 서로 겹치는 일이 벌어진다.[10] 한 근을 가지면, 분해(split)된다[11] 즉, 정규확대와 분해체는 같은 개념이다.[12] 이 점을, 군과 정규부분군의 관계와 비교해보아라.[13] [math(f)]에 의한, [math(F)]의 분해체 위해서 중근이 있는지 봐야하지만, 확대를 어떻게 잡아도 중근은 중근, 단근은 단근으로 나타나므로 굳이 확대를 언급할 필요가 없다.[14] 다항식에서의 미분을, 차수를 계수에 곱해주고, 차수를 내리는 "형식적인" 절차로 생각하자.[15] 곱의 미분, 선형성 등등[16] [math(f=\left(x-2\right)^{1}\left(x-3\right)^{2}\left(x-5\right)^{5})]에서 근 [math(2)], [math(3)], [math(5)]의 중복도는 각각 [math(1)], [math(2)], [math(5)]지만, [math(f')]에서는 [math(0)], [math(1)], [math(4)]이다.[17] 이 다항식은 [math(a)]의 최소다항식이다.[18] "가장 작은 확대체"는 "가장 작은 군"과 갈루아 대응이 이루어진다.[19] [math(x^n=1)]를 만족하면서 [math(m<n)]일 때 [math(x^m\neq 1)]인 복소수[20] 다만, 이후의 연구를 통해 [math(x^5+x=a)] 꼴의 방정식은 브링 근호를 사용하는 방법으로 해를 구할 수 있게 되었다.[21] [math(L/E/K)]가 있고 [math(i:E\to \bar{K})]란 단사사상이 있으면 이는 [math(i:L\to \bar{K})]로 확장된다는 정리. 증명은 먼저 [math(L/K)]가 유한 확대라면 [math(E)]쪽 빼곤 그대로 두는 걸로 쉽게 증명되고 나머지는 무한 확대는 유한 확대의 direct limit라는 것을 이용해 유한 확대의 사슬을 만들고 선택공리를 이용한다.