Header

  1. View current page

    수학이 알고싶은 중고대딩들을 위한 수학 노트

순환 체확장(cyclic extension)

이 항목의 스프링노트 원문주소

 

 

간단한 소개
  • F와 그 갈루아체확장 K에 대하여 군 \text{Gal}(K/F)이 순환군이면, 이 체확장을 순환체확장이라 부름

 

(정리)

F가 primitive n-th root of unity }\zeta_n를 포함한다 하자.(가령 F가 복소수체를 포함하는 경우)

K가 F의 순환체확장이면, 적당한 원소 a\in F 가 존재하여, K= F(a)와 a^n\in F 를 만족시킨다.

 

(증명)

힐버트 정리 90... 또는

\text{Gal}(K/F) 가 \sigma에 의하여 생성되는 순환군이라 하자.

K에 정의된 (F-)선형사상 \tau=\sum_{i=0}^{n-1}\zeta_n^i\sigma^i는 \{\sigma^i\}의 선형독립성에 의하여,  0이 아니다.

따라서 \tau(b)\in K\neq 0  인 b\in K가 존재한다. 

a=\tau(b)=\sum_{i=0}^{n-1}\zeta_n^i\sigma^i(b)로 두면,

 \sigma(a)=\sigma(\tau(b))=\sigma(\sum_{i=0}^{n-1}\zeta_n^i\sigma^i(b))=\sum_{i=0}^{n-1}\zeta_n^i\sigma^{i+1}(b)=\zeta_n^{-1}\sum_{i=0}^{n-1}\zeta_n^{i+1}\sigma^{i+1}(b)=\zeta_n^{-1}a

따라서 [F(a):F]\geq n 임을 알 수 있고, [K:F]=n으로부터 K= F(a)를 얻는다.

한편  \sigma(a)=\zeta_n^{-1}a 이므로, \sigma(a^n)=}a^n이 된다. 따라서 a^n\in F. ■

 

 

재미있는 사실

 

  • 네이버 지식인 http://kin.search.naver.com/search.naver?where=kin_qna&query=

 

 

역사

 

 

메모

 

 

관련된 항목들

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

관련논문
  • http://www.jstor.org/action/doBasicSearch?Query=
  • http://dx.doi.org/

 

관련도서 및 추천도서
  • 도서내검색

    • http://books.google.com/books?q=
    • http://book.daum.net/search/contentSearch.do?query=
  • 도서검색

    • http://books.google.com/books?q=
    • http://www.amazon.com/s/ref=nb_ss_gw?url=search-alias%3Dstripbooks&field-keywords=
    • http://book.daum.net/search/mainSearch.do?query=

 

 

관련기사
  • 네이버 뉴스 검색 (키워드 수정)

    • http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
    • http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
    • http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=

 

 

블로그

History

Last edited on 02/18/2010 14:48 by 피타고라스

Comments (0)

You must log in to leave a comment. Please sign in.