"원분체 (cyclotomic field)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
잔글 (찾아 바꾸기 – “수학사연표” 문자열을 “수학사 연표” 문자열로)
1번째 줄: 1번째 줄:
−
==이 항목의 스프링노트 원문주소==
 
−
 
−
* [[원분체 (cyclotomic field)]]
 
−
 
−
 
 
−
 
−
 
 
−
 
 
==개요==
 
==개요==
  
14번째 줄: 6번째 줄:
 
* Iwasawa theory
 
* Iwasawa theory
  
−
 
+
  
−
 
+
  
 
==기호==
 
==기호==
23번째 줄: 15번째 줄:
 
* <math>K = \mathbb Q(\zeta_n)</math>
 
* <math>K = \mathbb Q(\zeta_n)</math>
  
−
 
+
  
−
 
+
  
 
==갈루아군==
 
==갈루아군==
33번째 줄: 25번째 줄:
 
<math>G= \text{Gal}(K/\mathbb Q) \simeq (\mathbb{Z}/n\mathbb{Z})^\times</math>
 
<math>G= \text{Gal}(K/\mathbb Q) \simeq (\mathbb{Z}/n\mathbb{Z})^\times</math>
  
−
 
+
  
 
(증명)
 
(증명)
  
−
<math>\wp \subset K</math> 는 소수 p 를 나누는 unramified prime ideal이라 하자. 
+
<math>\wp \subset K</math> 는 소수 p 를 나누는 unramified prime ideal이라 하자.  
  
−
소수 p에 대한 아틴 심볼은 <math>\text{Gal}(K/\mathbb Q)</math>의 원소로,  <math>\sigma_p(\alpha)=\alpha ^p \pmod \wp</math> 를 만족시킨다.
+
소수 p에 대한 아틴 심볼은 <math>\text{Gal}(K/\mathbb Q)</math>의 원소로, <math>\sigma_p(\alpha)=\alpha ^p \pmod \wp</math> 를 만족시킨다.
  
−
<math>\sigma_p(\zeta)=\zeta ^p=\zeta^{an+b}=\zeta^b</math> 이므로, 아틴심볼은 p를 n으로 나눈 나머지에 의존한다. ■
+
<math>\sigma_p(\zeta)=\zeta ^p=\zeta^{an+b}=\zeta^b</math> 이므로, 아틴심볼은 p를 n으로 나눈 나머지에 의존한다. ■
  
 
* [[유한생성 아벨군의 기본정리]]
 
* [[유한생성 아벨군의 기본정리]]
  
−
 
+
  
−
 
+
  
 
==원분체의 데데킨트 제타함수==
 
==원분체의 데데킨트 제타함수==
  
−
* <math>K = \mathbb Q(\zeta_n)</math>에 대한 [[데데킨트 제타함수]]:<math>\zeta_{K}(s)=\sum_{\mathfrak{a} \text{:ideals}}\frac{1}{N(\mathfrak{a})^s}=\prod_{\mathfrak{p} \text{:prime ideals}} \frac{1}{1-N(\mathfrak{p})^{-s}}</math><br>
+
* <math>K = \mathbb Q(\zeta_n)</math>에 대한 [[데데킨트 제타함수]]:<math>\zeta_{K}(s)=\sum_{\mathfrak{a} \text{:ideals}}\frac{1}{N(\mathfrak{a})^s}=\prod_{\mathfrak{p} \text{:prime ideals}} \frac{1}{1-N(\mathfrak{p})^{-s}}</math>
−
*  제타함수의 분해:<math>\zeta_K(s)=\prod_{\chi\in \tilde{G}}L(s,\chi)</math> 로부터 [[등차수열의 소수분포에 관한 디리클레 정리]] 를 얻을 수 있다<br>
+
*  제타함수의 분해:<math>\zeta_K(s)=\prod_{\chi\in \tilde{G}}L(s,\chi)</math> 로부터 [[등차수열의 소수분포에 관한 디리클레 정리]] 를 얻을 수 있다
 
* 자세한 내용은 [[원분체의 데데킨트 제타함수]] 항목 참조
 
* 자세한 내용은 [[원분체의 데데킨트 제타함수]] 항목 참조
  
−
 
+
  
−
 
+
  
 
==디리클레 class number 공식과의 관계==
 
==디리클레 class number 공식과의 관계==
63번째 줄: 55번째 줄:
 
<math>\zeta_{K}(s)=\sum_{\mathfrak{a} \text{:ideals}}\frac{1}{N(\mathfrak{a})^s}=\prod_{\mathfrak{p} \text{:prime ideals}} \frac{1}{1-N(\mathfrak{p})^{-s}}</math>
 
<math>\zeta_{K}(s)=\sum_{\mathfrak{a} \text{:ideals}}\frac{1}{N(\mathfrak{a})^s}=\prod_{\mathfrak{p} \text{:prime ideals}} \frac{1}{1-N(\mathfrak{p})^{-s}}</math>
  
−
 
+
  
−
 
+
  
 
==class number==
 
==class number==
74번째 줄: 66번째 줄:
 
* <math>h_K^{-}</math>를 relative class number라 한다
 
* <math>h_K^{-}</math>를 relative class number라 한다
  
−
 
+
  
−
 
+
  
 
==메모==
 
==메모==
83번째 줄: 75번째 줄:
 
* http://arxiv.org/abs/1202.5777
 
* http://arxiv.org/abs/1202.5777
  
−
 
+
  
 
==역사==
 
==역사==
89번째 줄: 81번째 줄:
 
* [[수학사 연표]]
 
* [[수학사 연표]]
  
−
 
+
  
−
 
+
  
 
==관련된 항목들==
 
==관련된 항목들==
103번째 줄: 95번째 줄:
 
* [[로바체프스키 함수|로바체프스키와 클라우센 함수]]
 
* [[로바체프스키 함수|로바체프스키와 클라우센 함수]]
  
−
 
+
  
−
 
+
  
 
==수학용어번역==
 
==수학용어번역==
  
 
* http://www.google.com/dictionary?langpair=en|ko&q=
 
* http://www.google.com/dictionary?langpair=en|ko&q=
−
* [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=&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://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/%EC%9B%90%EB%B6%84%EC%B2%B4 http://ko.wikipedia.org/wiki/원분체]
 
* [http://ko.wikipedia.org/wiki/%EC%9B%90%EB%B6%84%EC%B2%B4 http://ko.wikipedia.org/wiki/원분체]
 
* http://en.wikipedia.org/wiki/cyclotomic_field
 
* http://en.wikipedia.org/wiki/cyclotomic_field
 
* http://www.encyclopediaofmath.org/index.php/Cyclotomic_field
 
* http://www.encyclopediaofmath.org/index.php/Cyclotomic_field
−
* http://www.wolframalpha.com/input/?i=cyclotomic_field
 
−
* [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/%7Enjas/sequences/?q=cyclotomic+field http://www.research.att.com/~njas/sequences/?q=cyclotomic+field]
 
  
−
 
 
  
−
 
+
  
 
==관련논문==
 
==관련논문==
  
−
* [http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.dmj/1077232812 Explicit elliptic units, I]<br>
+
* [http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.dmj/1077232812 Explicit elliptic units, I]
−
** Farshid Hajir and Fernando Rodriguez Villegas, Duke Math. J. Volume 90, Number 3 (1997), 495-521.
+
** Farshid Hajir and Fernando Rodriguez Villegas, Duke Math. J. Volume 90, Number 3 (1997), 495-521.
 
* http://www.jstor.org/action/doBasicSearch?Query=
 
* http://www.jstor.org/action/doBasicSearch?Query=
  
−
 
+
  
−
 
+
  
 
==관련도서==
 
==관련도서==
  
−
*  Introduction to Cyclotomic Fields<br>
+
*  Introduction to Cyclotomic Fields
−
**  Lawrence C. Washington, Graduate Texts in Mathematics, 83. Springer-Verlag, New York, 1982<br>
+
**  Lawrence C. Washington, Graduate Texts in Mathematics, 83. Springer-Verlag, New York, 1982

2013년 6월 6일 (목) 08:39 판

개요

  • 크로네커-베버 정리
  • cyclotomic units
  • class field theory
  • Iwasawa theory



기호

  • \(\zeta_n\)는 원시 n-단위근
  • \(K = \mathbb Q(\zeta_n)\)



갈루아군

(정리)

\(G= \text{Gal}(K/\mathbb Q) \simeq (\mathbb{Z}/n\mathbb{Z})^\times\)


(증명)

\(\wp \subset K\) 는 소수 p 를 나누는 unramified prime ideal이라 하자.

소수 p에 대한 아틴 심볼은 \(\text{Gal}(K/\mathbb Q)\)의 원소로, \(\sigma_p(\alpha)=\alpha ^p \pmod \wp\) 를 만족시킨다.

\(\sigma_p(\zeta)=\zeta ^p=\zeta^{an+b}=\zeta^b\) 이므로, 아틴심볼은 p를 n으로 나눈 나머지에 의존한다. ■



원분체의 데데킨트 제타함수



디리클레 class number 공식과의 관계

\(\zeta_{K}(s)=\sum_{\mathfrak{a} \text{:ideals}}\frac{1}{N(\mathfrak{a})^s}=\prod_{\mathfrak{p} \text{:prime ideals}} \frac{1}{1-N(\mathfrak{p})^{-s}}\)



class number

  • \(K = \mathbb Q(\zeta_n)\) 의 class number \(h_K\)
  • \(K^{+} :=\mathbb Q(\zeta_n)^{+}=K\cap \mathbb{R}\)
  • \(h_K=h_K^{+}h_K^{-}\)
  • \(h_K^{-}\)를 relative class number라 한다



메모


역사



관련된 항목들



수학용어번역



사전 형태의 자료



관련논문



관련도서

  • Introduction to Cyclotomic Fields
    • Lawrence C. Washington, Graduate Texts in Mathematics, 83. Springer-Verlag, New York, 1982
원본 주소 "https://wiki.mathnt.net/index.php?title=원분체_(cyclotomic_field)&oldid=27881"