문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 갈루아 이론 (문서 편집) [include(틀:대수학)] [목차] == 개요 == {{{+1 théorie de Galois / Galois [[理]][[論]]}}} [[에바리스트 갈루아|갈루아]] 이론이란, [[체(대수학)|체]]의 대칭성 정보를 '손실 없이' [[군(대수학)|군]]으로 가져와 연구하는 [[이론]]이다. 여기서 "손실"이 없다는 것은, 체의 확장(field extension)에서 부분체(subfield)를 고정시키는 고정군[* fixing group. 여기서 어떤 조건이 만족되면 갈루아군(Galois group)이라 부른다.][* 부분체를 고정시키는 것은 대칭성을 담고 있다. ]에 여러 부분체가 대응되거나, 부분군(subgroup)에 대한 고정체(fixed field)가 여럿 대응되지 않는 상황을 일컫는다.[* 후자의 경우는 어떤 경우도 일어나지 않는다. 이하의 정의를 보면 자명하다. 정말 문제가 되는 것은 전자이다. ] 즉, 고정체와 고정군의 일대일 대응을 다루는 것이다. 이를 보장하는 확장이 갈루아 확장(Galois extension)이며, 이 [[일대일 대응]]을 갈루아 대응(Galois correspondence)라 부른다. 가장 대표적인 사례가 대수 방정식의 대수적 가해성 판별 문제이다. 이 문제를 예로 들어 갈루아 이론을 다시 설명하자면, 방정식의 차수가 높아질수록 대수 방정식이 풀리는 체의 확장에 대응하는 갈루아군의 대칭성이 떨어진다. 즉, 유리 계수 5차 방정식부터는 갈루아군이 [[가해군]]이 아닐 수 있어, 대수적 해법이 없게 된다. '미분 갈루아 이론'이란 것도 있는데, 여기선 미분체(미분 연산을 갖춘 체)에 갈루아 이론 비스무리한 방법을 적용하여 어떤 함수의 [[부정적분]]이 [[초등함수]]로 표현될 수 있는지 알아낼 수 있다. 또한 모든 유한군을 유리수체 확대체의 갈루아군으로 표현할 수 있는지에 대한 문제를 역 갈루아 문제(inverse Galois problem)라고 하며 아직까지 미해결 문제이다. 이하에서는 [[체(대수학)]]의 내용을 모두 이해했음을 가정하고, '''유한 확대'''에 한해 설명하기로 한다. 무한 확대에 대해서는 말미에 간단히 언급할 것이다. 학부생에게는 4학기 내지 5학기 동안 진행되는 학부 대수학 강의의 대미를 장식하는 이론이기도 하다. 그만큼 어렵기도 해서[* 사실 난이도가 막장이라기보다는, 이전까지 배워왔던 각종 대수 관련 개념과 정리들이 총동원되기 때문에 개념이 덜 쌓인 부분이 이해를 막는 경우가 많다. 의외로 이전까지 착실히 대수학 지식을 쌓아오던 학생들은 그다지 어렵게 느끼지 않는 경우도 많다. 특히 선형대수학에서 배운 특성다항식과 관련된 정리들과 증명 아이디어(선형대수에서 이용된 다항식 관련 증명 테크닉은 여기서도 그대로 이용된다.), 대수학I 과정 때 배운 군 개념과 정리들을 착실히 복습하면 큰 도움이 된다. --괜히 대수학I 과정에서 symmetric group이니 dihedral group이니 하면서 숫자 위치 바꿈 놀음이나 정n각형 판때기 돌리기 노가다를 시킨 게 아니다--]인지 갈루아 이론이 포함된 과목은 그전까지만 해도 빵빵하던 대수학 수강생들이 해당 과목 시기만 되면 언제 수강했냐는 듯 우르르 빠져나가기도 한다.[* 대수학I 과정은 대부분의 학교에서 전공 필수 과목이어서 좋든 싫든 수강해야 하지만, 갈루아 이론이 포함된 대수학II 과정은 전공 선택이므로 이미 대수학I에서 염증을 느낀 학생들은 --대학원 석박 통합 과정 지원 준비할 거 아니면-- 굳이 들을 필요가 없다.] 수학교육과의 중등교원 [[임용고시]] 시험에서도 매년 어렵게 출제되는 주제이다. == 고정군(fixing group)과 고정체(fixed field) == === 고정군 === 체의 확장 [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)[* [math(f)]가 풀리는 가장 작은 [math(K)]의 확장체. 이것이 존재하는 것은 잘 알려져 있다. ][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)]의 근이다. 이것을 바탕으로 다음과 같은, 다음의 고정군을 계산할 수 있다. === 예 === * 실수에서 복소수로의 확장, [math(\mathbb{C}/\mathbb{R})]을 생각하자. 고등학교 때 배우는, 켤레 연산(conjugation)을 [math(\sigma)]라 하면[* [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})][* [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)]뿐이기 때문이다. === 고정체(fixed field) === 체의 확장 [math(K/F)]에 대해, 고정군 [math(G:=\text{Aut}\left(K/F\right))]과 그것의 부분군 [math(H 임의의 기약 다항식 [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))]이다.[* 한 근을 가지면, 분해(split)된다 ] === 정규 확대의 동치 조건 === 다음이 알려져 있다. >체의 확장 [math(K/F)]에 대해, [[TFAE]] > * [math(K/F)]는 정규 확대이다. > * [math(f\in F\left[x\right])]이 존재하여, [math(K)]는 [math(f)]에 의한 [math(F)]의 [[분해체]]이다.[* 즉, 정규확대와 [[분해체]]는 같은 개념이다. ] > * 모든 [math(E/K)], [math(\sigma\in\text{Aut}\left(E/F\right))]에 대해, [math(\sigma\left(K\right)=K)]이다. === 예 === * 임의의 체는 자기 자신의 정규확대이다. * [math(\mathbb{R}/\mathbb{R})]는 정규확대이다.[br][math(x^{2}+1\in R\left[x\right])]은, 기약이고 분해되지 않지만, 확대인 [math(\mathbb{R})]에서 한 근을 가지지 않는다.[br][math(\left(x^{2}+1\right)x\in R\left[x\right])]은, 한 근을 갖지만, 확대인 [math(\mathbb{R})]에서 분해되지 않는다. 하지만, 기약이 아니다. * [math(\mathbb{C}/\mathbb{R})][br][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})]는 정규확대가 아니다.[br][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)]는 정규확대가 아닐 수 있다.[* 이 점을, [[군(대수학)|군]]과 [[정규부분군]]의 관계와 비교해보아라.] == 분리 확대(separable extension) == === 분리 다항식(separable polynomial) === [math(f\in F\left[x\right])]가 __'''분리 다항식(separable polynomial)'''__이라 함은, [math(f)]가 중근을 갖지 않는다는 뜻이다.[* [math(f)]에 의한, [math(F)]의 분해체 위해서 중근이 있는지 봐야하지만, 확대를 어떻게 잡아도 중근은 중근, 단근은 단근으로 나타나므로 굳이 확대를 언급할 필요가 없다. ] * [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])]는 분리 다항식이 아니다. ==== 형식적 미분(formal derivative) ==== 본래 미분은, 극한의 개념이 있어야하지만, 단순히 다항식이 이루는 벡터 공간 위의 선형 연산자로 이해할 수 있다.[* 다항식에서의 미분을, 차수를 계수에 곱해주고, 차수를 내리는 "형식적인" 절차로 생각하자. ] 그러면 보통의 미분과 아주 똑같이 작동한다.[* 곱의 미분, 선형성 등등 ] 그 특징들 중에서 미분이 "근의 중복도"를 하나 낮추는 기능을 한다는 것[* [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)]이다.]을 분리 다항식 판별에 적극 이용할 수 있다. 만약, [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])]은 분리 다항식이 아니다. === 완전체(perfect field) === 체 [math(F)]가 __'''완전체(perfect field)'''__라 함은 다음이 성립하는 것이다. > * [math(\text{char.}F=0)]이거나 > * [math(F^{\text{char.}F}=F)] 완전체 위에서, 다음이 성립한다. > * 기약 다항식은 분리 다항식이다. > * 분리 다항식은 서로 다른 기약 다항식의 곱이다. > * 역으로, 서로 다른 기약 다항식은 근이 서로 겹치지 않으므로, 서로 다른 기약 다항식의 곱은 분리 다항식이다. 정의와 정리에서 다음의 예들을 알 수 있다. * 유리수체 [math(\mathbb{Q})]는 표수가 [math(0)]이므로 완전체이다. * [[체#s-5|유한체]]는 완전체이다. * [math(\left(x-a\right)^{p}\in \left(\mathbb{Z}/p\mathbb{Z}\right)\left(a^{p}\right)\left[x\right])]는 기약임에도[* 이 다항식은 [math(a)]의 최소다항식이다. ] 분리 다항식이 아니다. 따라서 두 번째 명제에 의해 [math(\left(\mathbb{Z}/p\mathbb{Z}\right)\left(a^{p}\right))]분해체는 완전체가 아니다. === 분리 원소(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)]의 최소 다항식이 분리 다항식이다. * [[체(대수학)#s-2.3|유한체]] [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))]위의 분리 원소가 아니다.[br][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])]인데 이는 분리 다항식이 아니다. === 분리 확대(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)[br][math(K/E)], [math(E/F)]가 분리 확대이면, [math(K/F)] 또한 그러하다. * 분리 다항식의 [[분해체]]는 분리 확대이다. * 분리 원소에 의한 확대는 분리 확대이다. === 갈루아 확대(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))]를 조사해주면 된다. == 갈루아 확대에서의 갈루아 대응(Galois correspondence) == 갈루아 대응(Galois correspondence)은 갈루아 군과 확대체 사이에 일대일 대응을 보장해주는 정리이다. 더욱이, 갈루아 군과 확대체 사이에는 reversed inclusion으로 같은 의미가 성립함을 보여준다.[* "가장 작은 확대체"는 "가장 작은 군"과 갈루아 대응이 이루어진다.] > 갈루아 확대 [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 (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(\mathbb{Q})] 위의 primitive nth root of unity[* [math(x^n=1)]를 만족하면서 [math(m 모든 체 [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 (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\})] 그러니까, 간단히 말하면 모든 순환 확장은 제곱근꼴로 표현 가능하다는 것이다. 이를 '''쿰머 이론'''이라고 부른다. == 가해성(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차방정식은 근의 공식을 가지지 않는다.[* 다만, 이후의 연구를 통해 [math(x^5+x=a)] 꼴의 방정식은 [[브링 근호]]를 사용하는 방법으로 해를 구할 수 있게 되었다.] 이제 [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차방정식은 계수를 넣으면 바로 근이 나오는, 그러니까 근의 공식을 가진다. 이 두 근의 공식을 각각 카르다노의 방법, 페라리의 방법이라고 부른다. == 무한 갈루아 이론(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[* [math(L/E/K)]가 있고 [math(i:E\to \bar{K})]란 단사사상이 있으면 이는 [math(i:L\to \bar{K})]로 확장된다는 정리. 증명은 먼저 [math(L/K)]가 유한 확대라면 [math(E)]쪽 빼곤 그대로 두는 걸로 쉽게 증명되고 나머지는 무한 확대는 유한 확대의 direct limit라는 것을 이용해 유한 확대의 사슬을 만들고 [[선택공리]]를 이용한다.]으로 [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)]로 보내며 갈루아 확대를 정규 부분군으로 보낸다. [[분류:대수학]]저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기