"체론(field theory)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
 
(사용자 2명의 중간 판 25개는 보이지 않습니다)
1번째 줄: 1번째 줄:
−
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">이 항목의 스프링노트 원문주소</h5>
+
==개요==
  
−
 
+
*  사칙연산을 할 수 있는 대수적 구조
 +
*  유리수, 실수, 복소수, 유한체, [[p진해석학(p-adic analysis)|p-adic]] 체, function field 등
 +
* [[5차방정식과 근의 공식]]을 이해하기 위한 기본적인 개념틀
  
−
 
+
  
−
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">개요</h5>
+
  
−
* 사칙연산을 할 수 있는 대수적 구조<br>
+
   
−
*  실수, 복소수, 유한체, [[p진해석학(p-adic analysis)|p-adic]] 체, function field 등<br>
 
  
−
 
+
==체(field)의 정의==
  
−
 
+
*  체 <math><\mathbb{F}, +, \cdot, 0,1></math>
 +
*  집합 F와 더하기(+), 곱하기(·) 연산이 정의되어 있으며, 0과 1이라는 원소가 있어, 다음과 같은 조건을 만족시킴
 +
# <math>(\mathbb{F}, +)</math>는 아벨군이며 0은 항등원이다. 즉 덧셈에 대한 아벨군을 이룬다.
 +
# <math>(\mathbb{F}^{*}, \cdot)</math>는 아벨군이며 1은 항등원이다. 여기서 <math>\mathbb{F}^{*}</math>은 0을 제외한 원소들의 집합.
 +
# 더하기와 곱하기는 분배법칙을 만족시킨다. 즉, 모든 원소 <math>a,b,c\in \mathbb{F}</math>에 대하여 <math>a \cdot (b+c) = (a \cdot b) + (a \cdot c)</math> 이 성립한다.
  
−
 
+
  
−
<h5 style="margin: 0px; line-height: 2em;">체(field)의 정의</h5>
+
  
−
*  체 <math><\mathbb{F}, +, \cdot, 0,1></math><br>
+
==체확장==
−
*  집합 F와 더하기(+), 곱하기(·) 연산이 정의되어 있으며, 0과 1이라는 원소가 있어, 다음과 같은 조건을 만족시킴<br><math>(\mathbb{F}, +)</math>는 아벨군이며 0은 항등원이다. 즉 덧셈에 대한 아벨군을 이룬다.<br><math>(\mathbb{F}^{*}, \cdot)</math>는 아벨군이며 1은 항등원이다. 여기서 <math>\mathbb{F}^{*}</math>은 0을 제외한 원소들의 집합.<br> 더하기와 곱하기는 분배법칙을 만족시킨다. 즉, 모든 원소 <math>a,b,c\in \mathbb{F}</math>에 대하여 <math>a \cdot (b+c) = (a \cdot b) + (a \cdot c)</math> 이 성립한다.<br>
 
  
−
 
+
*  체 K가 체 F를 포함할 때, 즉 <math>F\subset K</math>일때, K를 F의 체확장이라 한다
  
−
 
+
  
−
<h5 style="margin: 0px; line-height: 2em;">체확장</h5>
+
  
−
 
+
==순환체확장(cyclic extension)==
  
−
 
+
* [[순환 체확장(cyclic extension)]]
  
−
 
+
  
−
<h5 style="margin: 0px; line-height: 2em;">거듭제곱근 체확장(radical extension)</h5>
+
  
−
*  기본체 <math>F=F_0</math><br>
+
==거듭제곱근 체확장(radical extension)==
−
*  다음조건을 만족시키는 <math>F</math>의 체확장 <math>K=F(a_1,a_2,\cdots,a_r)</math>를 거듭제곱근 체확장이라 한다<br> 정수 <math>n_1,\cdots,n_r</math>이 존재하여, <math>a_1^{n_1}\in F</math> 이고 <math>1<i\leq r</math>에 대하여 <math>a_i^{n_i} \in F(a_1,a_2,\cdots,a_{i-1})</math><br>
 
−
*  풀어쓰면 다음과 같다<br>
 
−
*  적당한 원소 <math>a_1\in F_1</math>와 자연수 <math>n_1</math>에 대하여, 거듭제곱근 <math>\sqrt[n_1]a_1</math> 를 추가하여 얻어지는 체확장 <math>F_2=F_1(\sqrt[n_1]a_1)</math><br>
 
−
*  적당한 원소 <math>a_1\in F_1</math>와 자연수 <math>n_1</math>에 대하여, 거듭제곱근 <math>\sqrt[n_1]a_1</math> 를 추가하여 얻어지는 체확장 <math>F_2=F_1(\sqrt[n_1]a_1)</math><br>
 
−
*  이러한 체확장을 유한번 반복하여 얻어지는 <math>F=R_0</math>의 체확장 <math>R</math> 을 거듭제곱근 체확장이라 한다<br>
 
−
* [[정다각형의 작도]], [[5차방정식과 근의 공식]] 에서 중요하게 사용되는 개념이다<br>
 
  
−
 
+
*  주어진 체에서 시작하여 거듭제곱근들을 넣어 만들 수 있는 체확장의 종류
 +
* [[정다각형의 작도]], [[5차방정식과 근의 공식]] 에서 중요하게 사용되는 개념이다
 +
* [[거듭제곱근 체확장(radical extension)]] 항목에서 자세히 다룸
  
−
 
+
  
−
 
+
  
−
<h5 style="margin: 0px; line-height: 2em;">다항식과 갈루아체확장</h5>
+
  
−
*  (기약)다항식으로부터 얻어지는 해를 모두 추가하여 주어진 체를 확장시킬 수 있음<br>
+
==다항식과 갈루아체확장==
−
*  유리수체 <math>\mathbb{Q}</math>에서 정의된 다항식 <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>\mathbb{Q}</math>위에 정의된 벡터공간이 되며, 벡터공간으로서의 차원은 <math>[K : \mathbb{Q}]=6</math>이 됨<br>
 
  
−
 
+
*  (기약)다항식으로부터 얻어지는 해를 모두 추가하여 주어진 체를 확장시킬 수 있음
 +
*  유리수체 <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>이 됨
  
−
 
 
  
−
<h5>역사</h5>
 
  
−
 
+
  
−
* http://www.google.com/search?hl=en&tbs=tl:1&q=
+
−
* [[수학사연표 (역사)|수학사연표]]
 
−
*  
 
  
−
 
+
==관련된 항목들==
 +
* [[작도문제와 구적가능성]]
 +
* [[갈루아 이론]]
 +
* [[5차방정식과 근의 공식]]
 +
* [[해밀턴의 사원수(quarternions)|해밀턴의 사원수]]
 +
* [[p진해석학(p-adic analysis)]]
  
−
 
+
  
−
<h5>메모</h5>
+
  
−
 
 
  
−
 
+
  
−
<h5>관련된 항목들</h5>
+
==사전 형태의 자료==
−
 
 
−
* [[갈루아 이론]]<br>
 
−
* [[5차방정식과 근의 공식]]<br>
 
−
* [[#]]<br>
 
−
* [[해밀턴의 사원수(quarternions)|해밀턴의 사원수]]<br>
 
−
* [[p진해석학(p-adic analysis)]]<br>
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">수학용어번역</h5>
 
−
 
 
−
* 단어사전 http://www.google.com/dictionary?langpair=en|ko&q=
 
−
* 발음사전 http://www.forvo.com/search/
 
−
* [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br>
 
−
** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=
 
−
* [http://www.nktech.net/science/term/term_l.jsp?l_mode=cate&s_code_cd=MA 남·북한수학용어비교]
 
−
* [http://kms.or.kr/home/kor/board/bulletin_list_subject.asp?bulletinid=%7BD6048897-56F9-43D7-8BB6-50B362D1243A%7D&boardname=%BC%F6%C7%D0%BF%EB%BE%EE%C5%E4%B7%D0%B9%E6&globalmenu=7&localmenu=4 대한수학회 수학용어한글화 게시판]
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
<h5>사전 형태의 자료</h5>
 
  
 
* [http://ko.wikipedia.org/wiki/%EC%B2%B4 http://ko.wikipedia.org/wiki/체]
 
* [http://ko.wikipedia.org/wiki/%EC%B2%B4 http://ko.wikipedia.org/wiki/체]
 
* [http://en.wikipedia.org/wiki/Field_%28mathematics%29 http://en.wikipedia.org/wiki/Field_(mathematics)]
 
* [http://en.wikipedia.org/wiki/Field_%28mathematics%29 http://en.wikipedia.org/wiki/Field_(mathematics)]
−
* http://en.wikipedia.org/wiki/
+
* http://en.wikipedia.org/wiki/Field_extension
−
* http://www.wolframalpha.com/input/?i=
 
−
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
 
−
* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]<br>
 
−
** http://www.research.att.com/~njas/sequences/?q=
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
  
−
<h5>관련논문</h5>
 
  
−
* [http://www.jstor.org/stable/2589500 Field Theory: From Equations to Axiomatization, Part I]<br>
+
−
** Israel Kleiner, <cite style="line-height: 2em;">The American Mathematical Monthly</cite>, Vol. 106, No. 7 (Aug. - Sep., 1999), pp. 677-684
 
−
* [http://www.jstor.org/stable/2589621 Field Theory: From Equations to Axiomatization, Part II]<br>
 
−
** Israel Kleiner, <cite style="line-height: 2em;">The American Mathematical Monthly</cite>, Vol. 106, No. 9 (Nov., 1999), pp. 859-863
 
  
−
 
+
  
−
 
+
==리뷰, 에세이, 강의노트==
 +
* [http://www.jstor.org/stable/2589500 Field Theory: From Equations to Axiomatization, Part I]
 +
** Israel Kleiner, <cite style="line-height: 2em;">The American Mathematical Monthly</cite>, Vol. 106, No. 7 (Aug. - Sep., 1999), pp. 677-684
 +
* [http://www.jstor.org/stable/2589621 Field Theory: From Equations to Axiomatization, Part II]
 +
** Israel Kleiner, <cite style="line-height: 2em;">The American Mathematical Monthly</cite>, Vol. 106, No. 9 (Nov., 1999), pp. 859-863
  
−
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">관련도서</h5>
 
−
 
 
−
* [http://www.amazon.com/exec/obidos/ASIN/0817646841/ebooksclub-20/ A History of Abstract Algebra]<br>
 
−
**  Israel Kleiner<br>
 
  
−
*  도서내검색<br>
+
==관련논문==
−
** http://books.google.com/books?q=
+
* Steinitz, Ernst. “Algebraische Theorie der Körper.” Journal für die reine und angewandte Mathematik 137 (1910): 167–309.
−
** http://book.daum.net/search/contentSearch.do?query=
 
−
*  도서검색<br>
 
−
** http://books.google.com/books?q=
 
−
** http://book.daum.net/search/mainSearch.do?query=
 
−
** http://book.daum.net/search/mainSearch.do?query=
 
  
−
 
+
==관련도서==
 +
 +
* [http://www.amazon.com/exec/obidos/ASIN/0817646841/ebooksclub-20/ A History of Abstract Algebra]
 +
** Israel Kleiner
  
−
 
 
  
−
<h5>블로그</h5>
+
[[분류:교과목]]
  
−
*  구글 블로그 검색<br>
+
==메타데이터==
−
** [http://blogsearch.google.com/blogsearch?q=%EC%B2%B4%EB%A1%A0 http://blogsearch.google.com/blogsearch?q=체론]
+
===위키데이터===
−
** http://blogsearch.google.com/blogsearch?q=
+
* ID : [https://www.wikidata.org/wiki/Q190109 Q190109]
−
* [http://navercast.naver.com/science/list 네이버 오늘의과학]
+
===Spacy 패턴 목록===
−
* [http://math.dongascience.com/ 수학동아]
+
* [{'LEMMA': 'field'}]
−
* [http://www.ams.org/mathmoments/ Mathematical Moments from the AMS]
+
* [{'LOWER': 'algebraic'}, {'LEMMA': 'Field'}]
−
* [http://betterexplained.com/ BetterExplained]
 

2021년 2월 17일 (수) 05:00 기준 최신판

개요

  • 사칙연산을 할 수 있는 대수적 구조
  • 유리수, 실수, 복소수, 유한체, p-adic 체, function field 등
  • 5차방정식과 근의 공식을 이해하기 위한 기본적인 개념틀




체(field)의 정의

  • 체 \(<\mathbb{F}, +, \cdot, 0,1>\)
  • 집합 F와 더하기(+), 곱하기(·) 연산이 정의되어 있으며, 0과 1이라는 원소가 있어, 다음과 같은 조건을 만족시킴
  1. \((\mathbb{F}, +)\)는 아벨군이며 0은 항등원이다. 즉 덧셈에 대한 아벨군을 이룬다.
  2. \((\mathbb{F}^{*}, \cdot)\)는 아벨군이며 1은 항등원이다. 여기서 \(\mathbb{F}^{*}\)은 0을 제외한 원소들의 집합.
  3. 더하기와 곱하기는 분배법칙을 만족시킨다. 즉, 모든 원소 \(a,b,c\in \mathbb{F}\)에 대하여 \(a \cdot (b+c) = (a \cdot b) + (a \cdot c)\) 이 성립한다.



체확장

  • 체 K가 체 F를 포함할 때, 즉 \(F\subset K\)일때, K를 F의 체확장이라 한다



순환체확장(cyclic extension)



거듭제곱근 체확장(radical extension)




다항식과 갈루아체확장

  • (기약)다항식으로부터 얻어지는 해를 모두 추가하여 주어진 체를 확장시킬 수 있음
  • 유리수체 \(\mathbb{Q}\)에서 정의된 다항식 \(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\)는 유리수체 \(\mathbb{Q}\)위에 정의된 벡터공간이 되며, 벡터공간으로서의 차원은 \([K : \mathbb{Q}]=6\)이 됨




관련된 항목들





사전 형태의 자료




리뷰, 에세이, 강의노트


관련논문

  • Steinitz, Ernst. “Algebraische Theorie der Körper.” Journal für die reine und angewandte Mathematik 137 (1910): 167–309.

관련도서

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LEMMA': 'field'}]
  • [{'LOWER': 'algebraic'}, {'LEMMA': 'Field'}]
원본 주소 "https://wiki.mathnt.net/index.php?title=체론(field_theory)&oldid=52476"