갈루아 이론

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(\sigma\left(a+bi\right)=a-bi)]
  , [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(\mathbb{Q}\left(\alpha\right)=\left\{a+b\alpha+c\alpha^2: a,b,c\in \mathbb{Q}\right\})]
  에 대해, [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)]

임을 알 수있다. 하지만, [math(K_{\text{Aut}\left(K/F\right)}\neq F)]일 수도 있다. 위에서 계산했듯이, [math(\text{Aut}\left(\mathbb{Q}\left(\alpha\right)/\mathbb{Q}\right)=1)]이므로, [math(\mathbb{Q}\left(\alpha\right)_{\text{Aut}\left(\mathbb{Q}\left(\alpha\right)/\mathbb{Q}\right)}=\mathbb{Q}\left(\alpha\right)\neq \mathbb{Q})]이다. 즉, 여러 체에 대한 고정군이 같고, 이것이 대칭성의 손실이다. 무손실성을 위해 갈루아 확대란 개념이 필요하다.

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]

한 근을 가지면, 분해(split)된다

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)]이다.

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(\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(a)]의 최소다항식이다.
  분리 다항식이 아니다. 따라서 두 번째 명제에 의해 [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])]

다음이 성립한다.

• 분리 확대의 추이성(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)]

이들 동치조건들 중, 마지막 것이 (그토록 고대하던), 체의 대칭성을 "손실 없이" 군으로 이식해올 수 있다는 것을 의미한다. 분리 다항식의 분해체 조건은, 갈루아 이론이 어떻게 대수 방정식의 가해성 문제에 적용될 수 있는 지 알려준다. 다음 정의를 보자.

갈루아 군(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(\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 )]

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( f(x)=x^{q^n}-x)]
이는 [math(\ell)]에서 0을 뺀 [math(\ell^{\times})]가 위수가 [math(q^n-1)]인 군이라서 그런다. 이를 다시 말하면 [math(\ell)]는 [math(f)]에 의한 [math(k)]의 분해체라는 것이며 따라서 [math(k)]의 차수가 [math(n)]인 모든 확대체는 서로 동형이라는 것이다. 그리고 유한체는 [math(k)]의 표수가 [math(p)]라면 다음과 같은 체 준동형사상
[math(\mathbb{Z}/p\mathbb{Z}=\mathbb{F}_p\to k)]
가 존재하므로 모든 유한체는 적당한 소수 [math(p)]가 있어서 [math(q=p^m)]를 원소의 갯수로 갖고 이런 원소의 갯수를 갖는 유한체는 유일함을 알 수 있다. 이제 원소의 갯수가 [math(q=p^m)]인 유한체를 [math(\mathbb{F}_{q})]라고 쓰자.

우리는 다음으로 넘어가기 전에 다음 정리를 보자.

모든 체 [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(\mathrm{Fr}_q:k\to k,\mathrm{Fr}_q(x)=x^q)]
이는 [math(\mathrm{Fr}^n_q=\mathrm{id})]이므로 체 동형사상이고, 덤으로 [math(k^{\times})]는 순환군이므로 [math(m<n)]라면 적당한 [math(\alpha\in k)]가 있어서 [math(\mathrm{Fr}^m_q(x)\neq x)]가 된다. 따라서 [math(\mathrm{Fr}_q)]가 만드는 갈루아 군 안의 부분군은 위수가 [math(n)]고 따라서
[math(\mathrm{Gal}(k/\mathbb{F}_q)=\mathbb{Z}/n\mathbb{Z})]
가 된다. 그리고 이 군의 생성자는 [math(\mathrm{Fr}_q)]고 이 생성자를 특별히 프로베니우스라고 부른다.

프로베니우스를 이용한 예를 하나 들어보자. [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( 5^5\equiv 1 \pmod {11})]
임을 알 수 있으며 따라서 [math(\mathrm{Fr}^5_5(\zeta_{11})=\zeta_{11})]이 된다. 프로베니우스는 갈루아 군의 생성자이므로 [math(\mathbb{F}_5(\zeta_{11})/\mathbb{F}_5)]의 차수는 5가 된다. 따라서 [math(\mathbb{Q})]나 11th root of unity가 없는 표수 0의 체하곤 다른 결과가 나온다.

8. 갈루아 코호몰로지(Galois cohomology)와 쿰머 이론(Kummer theory)[편집]

---

코호몰로지란 간단히 말해서, 우리가 모르는 정보들을 모아놓는 곳이다. 예를 들면 다변수 미적분학에서
[math(\omega=\frac{-y}{x^2+y^2}\,\mathrm{d}x+\frac{x}{x^2+y^2}\,\mathrm{d}y)]
를 드람 코호몰로지에 넣으면 이것의 부정적분은 존재하지 않음을 알 수 있다. 그러니까 그 어떤 무한번 미분가능한 함수 [math(f\in C^{\infty}(\mathbb{R}^2-\{0\}))]도 [math(\mathrm{d}f=\omega)]를 만족할 수 없음을 알 수 있다. 이는 이 드람 코호몰로지가 드람 정리로 첫번째가 [math(\mathbb{R})]로 [math(0)]이 아니기 때문이며 덤으로 이렇게 부정적분이 없는 1-form은 오로지 [math(\omega)]의 상수배꼴과 부정적분이 있는 다른 1-form들의 합으로 표현될 수밖에 없음을 보일 수 있다.

먼저 Ext 함자를 정의하자. [math(R)]가 (가환이 아니어도 되는) 1이 있는 환이고 [math(M,N)]가 모두 [math(R)]-가군이라고 하자. 그러면 [math(M)]의 사영 분해 [math(P^{\bullet}\to M\to 0)]와 [math(N)]의 단사 분해 [math(0\to N\to I^{\bullet})]가 있을 때 이 둘로 [math(\mathrm{Hom}_R(M,N))]의 이중 사슬 복합체 [math(\mathrm{Hom}_R(P^{\bullet},I^{\bullet}))]를 만들 수 있으며 이것의 전체화(totalization)의 [math(i)]번째 코호몰로지를 [math(\mathrm{Ext}^i_R(M,N))]라고 쓴다.

이것의 성질엔 다음이 있다.

(1) 어떤 사영 분해 [math(P^{\bullet}\to M\to 0)]와 단사 분해 [math(0\to N\to I^{\bullet})]를 선택하더라도 [math(\mathrm{Ext}^i_R(M,N))]는 유일하다.

(2) 유도 함자를 통해서 정의할 수 있다. 그러니까 [math(\mathrm{Ext}^i_R(M,N)=R^i\mathrm{Hom}_R(M,-)=L^i\mathrm{Hom}_R(-,N))]가 된다. 이 세 정의가 동치라는 것은 위에서 정의한 이중 사슬 복합체로 만든 스펙트럼 열에서 가로세로로 페이지를 넘기면 된다.

(3) 유도 범주를 이용하면 [math(D(\mathrm{Mod}_R))]에서 [math(\mathrm{Ext}^i_R(M,N)=\mathrm{Hom}_{D(\mathrm{Mod}_R)}(M,N[i]))]로 아주 깔끔하게 정의된다. 위의 네 정의가 동치라는 것은 [math(i=0)]에서 먼저 생각한 다음에 긴 완전열을 생각한다.

(4) 당연히 [math(\mathrm{Ext}^0_R(M,N)=\mathrm{Hom}_R(M,N))]다.

(5) [math(\mathrm{Ext}^i_R(-,-))]에서 앞은 안의 colimit를 limit로 옮기고 뒤는 안의 limit를 limit로 옮긴다. 이는 Hom 함자의 성질에서 그대로 딸려 나온다.

(6) [math(i=1)]일 때, [math(\mathrm{Ext}^1_R(M,N))]은 [math(\{K\in \mathrm{Ob}(\mathrm{Mod}_R)|0\to M\to K\to N\to 0\})]이란 집합과 1-1 대응을 이룬다.

이제 [math(G)]가 유한군이라고 하면 [math(H^i(G,M)=\mathrm{Ext}^i_{\mathbb{Z}[G]}(\mathbb{Z},M))]라고 정의한다. 그렇다면 이것의 성질엔 다음이 있다.

(1) [math(H^0(G,M)=\mathrm{Hom}_{\mathbb{Z}[G]}(\mathbb{Z},M)=M^G=\{x\in M|\sigma(x)=x\text{ for all } \sigma \in G\})]이 된다.

(2) 앞으로 [math(\mathbb{Z}[G])]-가군을 간단하게 [math(G)]-가군이라고 쓰자. 그러면 [math(G)]-가군 [math(M)]에 대해서 1-공사슬(1-cocycle)을 [math(f:G\to M)]이고 [math(f(gh)=f(g)+gf(h))]를 만족하는 함수라고 정의하자. 그리고 1-공경계(1-coboundary)를 적당한 [math(x\in M)]이 있어서 [math(f(g)=gx-x)]를 만족하는 함수로 정의하자. 그러면 [math(H^1(G,M)=\{\text{1-cocycles}\}/\{\text{1-coboundaries}\})]가 된다. 이는 [math(M)]의 단사 가군을 구체적으로 잡는 것으로 알 수 있다.

(3) 위에서 바로 딸려나오는 것으로 [math(M^G=M)]라면 [math(H^1(G,M)=\mathrm{Hom}(G,M))]가 된다.

(4) (Hilbert theorem 90) [math(L/K)]를 체의 유한 확장이라고 하고 갈루아 확장이라고 하자. 그리고 그 갈루아 군을 [math(G)]라고 하면 [math(H^1(G,L^{\times})=0)]가 된다. 이것의 가장 간단한 증명은 충만한 평탄 내림(faithfully flat descent)로 [math(H^1(G,L^{\times})=H^1(\mathrm{Spec}\,L,\mathcal{O}^{\times}_{\mathrm{Spec}\,L}))]임을 증명하는 것이다.

이제 [math(K)]의 표수가 [math(n)]하고 서로소고 [math(L/K)]라는 갈루아 유한 확대가 있고 이것의 갈루아 군이 [math(G)]고 [math(K)]가 nth root of unity를 모두 가지고 있다고 생각해보자. 그 nth root of unity들의 군을 [math(\mu_n)]라고 쓴다면 다음과 같은 완전열을 만들 수 있다.
[math(0\to \mu_n\to L^{\times}\to L^{\times}\to 0)]
여기에서 첫번째 화살표는 그냥 inclusion, 두번째 화살표는 [math(\alpha)]를 [math(\alpha^n)]로 보내는 군 준동형사상이다. 그러면 이것의 핵은 [math(\mu_n)]이 되므로 이 완전열이 만들어진다. 그러면 우리는 여기에 코호몰로지를 씌울 수 있고 그러면 이 완전열은
[math(0\to H^0(G,\mu_n)\to H^0(G,L^{\times})\to H^0(G,L^{\times})\to H^1(G,\mu_n)\to H^1(G,L^{\times}))]
란 긴 완전열을 만든다. 이제 각각의 코호몰로지를 계산하면 첫번째는 [math(K)]에 대한 가정과 성질 (2)로 [math(\mu_n)]고 두번째와 세번째는 성질 (2)와 갈루아 이론의 기본 정리로 [math(K^{\times})]고 네번째는 [math(\mu^G_n=\mu_n)]와 성질 (3)으로 [math(H^1(G,\mu_n)=\mathrm{Hom}(G,\mu_n))]고 다섯번째는 성질 (4)로 0이다. 따라서 다음을 만들 수 있다.
[math(\mathrm{Hom}(G,\mu_n)=(K^{\times}\cap (L^{\times})^n)/(K^{\times})^n)]
이제 왼쪽을 분석해보자. 왼쪽은 factor group이 [math(\mathbb{Z}/n\mathbb{Z})]의 부분군인 [math(G)]의 부분군하고 1-1 대응을 이룬다. 이는 다시 갈루아 이론의 기본 정리로 [math(L)] 안에 있는 [math(K)]의 차수가 [math(n)]의 약수이고 그 갈루아 군이 순환군인 갈루아 확대들의 모임과 1-1 대응을 이룬다.
다음으로 오른쪽을 분석해보자. [math((K^{\times}\cap (L^{\times})^n)/(K^{\times})^n)]의 원소들은 [math(a(K^{\times})^n)]꼴이고, 이는 [math(K)]의 확대체 [math(K(a^{\frac{1}{n}}))]하고 1-1 대응을 이룬다. 따라서 갈루아 군이 순환군인 갈루아 확장을 순환 확장(cyclic extension)이라고 하면 우리는 다음 대응을 만들 수 있다.
[math(\{\text{Cyclic extensions of }K\text{ which degrees are divided by }n\}\leftrightarrow\{L/K(a^{\frac{1}{n}})/K\text{ for }a\in K\})]
그러니까, 간단히 말하면 모든 순환 확장은 제곱근꼴로 표현 가능하다는 것이다. 이를 쿰머 이론이라고 부른다.

9. 가해성(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차방정식은 계수를 넣으면 바로 근이 나오는, 그러니까 근의 공식을 가진다. 이 두 근의 공식을 각각 카르다노의 방법, 페라리의 방법이라고 부른다.

10. 무한 갈루아 이론(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)]로 보내며 갈루아 확대를 정규 부분군으로 보낸다.