갈루아 이론

수학노트
둘러보기로 이동 검색으로 이동

개요

  • 군론을 통한 체론(field theory)의 이해
  • 체확장과 갈루아군의 개념이 필요
  • 대수방정식의 해가 가지고 있는 대칭성을 군을 통해 이해하는데서 탄생
  • 대수방정식에서 체확장을 구성하고 그 체확장의 성질을 갈루아군을 통해서 이해하는 것
  • 갈루아이론을 통하여 일반적인 5차이상의 방정식의 해는 계수로부터 시작하여 근호와 사칙연산을 통해 표현할 수 없음을 증명할 수 있으며, 왜 그것이 불가능한지를 설명할 수 있음



근의 공식



풀수 있는 방정식

  • 정오각형 항목에는 어떻게 방정식 <math>z^4+z^3+z^2+z^1+1=0</math>을 풀 수 있는지가 설명되어 있음
  • 가우스와 정17각형의 작도 항목에는 왜 정17각형이 자와 컴파스로 작도가능한지에 대한 설명이 있음.
    • 이를 위하여 <math>z^{16}+z^{15}+\cdots+z+1=0</math>의 풀이를 반복적인 2차방정식의 풀이로 환원할 수 있음을 보임.
    • 16차 방정식을 2차방정식 네번 푸는 문제로 바꾸는 것.



근의 치환



다항식과 갈루아체확장

  • (기약)다항식으로부터 얻어지는 해를 모두 추가하여 주어진 체를 확장시킬 수 있음
  • 유리수체 <math>\mathbb{Q}</math>에서 정의된 다항식 <math>x^3-2=0</math>
  • 해는 <math>\sqrt[3]{2}, \omega\sqrt[3]{2}, \omega^2\sqrt[3]{2}</math> 세 개가 존재
  • 유리수체 <math>\mathbb{Q}</math>에 <math>\sqrt[3]{2}, \omega\sqrt[3]{2}, \omega^2\sqrt[3]{2}</math>를 집어넣으면 유리수체의 확장 <math>K=\mathbb{Q}(\omega, \sqrt[3]{2})</math> 를 얻음
  • 이 때, 체 <math>K</math>는 유리수체 <math>\mathbb{Q}</math>위에 정의된 벡터공간이 되며, 벡터공간으로서의 차원은 <math>[K : \mathbb{Q}]=6</math>이 됨



체확장과 갈루아군

  • 체 <math>F</math>와 그 체확장 <math>K</math>에 대하여 군 <math>\text{Gal}(K/F)</math>을 정의할 수 있음
    • <math>\text{Gal}(K/F)</math>는 체<math>K</math>의 자기동형사상 중에서 체<math>F</math>를 변화시키지 않는 원소들의 모임
    • 자기동형사상이란 <math>K</math>에서 <math>K</math>에서 가는 일대일대응으로 사칙연산을 보존하는 함수
  • 예) 복소수체 <math>\mathbb{C}</math> 는 실수체 <math>\mathbb{R}</math>의 체확장
    • 방정식 <math>x^2+1=0</math> 의 해<math>\{i,-i\}</math>를 실수체 <math>\mathbb{R}</math>에 추가하여 실수체의 확장인 복소수체 <math>\mathbb{C}</math> 를 만듦
    • <math>\text{Gal}(\mathbb{C}/\mathbb{R})=\{\operatorname{id}, \sigma\}</math> 는 두개의 원소로 구성되어 있으며, 복소수 <math>z</math>에 대하여 <math>\operatorname{id}(z)=z</math>과 <math>\sigma(z)=\bar{z}</math>로 정의됨
    • <math>\sigma(z)=\bar{z}</math> 이므로 실수체 <math>\mathbb{R}</math>의 원소를 모두 보존함을 알 수 있다




방정식의 해가 가진 대칭성

  • <math>\text{Gal}(\mathbb{C}/\mathbb{R})=\{\operatorname{id}, \sigma\}</math>의 경우 <math>\sigma</math>는 복소수체의 실수체 <math>\mathbb{R}</math>의 원소를 변화시키지 않음.
    • <math>\sigma(i)=-i, \sigma(-i)=i</math>에서 방정식 <math>x^2+1=0</math>의 해가 갈루아군의 원소에 의해서 서로 위치를 바꾸는 것을 볼 수 있음
  • 이것을 일반화할 수 있음


정리

주어진 체 <math>F</math>의 원소를 계수로 갖는 기약다항식 <math>f(x)=a_n x^n + a_{n-1} x^{n-1} + a_{n-2} x^{n-2} + \cdots + a_1 x + a_0</math>의 모든 해 <math>\alpha_1,\cdots,\alpha_n</math>를 모두 추가하여 만든 체확장 <math>K=F(\alpha_1,\cdots,\alpha_n)</math>을 생각하자. <math>f</math>의 해 <math>\alpha\in K</math>와 갈루아군 <math>\operatorname{Gal}(K/F)</math>의 원소 <math>\sigma</math>에 대하여 <math>\sigma(\alpha)</math>도 <math>f</math>의 해가 된다.



예

  • 위에서 본 유리수체<math>\mathbb{Q}</math>의 확장 <math>K=\mathbb{Q}(\omega, \sqrt[3]{2})</math>
  • 위의 정리에 따라 갈루아군의 원소들은 <math>\sqrt[3]{2}</math>와 <math>\omega</math>를 어디로 보내는가에 따라 결정
  • <math>\sqrt[3]{2}, \omega\sqrt[3]{2}, \omega^2\sqrt[3]{2}</math> 는 유리계수방정식 <math>x^3-2=0</math>의 해이고, <math>\omega</math>와 <math>\omega^2</math>는 유리계수방정식 <math>x^2+x+1=0</math>의 해이기 때문
<math>

\begin{array}{c|c|c|c|c|c|c} & \operatorname{id} & \tau & \tau^2 & \sigma & \sigma\tau & \sigma\tau^2 \\ \hline \sqrt[3]{2} & \sqrt[3]{2} & \omega\sqrt[3]{2} & \omega^2\sqrt[3]{2} & \sqrt[3]{2} & \omega^2\sqrt[3]{2} & \omega\sqrt[3]{2} \\ \hline \omega & \omega & \omega & \omega & \omega^2 & \omega^2 & \omega^2 \\ \end{array} </math>

  • <math>\sqrt[3]{2}, \omega\sqrt[3]{2}, \omega^2\sqrt[3]{2}</math> 가 같이 움직이고,<math>\omega</math>와 <math>\omega^2</math>가 같이 움직임을 볼 수 있음
  • <math>\text{Gal}(K/\mathbb{Q})=\{\operatorname{id}, \tau, \tau^2,\sigma, \sigma\tau, \sigma\tau^2\}</math>이 됨
  • 한편 원소의 개수가 6인 군은 두 개가 존재
  • <math>\text{Gal}(K/\mathbb{Q})=\{\operatorname{id}, \tau, \tau^2,\sigma, \sigma\tau, \sigma\tau^2\}</math> 는 이 둘 중 어느 것일까 물을 수 있다
    • 표를 이용하면 <math>\sigma\tau^2=\tau\sigma</math> 임을 알 수 있음
    • <math>\tau\sigma(\sqrt[3]2)=\tau(\sqrt[3]2)=\omega\sqrt[3]{2}</math>이고, <math>\tau\sigma(\omega)=\tau(\omega^2)=\omega^2</math> 이므로 <math>\sigma\tau^2=\tau\sigma</math>
    • 따라서 <math>\sigma\tau\neq\tau\sigma</math> 이고, 이 군은 교환법칙이 성립하지 않음
    • 그러므로 <math>\text{Gal}(K/\mathbb{Q})\simeq S_3</math>
  • 요약
    • 방정식 <math>x^3-2=0</math> 으로부터 체확장 <math>K=\mathbb{Q}(\omega, \sqrt[3]{2})</math>을 얻었고, <math>\text{Gal}(K/\mathbb{Q})=\{\operatorname{id}, \tau, \tau^2,\sigma, \sigma\tau, \sigma\tau^2\}</math> 를 얻었음
    • <math>\text{Gal}(K/\mathbb{Q})=\{\operatorname{id}, \tau, \tau^2,\sigma, \sigma\tau, \sigma\tau^2\}</math> 의 원소들이 <math>\sqrt[3]{2}</math>와 <math>\omega</math> 를 어디로 보내는지를 보면, 각각의 원소를 알 수 있음.



갈루아 체확장



5차방정식에의 응용

  • 다항식 <math>f(x)=2x^5-5x^4+5</math>은 유리수체 위에서 5차의 기약다항식이다
  • 두 개의 허근과 세 개의 실근이 존재
  • 이는 갈루아 군이 <math>S_5</math>임을 의미


역사



메모

관련된 항목들



사전 형태의 자료


교양도서


관련도서


리뷰, 에세이, 강의노트


관련논문

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LOWER': 'galois'}, {'LEMMA': 'theory'}]
원본 주소 "https://wiki.mathnt.net/index.php?title=갈루아_이론&oldid=52182"