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

수학노트
둘러보기로 가기 검색하러 가기
 
(같은 사용자의 중간 판 8개는 보이지 않습니다)
1번째 줄: 1번째 줄:
−
==이 항목의 스프링노트 원문주소==
 
−
 
−
* [[체론(field theory)]]<br>
 
−
 
−
 
 
−
 
−
 
 
−
 
 
==개요==
 
==개요==
  
−
*  사칙연산을 할 수 있는 대수적 구조<br>
+
*  사칙연산을 할 수 있는 대수적 구조
−
*  유리수, 실수, 복소수, 유한체, [[p진해석학(p-adic analysis)|p-adic]] 체, function field 등<br>
+
*  유리수, 실수, 복소수, 유한체, [[p진해석학(p-adic analysis)|p-adic]] 체, function field 등
−
* [[5차방정식과 근의 공식]]을 이해하기 위한 기본적인 개념틀<br>
+
* [[5차방정식과 근의 공식]]을 이해하기 위한 기본적인 개념틀
  
−
 
+
  
−
 
+
  
−
 
+
  
 
==체(field)의 정의==
 
==체(field)의 정의==
  
−
*  체 <math><\mathbb{F}, +, \cdot, 0,1></math><br>
+
*  체 <math><\mathbb{F}, +, \cdot, 0,1></math>
−
*  집합 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>
+
*  집합 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> 이 성립한다.
  
−
 
+
  
−
 
+
  
 
==체확장==
 
==체확장==
  
−
*  체 K가 체 F를 포함할 때, 즉 <math>F\subset K</math>일때, K를 F의 체확장이라 한다<br>
+
*  체 K가 체 F를 포함할 때, 즉 <math>F\subset K</math>일때, K를 F의 체확장이라 한다
  
−
 
+
  
−
 
+
  
 
==순환체확장(cyclic extension)==
 
==순환체확장(cyclic extension)==
  
−
* [[순환 체확장(cyclic extension)]]<br>
+
* [[순환 체확장(cyclic extension)]]
  
−
 
+
  
−
 
+
  
 
==거듭제곱근 체확장(radical extension)==
 
==거듭제곱근 체확장(radical extension)==
  
−
*  주어진 체에서 시작하여 거듭제곱근들을 넣어 만들 수 있는 체확장의 종류<br>
+
*  주어진 체에서 시작하여 거듭제곱근들을 넣어 만들 수 있는 체확장의 종류
−
* [[정다각형의 작도]], [[5차방정식과 근의 공식]] 에서 중요하게 사용되는 개념이다<br>
+
* [[정다각형의 작도]], [[5차방정식과 근의 공식]] 에서 중요하게 사용되는 개념이다
−
* [[search?q=%EA%B1%B0%EB%93%AD%EC%A0%9C%EA%B3%B1%EA%B7%BC%20%EC%B2%B4%ED%99%95%EC%9E%A5%28radical%20extension%29&parent id=3716391|거듭제곱근 체확장(radical extension)]] 항목에서 자세히 다룸<br>
+
* [[거듭제곱근 체확장(radical extension)]] 항목에서 자세히 다룸
  
−
 
+
  
−
 
+
  
−
 
+
  
 
==다항식과 갈루아체확장==
 
==다항식과 갈루아체확장==
  
−
*  (기약)다항식으로부터 얻어지는 해를 모두 추가하여 주어진 체를 확장시킬 수 있음<br>
+
*  (기약)다항식으로부터 얻어지는 해를 모두 추가하여 주어진 체를 확장시킬 수 있음
−
*  유리수체 <math>\mathbb{Q}</math>에서 정의된 다항식 <math>x^3-2=0</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> 세 개가 존재<br>
+
*  해는 <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> 를 얻음<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> 를 얻음
−
*  이 때, 체 <math>K</math>는 유리수체 <math>\mathbb{Q}</math>위에 정의된 벡터공간이 되며, 벡터공간으로서의 차원은 <math>[K : \mathbb{Q}]=6</math>이 됨<br>
+
*  이 때, 체 <math>K</math>는 유리수체 <math>\mathbb{Q}</math>위에 정의된 벡터공간이 되며, 벡터공간으로서의 차원은 <math>[K : \mathbb{Q}]=6</math>이 됨
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
==역사==
 
−
 
 
−
 
 
−
 
 
−
* http://www.google.com/search?hl=en&tbs=tl:1&q=
 
−
* [[수학사연표 (역사)|수학사연표]]
 
−
*  
 
−
 
 
−
 
 
  
−
 
 
  
−
==메모==
 
  
−
 
+
  
−
 
+
  
 
==관련된 항목들==
 
==관련된 항목들==
 +
* [[작도문제와 구적가능성]]
 +
* [[갈루아 이론]]
 +
* [[5차방정식과 근의 공식]]
 +
* [[해밀턴의 사원수(quarternions)|해밀턴의 사원수]]
 +
* [[p진해석학(p-adic analysis)]]
  
−
* [[갈루아 이론]]<br>
+
−
* [[5차방정식과 근의 공식]]<br>
 
−
* [[해밀턴의 사원수(quarternions)|해밀턴의 사원수]]<br>
 
−
* [[p진해석학(p-adic analysis)]]<br>
 
  
−
 
+
  
−
 
 
  
−
==수학용어번역==
+
  
−
* 단어사전 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 대한수학회 수학용어한글화 게시판]
 
−
 
 
−
 
 
−
 
 
−
 
 
−
 
 
−
==사전 형태의 자료==
 
  
 
* [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/Field_extension
 
* http://en.wikipedia.org/wiki/Field_extension
−
* http://en.wikipedia.org/wiki/
 
−
* 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=
 
  
−
 
 
  
−
 
+
  
−
 
+
  
−
==관련논문==
+
==리뷰, 에세이, 강의노트==
 +
* [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
  
−
* [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
 
  
−
 
+
==관련논문==
−
 
+
* Steinitz, Ernst. “Algebraische Theorie der Körper.” Journal für die reine und angewandte Mathematik 137 (1910): 167–309.
−
 
 
  
 
==관련도서==
 
==관련도서==
−
 
+
−
* [http://www.amazon.com/exec/obidos/ASIN/0817646841/ebooksclub-20/ A History of Abstract Algebra]<br>
+
* [http://www.amazon.com/exec/obidos/ASIN/0817646841/ebooksclub-20/ A History of Abstract Algebra]
−
** Israel Kleiner<br>
+
** Israel Kleiner
−
 
 
−
*  도서내검색<br>
 
−
** http://books.google.com/books?q=
 
−
** 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=
 
−
 
 
−
 
 
  
−
 
 
  
−
==블로그==
+
[[분류:교과목]]
  
−
*  구글 블로그 검색<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]
 +
===Spacy 패턴 목록===
 +
* [{'LEMMA': 'field'}]
 +
* [{'LOWER': 'algebraic'}, {'LEMMA': 'Field'}]

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"