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

수학노트
둘러보기로 가기 검색하러 가기
43번째 줄: 43번째 줄:
  
 
==유수(class number)==
 
==유수(class number)==
 +
* [[원분체의 유수]] 항목 참조
  
* <math>K = \mathbb Q(\zeta_n)</math> 의유수 <math>h_K</math>
 
* <math>K^{+} :=\mathbb Q(\zeta_n)^{+}=K\cap \mathbb{R}</math>
 
* <math>h_K=h_K^{+}h_K^{-}</math>
 
* <math>h_K^{-}</math>를 상대적 유수(relative class number)라 한다
 
 
 
 
  
 
==메모==
 
==메모==
* [http://staff.miyakyo-u.ac.jp/~taya/jk2008/abst/fukuda-komatsu.pdf Weber class number problem]
 
 
* Barry Mazur [http://www.ams.org/journals/bull/2011-48-02/S0273-0979-2011-01326-X/home.html How can we construct abelian Galois extensions of basic number fields?] Bull. Amer. Math. Soc. 48 (2011), 155-209.
 
* Barry Mazur [http://www.ams.org/journals/bull/2011-48-02/S0273-0979-2011-01326-X/home.html How can we construct abelian Galois extensions of basic number fields?] Bull. Amer. Math. Soc. 48 (2011), 155-209.
  
67번째 줄: 60번째 줄:
  
 
==관련된 항목들==
 
==관련된 항목들==
 
 
* [[원분다항식(cyclotomic polynomial)]]
 
* [[원분다항식(cyclotomic polynomial)]]
 
* [[이차 수체(quadratic number fields) 의 정수론]]
 
* [[이차 수체(quadratic number fields) 의 정수론]]

2014년 7월 10일 (목) 19:48 판

개요

  • 크로네커-베버 정리
  • 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으로 나눈 나머지에 의존한다. ■



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

\[\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)


메모


역사



관련된 항목들


매스매티카 파일 및 계산 리소스


수학용어번역


사전 형태의 자료



관련도서

  • Lawrence C. Washington, Introduction to Cyclotomic Fields, Graduate Texts in Mathematics, 83. Springer-Verlag, New York, 1982