체의 확대
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
체의 확대는 체 K와 L이 주어졌을 때, K에서 L로 가는 환 준동형으로 정의된다. K를 L의 부분체, L을 K의 확대체라고 하며, L/K로 표기한다. 확대의 차수는 L을 K-벡터 공간으로 볼 때의 차원이며, 유한 확대, 대수적 확대, 초월 확대 등 다양한 종류가 있다. 체 노름과 체 대각합은 유한 확대에서 정의되는 개념이며, 작도 가능성 문제, 갈루아 이론 등 수학의 여러 분야에서 중요한 역할을 한다.
더 읽어볼만한 페이지
2. 정의
체 K와 L이 주어졌을 때, K가 L의 부분 집합이고 K의 덧셈과 곱셈 연산이 L의 연산과 동일하게 작용하면 K를 L의 '''부분체'''(部分體, subfield영어), L을 K의 '''확대체'''(擴大體, extension field영어)라고 한다. L이 K의 확대체라는 것은 L/K로 쓴다.
체의 확대는 항상 단사 함수이다. (전단사 함수인 체의 확대는 체의 자기 동형이라고 한다.) 체의 확대 가 존재한다면, 와 의 표수는 서로 일치한다.
체의 확대는 다음과 같이 여러 종류로 분류할 수 있다.
체의 확대에는 다음과 같은 예들이 있다.
체의 확대 L/K에서, L은 K-벡터 공간으로 볼 수 있으며, 이 벡터 공간의 차원을 확대의 '''차수'''(次數, degree영어)라고 하며, [L:K]로 표기한다.
3. 성질
:
확대의 합성에 따라 차수는 곱해진다. 즉, 체의 확대 및 이 주어졌을 때, 합성 확대 의 차수는 다음과 같다.
:
여기서 좌변은 일반적으로 기수의 곱이다.
초월 차수가 1 이상이라면, 차수는 항상 무한 기수이며, 확대체의 크기와 같다.
:4. 종류
5. 예
:
\(\Q\)의 확대체이며, 명백히 단순 확대이다. \(\left\{1, \sqrt{2}\right\}\)가 기저 역할을 할 수 있으므로 차수는 2이다.
:
\Q\left(\sqrt{2}, \sqrt{3}\right) &= \Q \left(\sqrt{2}\right) \left(\sqrt{3}\right) \\
&= \left\{ a+b\sqrt{3} \mid a,b \in \Q\left(\sqrt{2}\right) \right\} \\
&= \left\{ a + b \sqrt{2} + c\sqrt{3} + d\sqrt{6} \mid a,b,c, d \in \Q \right\},
\end{align}
\(\Q(\sqrt{2})\)와 \(\Q\)의 확대체이며, 각각 차수가 2와 4이다. 또한 단순 확대이며, 다음을 보일 수 있다.
:
\Q(\sqrt{2}, \sqrt{3}) &= \Q (\sqrt{2} + \sqrt{3}) \\
&= \left \{ a + b (\sqrt{2} + \sqrt{3}) + c (\sqrt{2} + \sqrt{3})^2 + d(\sqrt{2} + \sqrt{3})^3 \mid a,b,c, d \in \Q\right\}.
\end{align}5. 1. 대수적 폐포
임의의 체 K에 대하여 대수적 폐포를 정의할 수 있다. K의 표수에 따라 다음과 같이 정의한다.
:
\mathbb F_p&p=\operatorname{char}K>0\\
\mathbb Q&\operatorname{char}K=0
\end{cases}
여기서
모든 체 ''K''는 대수적 폐포를 가지며, 이는 동형 사상까지, ''K''에 대해 대수적인 ''K''의 가장 큰 확대체이자, ''K''의 계수를 갖는 모든 다항식이 그 안에 근을 갖는 가장 작은 확대체이다. 예를 들어, '''C'''는 '''R'''의 대수적 폐포이지만, '''Q'''의 대수적 폐포는 아니다. 왜냐하면 '''Q'''|쿠오la에 대해 대수적이지 않기 때문이다 (예를 들어 π|파이영어는 '''Q'''|쿠오la에 대해 대수적이지 않다).
5. 2. 유리 함수 · 형식적 로랑 급수
임의의 체 \(K\)에 대하여, 유리 함수체 \(K(x) = \operatorname{Frac} K[x]\) 및 형식적 로랑 급수체 \(K((x)) = \operatorname{Frac} Kx\)를 정의할 수 있다. 이들은 다음과 같은 체의 탑을 이룬다.[1]
: \(K \subsetneq K(x) \subsetneq K((x))\)
이 경우 차수 및 초월 차수는 다음과 같다.[1]
: \([K(x):K] = \aleph_0\)
: \(\operatorname{trdeg}_K K(x) = 1\)
: \([K((x)):K] = 2^{\aleph_0}\)
5. 3. 유리수 · 실수 · 복소수
유리수체
:
이때 차수는 다음과 같다.
:
체의 확대
:
복소수체
5. 4. 유리수체의 확대
유리수체의 유한 확대는 '''수체'''라고 불리며, 정수론에서 중요한 연구 대상이다. 예를 들어,
원주율(π) 및 자연로그의 밑(e)는 초월수이므로,
:
:
:
유리수의 유한 확대는 대수적 수체라고도 하며 정수론에서 중요하다.
5. 5. ''p''진수체
소수 ''p''가 주어졌을 때, 유리수체의 다른 확대로 p진수체
:
여기서
:
정수론에서 중요하지만 유한 확대는 아닌 또 다른 유리수의 확대체는 소수 ''p''에 대한 p진수 체
5. 6. 유한체
소수
5. 7. 대수다양체의 유리 함수체
대수적으로 닫힌 체
:
이를 사용하여 유한 초월 차수의 확대는 대수기하학적으로 분류할 수 있다.
:
여기서
:
로 주어진다. 사영 직선 위의 분기 피복은 대수적 확대
:
이는 바이어슈트라스 타원 함수가
일반적으로 임의의 체 ''K''에 대한 대수적 다양체 ''V''가 주어지면, ''V''에 정의된 유리 함수로 구성된 함수체 ''K''(''V'')는 ''K''의 확대체이다.
6. 응용
체의 확대는 여러 수학 분야에 응용된다.
=== 작도 가능성 ===
고전 기하학의 작도는 직선과 원만을 사용한다. 원은 이차 곡선이므로, 이는 이차 방정식을 푸는 것과 같다. 기약 이차 방정식의 근을 추가하는 확대는 차수가 2인 확대이므로, 고전적 작도로서 작도할 수 있는 두 선분의 길이의 비는 항상 유리수체의 이차 확대들 가운데 하나에 속해야 한다. 이러한 수를 작도 가능한 수라고 한다.
이를 통해, 입방 배적 문제는
=== 갈루아 이론 ===
갈루아 확대는 정규 확대이면서 분리 가능 확대인 체 확대이다. 원시 원소 정리에 따르면, 모든 유한 분리 가능 확대는 원시 원소를 갖는 단순 확대이다. 임의의 체 확대
6. 1. 작도 가능성
고전 기하학의 작도는 직선과 원만을 사용한다. 원은 이차 곡선이므로, 이는 이차 방정식을 푸는 것과 같다. 기약 이차 방정식의 근을 추가하는 확대는 차수가 2인 확대이므로, 고전적 작도로서 작도할 수 있는 두 선분의 길이의 비는 항상 유리수체의 이차 확대들 가운데 하나에 속해야 한다.:
:
이러한 수를 작도 가능한 수라고 한다.
이를 사용하여, 여러 고전적 작도 문제의 (불)가능성을 쉽게 보일 수 있다. 예를 들어, 입방 배적 문제는
:
이므로,
마찬가지로, 원적 문제는
각의 3등분 문제 역시 3차 방정식의 근이 필요하므로 풀 수 없다. 구체적으로, 60도 각은 작도 가능하지만, 그 3등분인 20도 각은 작도 가능하지 않다. 이는
:
을 생각하자. 여기에
:
을 얻는다. 즉,
:
이다.
6. 2. 갈루아 이론
갈루아 확대는 정규 확대이면서 분리 가능 확대인 체 확대이다. 원시 원소 정리에 따르면, 모든 유한 분리 가능 확대는 원시 원소를 갖는 단순 확대이다.임의의 체 확대
주어진 체 확대
참조
[1]
서적
[2]
서적
[3]
서적
[4]
서적
[5]
서적
[6]
서적
[7]
서적
[8]
서적
[9]
서적
Abstract algebra
Wiley
2004
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com