"거듭제곱근 체확장(radical extension)"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
|||
| (사용자 2명의 중간 판 18개는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
| − | + | ==개요== | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ==거듭제곱근 체확장(radical extension)== | |
| − | * | + | * 기본체 <math>F=F_0</math> |
| − | * 다음조건을 | + | * 다음조건을 만족시키는 <math>F</math>의 체확장 <math>K=F(a_1,a_2,\cdots,a_r)</math>를 거듭제곱근 체확장이라 한다 자연수 <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> |
| − | * 풀어쓰면 다음과 같다 | + | * 풀어쓰면 다음과 같다 원소 <math>b_1\in F</math>와 자연수 <math>n_1</math>에 대하여, 거듭제곱근 <math>a_1=\sqrt[n_1]b_1</math> 를 추가하여 얻어지는 체확장 <math>F_1=F(a_1)=F(\sqrt[n_1]b_1)</math> 원소 <math>b_2\in F_1</math>와 자연수 <math>n_2</math>에 대하여, 거듭제곱근 <math>a_2=\sqrt[n_2]b_2</math> 를 추가하여 얻어지는 체확장 <math>F_2=F_1(b_2)=F_1(\sqrt[n_2]a_2)</math> 이러한 체확장을 유한번 반복하여 얻어지는 <math>F=F_0</math>의 체확장을 거듭제곱근 체확장이라 한다 |
| − | * 예 | + | * 예:<math>\mathbb{Q}\subseteq\mathbb{Q}(\sqrt{2})\subseteq\mathbb{Q}(\sqrt{2})(\sqrt{\sqrt{2}})=\mathbb{Q}(\sqrt[4]2)</math>:<math>\mathbb{Q}\subseteq\mathbb{Q}(\sqrt{2})\subseteq\mathbb{Q}(\sqrt{2}, \sqrt{3})</math> |
| − | * [[정다각형의 작도]], | + | * [[정다각형의 작도]], [[5차방정식과 근의 공식]] 에서 중요하게 사용되는 개념이다 |
| − | + | ||
| − | + | ||
| − | + | ==거듭제곱근 체확장의 갈루아군== | |
| − | * 갈루아 군의 | + | * 갈루아 군의 정의는 [[갈루아 이론|갈루아 이론]] 항목을 참조 |
| − | * 체 F가 primitive root of unity 를 가진다고 하자. | + | * 체 F가 primitive root of unity 를 가진다고 하자. |
| − | * F의 거듭제곱근 | + | * F의 거듭제곱근 체확장 <math>K=F(\sqrt[n]a)</math> 의 갈루아군은 크기가 n인 [[순환군]]이다:<math>\text{Gal}(K/F)\cong C_n</math> |
| − | + | ||
| − | + | ||
| − | + | ==재미있는 사실== | |
| − | + | ||
* Math Overflow http://mathoverflow.net/search?q= | * Math Overflow http://mathoverflow.net/search?q= | ||
* 네이버 지식인 http://kin.search.naver.com/search.naver?where=kin_qna&query= | * 네이버 지식인 http://kin.search.naver.com/search.naver?where=kin_qna&query= | ||
| − | + | ||
| − | + | ||
| − | + | ==메모== | |
| − | + | ||
| − | + | ||
| − | |||
| − | |||
| − | + | ==관련된 항목들== | |
| − | + | ||
| − | + | ||
| − | + | ==수학용어번역== | |
| − | + | * 단어사전 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= 대한수학회 수학 학술 용어집] | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | * | ||
| − | * | ||
| − | * [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집] | ||
** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr= | ** 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://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://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/ | * http://ko.wikipedia.org/wiki/ | ||
| 85번째 줄: | 73번째 줄: | ||
* http://www.wolframalpha.com/input/?i= | * http://www.wolframalpha.com/input/?i= | ||
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions] | * [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions] | ||
| − | * [http://www.research.att.com/ | + | * [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences] |
** http://www.research.att.com/~njas/sequences/?q= | ** http://www.research.att.com/~njas/sequences/?q= | ||
| − | + | ||
| − | |||
| − | |||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | ||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | ||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | ||
| − | + | ||
| − | + | ==블로그== | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
2020년 12월 28일 (월) 02:03 기준 최신판
개요
거듭제곱근 체확장(radical extension)
- 기본체 \(F=F_0\)
- 다음조건을 만족시키는 \(F\)의 체확장 \(K=F(a_1,a_2,\cdots,a_r)\)를 거듭제곱근 체확장이라 한다 자연수 \(n_1,\cdots,n_r\)이 존재하여, \(a_1^{n_1}\in F\) 이고 \(1<i\leq r\)에 대하여 \(a_i^{n_i} \in F(a_1,a_2,\cdots,a_{i-1})\)
- 풀어쓰면 다음과 같다 원소 \(b_1\in F\)와 자연수 \(n_1\)에 대하여, 거듭제곱근 \(a_1=\sqrt[n_1]b_1\) 를 추가하여 얻어지는 체확장 \(F_1=F(a_1)=F(\sqrt[n_1]b_1)\) 원소 \(b_2\in F_1\)와 자연수 \(n_2\)에 대하여, 거듭제곱근 \(a_2=\sqrt[n_2]b_2\) 를 추가하여 얻어지는 체확장 \(F_2=F_1(b_2)=F_1(\sqrt[n_2]a_2)\) 이러한 체확장을 유한번 반복하여 얻어지는 \(F=F_0\)의 체확장을 거듭제곱근 체확장이라 한다
- 예\[\mathbb{Q}\subseteq\mathbb{Q}(\sqrt{2})\subseteq\mathbb{Q}(\sqrt{2})(\sqrt{\sqrt{2}})=\mathbb{Q}(\sqrt[4]2)\]\[\mathbb{Q}\subseteq\mathbb{Q}(\sqrt{2})\subseteq\mathbb{Q}(\sqrt{2}, \sqrt{3})\]
- 정다각형의 작도, 5차방정식과 근의 공식 에서 중요하게 사용되는 개념이다
거듭제곱근 체확장의 갈루아군
- 갈루아 군의 정의는 갈루아 이론 항목을 참조
- 체 F가 primitive root of unity 를 가진다고 하자.
- F의 거듭제곱근 체확장 \(K=F(\sqrt[n]a)\) 의 갈루아군은 크기가 n인 순환군이다\[\text{Gal}(K/F)\cong C_n\]
재미있는 사실
- Math Overflow http://mathoverflow.net/search?q=
- 네이버 지식인 http://kin.search.naver.com/search.naver?where=kin_qna&query=
메모
관련된 항목들
수학용어번역
- 단어사전 http://www.google.com/dictionary?langpair=en%7Cko&q=
- 발음사전 http://www.forvo.com/search/
- 대한수학회 수학 학술 용어집
- 남·북한수학용어비교
- 대한수학회 수학용어한글화 게시판
사전 형태의 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/
- http://www.wolframalpha.com/input/?i=
- NIST Digital Library of Mathematical Functions
- The On-Line Encyclopedia of Integer Sequences