"갈루아 이론"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
8번째 줄: 8번째 줄:
  
 
* [[군론(group theory)|군론]]을 통한 [[체론(field theory)]]의 이해
 
* [[군론(group theory)|군론]]을 통한 [[체론(field theory)]]의 이해
 +
* 체확장과 갈루아군의 개념이 필요
 
* 대수방정식의 해가 가지고 있는 대칭성을 군을 통해 이해하는데서 탄생
 
* 대수방정식의 해가 가지고 있는 대칭성을 군을 통해 이해하는데서 탄생
 +
* 대수방정식에서 체확장을 구성하고 그 체확장의 성질을 갈루아군을 통해서 이해하는 것
 
* 갈루아이론을 통하여 일반적인 5차이상의 방정식의 해는 계수로부터 시작하여 근호와 사칙연산을 통해 표현할 수 없음을 증명할 수 있으며, 왜 그것이 불가능한지를 설명할 수 있음
 
* 갈루아이론을 통하여 일반적인 5차이상의 방정식의 해는 계수로부터 시작하여 근호와 사칙연산을 통해 표현할 수 없음을 증명할 수 있으며, 왜 그것이 불가능한지를 설명할 수 있음
−
*  체확장과 갈루아군의 개념이 필요<br>
 
  
 
 
 
 
19번째 줄: 20번째 줄:
  
 
* <math>ax^2+bx+c=0</math><br><math>x=\frac{-b\pm \sqrt{b^2-4ac}}{2a}</math><br>
 
* <math>ax^2+bx+c=0</math><br><math>x=\frac{-b\pm \sqrt{b^2-4ac}}{2a}</math><br>
−
 
+
* <math>ax^3+bx^2+cx+d=0</math><br>  <br>
−
 
 
  
 
 
 
 
40번째 줄: 40번째 줄:
 
<h5 style="margin: 0px; line-height: 2em;">다항식과 체확장</h5>
 
<h5 style="margin: 0px; line-height: 2em;">다항식과 체확장</h5>
  
−
*  다항식으로부터 얻어지는 해를 추가하여 주어진 체를 확장시<br>
+
*  다항식으로부터 얻어지는 해를 추가하여 주어진 체를 확장시킬 수 있음<br>
 +
*  다항식 <math>x^3-2=0</math><br>
 +
*  해는 <math>\sqrt[3]{2}, \omega\sqrt[3]{2}, \omega^2\sqrt[3]{2}</math> 세 개가 존재<br>
 +
*  유리수체 <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> 를 얻음<br>
 +
*  이 때, 체 <math>K</math>는 유리수체위에 정의된 벡터공간이 되며, 그 차원은 <math>[K : \mathbb{Q}]=6</math>이 됨<br>
  
 
 
 
 
46번째 줄: 50번째 줄:
 
 
 
 
  
−
*  다항식 <math>x^3-2=0</math><br>
+
<h5 style="margin: 0px; line-height: 2em;">체확장과 갈루아군</h5>
−
* 체확장 <math>K=\mathbb{Q}(\omega, \sqrt[3]{2})</math> over <math>\mathbb{Q}</math><br>
+
 
−
* <math>[K : \mathbb{Q}]=6</math><br>
+
* <math>\text{Gal}(K/F)=|K:F|</math><br>
  
 
 
 
 

2009년 10월 25일 (일) 16:57 판

이 항목의 스프링노트 원문주소

 

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

 

 

근의 공식
  • \(ax^2+bx+c=0\)
    \(x=\frac{-b\pm \sqrt{b^2-4ac}}{2a}\)
  • \(ax^3+bx^2+cx+d=0\)
     

 

 

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

 

 

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

 

 

체확장과 갈루아군
  • \(\text{Gal}(K/F)=|K:F|\)

 

 

방정식의 해가 가진 대칭성
  •  
  • \(\alpha\in\mathbb{\bar{Q}}\) 가 정수계수 방정식 \(a_n x^n + a_{n-1} x^{n-1} + a_{n-2} x^{n-2} + \cdots + a_1 x + a_0 = 0, a_i \in \mathbb{Z}\)의 해이면, 갈루아군의 원소 \(\sigma\)에 대하여 \(\sigma(\alpha)\) 도 같은 방정식의 해가 된다.
  •  

 

 

갈루아 체확장
  • transitivity와 fixed point free action 또는 \(\text{Gal}(K/F)=|K:F|\)

 

5차방정식에의 응용

\(f(x)=2x^5-5x^4+5\) is the irreducible polynomial of degree 5 over the rationals.

It has two complex and 3 real roots.

This implies the Galois group is \(S_5\).

 

 

 

재미있는 사실

 

 

 

역사

 

 

메모

 

 

관련된 항목들[[리만곡면과 갈루아이론|]]

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

관련논문

 

 

교양도서

 

 

관련도서 및 추천도서

 

 

관련기사

 

 

블로그
원본 주소 "https://wiki.mathnt.net/index.php?title=갈루아_이론&oldid=3689"