"방정식과 대칭성 : 치환군"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
6번째 줄: 6번째 줄:
  
 
<h5>개요</h5>
 
<h5>개요</h5>
 +
 +
* 군이란 어떤 불변성을 가진 대상에 대한 ‘변화’들의 모임
 +
* [[고교생도 이해할 수 있는 군론 입문]]
 +
* [[갈루아 이론]]
 +
 +
 
 +
 +
 
 +
 +
 
 +
 +
<h5>간단한 예</h5>
 +
 +
실계수 방정식 <math>x^2+1=0</math> 에 대하여 생각해보자. 이 방정식은 실수 내에서는 해를 가지지 않으며, 해를 얻기 위해서는 허수라는 것을 실수에 집어넣어 실수를 복소수로 확장하는 작업이 필요하다. (유식한말을 약간 사용하자면, 복소수체 <math>\mathbb{C}</math> 는 실수체 <math>\mathbb{R}</math>의 체확장이라 한다)  이 방정식은 복소수 내에서 두 개의 해 <math>\{i,-i\}</math>를 가진다.
 +
 +
 
 +
 +
이제 켤레복소수에 대해 생각해볼 차례이다. 복소수 <math>\alpha+\beta i</math> (<math>\alpha, \beta</math>는 실수) 에 대하여 복소수 <math>\alpha-\beta i</math>를 켤레복소수라 한다. <math>\alpha+\beta i</math>의 켤레복소수를 취하여 <math>\alpha-\beta i</math>를 얻는데, 여기서 또한번 켤레복소수를 취하면 다시 <math>\alpha+\beta i</math> 를 얻게 된다. 복소수를 켤레복소수로 보내는 함수를  <math>\sigma(z)=\bar{z}</math> 라고 표현한다면, <math>\sigma^2(z)=\bar{\bar{z}}=z</math>가 된다. 이를 간략하게 쓰자면 <math>\sigma^2=\operatorname{id}</math> , 즉 켤레복소수를 취하는 것을 함수로 보아 자기자신과 합성을 하면 항등함수를 얻게 된다는 것이다.
 +
 +
 
 +
 +
여기서 원소 두 개짜리 군 <math>\{\operatorname{id}, \sigma}\}</math> 을 얻는다. 이를 유식하게는<math>\text{Gal}(\mathbb{C}/\mathbb{R})=\{\operatorname{id}, \sigma}\}</math> 라고 하지만, 차차 알아가도록 하자.
 +
 +
 
 +
 +
지금 방정식 <math>x^2+1=0</math>과 그 해집합 <math>\{i,-i\}</math> 그리고 복소수를 복소수로 보내주는 두 함수, 항등함수와 켤레복소수 함수로 만들어진 군 <math>\{\operatorname{id}, \sigma}\}</math>가 있다.
 +
 +
 
 +
 +
켤레복소수에 의하면,  <math>\sigma(i)=-i, \sigma(-i)=i</math>에서 방정식 <math>x^2+1=0</math>의 해가 서로 위치를 바꾸는 것을 볼 수 있다.
 +
 +
 
 +
 +
군에 의하여 방정식의 해들은 그 내부에서 서로 바뀐다. 그러나 그 둘이 만족시키는 방정식 <math>x^2+1=0</math> 은 변하지 않는다. 이것이 바로 ‘변화속의불변’ – 대칭성이다. 한 방정식의 모든 해는 서로 변해도, 그들은 모두 여전히 같은 방정식을 만족시킨다.
 +
 +
 
 +
 +
 
 +
 +
* <math>\text{Gal}(\mathbb{C}/\mathbb{R})=\{\operatorname{id}, \sigma}\}</math>의 경우 <math>\sigma</math>는  복소수체의 실수체 <math>\mathbb{R}</math>의 원소를 변화시키지 않음.<br>
 +
** <math>\sigma(i)=-i, \sigma(-i)=i</math>에서 방정식 <math>x^2+1=0</math>의 해가 갈루아군의 원소에 의해서 서로 위치를 바꾸는 것을 볼 수 있음<br>
 +
*  이것을 일반화할 수 있음<br>
 +
 +
 
 +
 +
 
 +
 +
<h5 style="margin: 0px; line-height: 2em;">일반화</h5>
 +
 +
(정리)
 +
 +
주어진 체 <math>F</math>에 대하여, <math>F</math>의 원소들로 계수가 구성된 기약인 방정식 <math>a_n x^n + a_{n-1} x^{n-1} + a_{n-2} x^{n-2} + \cdots + a_1 x + a_0 = 0</math>의 해이면,  위에서처럼 해<math>\alpha = \alpha_1,\cdots.\alpha_n</math>를 모두 추가하여 만든 체확장 <math>K=F(\alpha_1,\cdots,\alpha_n)</math>의 갈루아군 <math>\text{Gal}(K/F)</math> 의 원소 <math>\sigma</math>에 대하여 <math>\sigma(\alpha)</math> 도 같은 방정식의 해가 된다.
 +
 +
(증명)
 +
 +
<math>\alpha </math>는 방정식 <math>a_n x^n + a_{n-1} x^{n-1} + a_{n-2} x^{n-2} + \cdots + a_1 x + a_0 = 0</math>의 해이므로, <math>a_n {\alpha}^n + a_{n-1} {\alpha}^{n-1} + a_{n-2} {\alpha}^{n-2} + \cdots + a_1 {\alpha} + a_0 = 0</math>.
 +
 +
<math>\sigma\in\text{Gal}(K/F)</math>에 대하여 <math>\sigma(a_n {\alpha}^n + a_{n-1} {\alpha}^{n-1} + a_{n-2} {\alpha}^{n-2} + \cdots + a_1 {\alpha} + a_0)= \sigma(0)=0</math> 이다.
 +
 +
그런데 <math>\sigma\in\text{Gal}(K/F)</math> 는 사칙연산을 보존하며 체 <math>F</math>의 원소들을 변화시키지 않으므로, <math>\sigma(a_n {\alpha}^n + a_{n-1} {\alpha}^{n-1} + a_{n-2} {\alpha}^{n-2} + \cdots + a_1 {\alpha} + a_0)=a_n \sigma(\alpha)^n + a_{n-1} \sigma(\alpha)^{n-1} + a_{n-2} \sigma(\alpha)^{n-2} + \cdots + a_1 \sigma(\alpha) + a_0 = 0</math>
 +
 +
을 만족시킨다.
 +
 +
따라서 <math>\sigma(\alpha)</math>도 방정식 <math>a_n x^n + a_{n-1} x^{n-1} + a_{n-2} x^{n-2} + \cdots + a_1 x + a_0 = 0</math>의 해가 된다. ■
  
 
 
 
 

2011년 11월 8일 (화) 13:46 판

이 항목의 수학노트 원문주소

 

 

개요

 

 

 

간단한 예

실계수 방정식 \(x^2+1=0\) 에 대하여 생각해보자. 이 방정식은 실수 내에서는 해를 가지지 않으며, 해를 얻기 위해서는 허수라는 것을 실수에 집어넣어 실수를 복소수로 확장하는 작업이 필요하다. (유식한말을 약간 사용하자면, 복소수체 \(\mathbb{C}\) 는 실수체 \(\mathbb{R}\)의 체확장이라 한다)  이 방정식은 복소수 내에서 두 개의 해 \(\{i,-i\}\)를 가진다.

 

이제 켤레복소수에 대해 생각해볼 차례이다. 복소수 \(\alpha+\beta i\) (\(\alpha, \beta\)는 실수) 에 대하여 복소수 \(\alpha-\beta i\)를 켤레복소수라 한다. \(\alpha+\beta i\)의 켤레복소수를 취하여 \(\alpha-\beta i\)를 얻는데, 여기서 또한번 켤레복소수를 취하면 다시 \(\alpha+\beta i\) 를 얻게 된다. 복소수를 켤레복소수로 보내는 함수를  \(\sigma(z)=\bar{z}\) 라고 표현한다면, \(\sigma^2(z)=\bar{\bar{z}}=z\)가 된다. 이를 간략하게 쓰자면 \(\sigma^2=\operatorname{id}\) , 즉 켤레복소수를 취하는 것을 함수로 보아 자기자신과 합성을 하면 항등함수를 얻게 된다는 것이다.

 

여기서 원소 두 개짜리 군 \(\{\operatorname{id}, \sigma}\}\) 을 얻는다. 이를 유식하게는\(\text{Gal}(\mathbb{C}/\mathbb{R})=\{\operatorname{id}, \sigma}\}\) 라고 하지만, 차차 알아가도록 하자.

 

지금 방정식 \(x^2+1=0\)과 그 해집합 \(\{i,-i\}\) 그리고 복소수를 복소수로 보내주는 두 함수, 항등함수와 켤레복소수 함수로 만들어진 군 \(\{\operatorname{id}, \sigma}\}\)가 있다.

 

켤레복소수에 의하면,  \(\sigma(i)=-i, \sigma(-i)=i\)에서 방정식 \(x^2+1=0\)의 해가 서로 위치를 바꾸는 것을 볼 수 있다.

 

군에 의하여 방정식의 해들은 그 내부에서 서로 바뀐다. 그러나 그 둘이 만족시키는 방정식 \(x^2+1=0\) 은 변하지 않는다. 이것이 바로 ‘변화속의불변’ – 대칭성이다. 한 방정식의 모든 해는 서로 변해도, 그들은 모두 여전히 같은 방정식을 만족시킨다.

 

 

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

 

 

일반화

(정리)

주어진 체 \(F\)에 대하여, \(F\)의 원소들로 계수가 구성된 기약인 방정식 \(a_n x^n + a_{n-1} x^{n-1} + a_{n-2} x^{n-2} + \cdots + a_1 x + a_0 = 0\)의 해이면,  위에서처럼 해\(\alpha = \alpha_1,\cdots.\alpha_n\)를 모두 추가하여 만든 체확장 \(K=F(\alpha_1,\cdots,\alpha_n)\)의 갈루아군 \(\text{Gal}(K/F)\) 의 원소 \(\sigma\)에 대하여 \(\sigma(\alpha)\) 도 같은 방정식의 해가 된다.

(증명)

\(\alpha \)는 방정식 \(a_n x^n + a_{n-1} x^{n-1} + a_{n-2} x^{n-2} + \cdots + a_1 x + a_0 = 0\)의 해이므로, \(a_n {\alpha}^n + a_{n-1} {\alpha}^{n-1} + a_{n-2} {\alpha}^{n-2} + \cdots + a_1 {\alpha} + a_0 = 0\).

\(\sigma\in\text{Gal}(K/F)\)에 대하여 \(\sigma(a_n {\alpha}^n + a_{n-1} {\alpha}^{n-1} + a_{n-2} {\alpha}^{n-2} + \cdots + a_1 {\alpha} + a_0)= \sigma(0)=0\) 이다.

그런데 \(\sigma\in\text{Gal}(K/F)\) 는 사칙연산을 보존하며 체 \(F\)의 원소들을 변화시키지 않으므로, \(\sigma(a_n {\alpha}^n + a_{n-1} {\alpha}^{n-1} + a_{n-2} {\alpha}^{n-2} + \cdots + a_1 {\alpha} + a_0)=a_n \sigma(\alpha)^n + a_{n-1} \sigma(\alpha)^{n-1} + a_{n-2} \sigma(\alpha)^{n-2} + \cdots + a_1 \sigma(\alpha) + a_0 = 0\)

을 만족시킨다.

따라서 \(\sigma(\alpha)\)도 방정식 \(a_n x^n + a_{n-1} x^{n-1} + a_{n-2} x^{n-2} + \cdots + a_1 x + a_0 = 0\)의 해가 된다. ■

 

 

역사

 

 

 

메모

 

 

관련된 항목들
  •  

 

수학용어번역

 

 

 

사전 형태의 자료

 

 

리뷰논문, 에세이, 강의노트

 

 

 

관련논문

 

 

관련도서
원본 주소 "https://wiki.mathnt.net/index.php?title=방정식과_대칭성_:_치환군&oldid=10575"