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

수학노트
둘러보기로 가기 검색하러 가기
9번째 줄: 9번째 줄:
 
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">간단한 소개</h5>
 
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">간단한 소개</h5>
  
 +
* 크로네커-베버 정리
 
* cyclotomic units
 
* cyclotomic units
  
17번째 줄: 18번째 줄:
 
<h5>갈루아군</h5>
 
<h5>갈루아군</h5>
  
* <math>\sigma_p \in \text{Gal}(K/\mathbb Q)</math><br>  <br><math>\wp \subset K</math> 는 소수 p 를 나누는 unramified prime ideal이라 하자. <br> 소수 p에 대한 아틴 심볼은  <math>\sigma_p(\alpha)=\alpha ^p \pmod \wp</math> 를 만족시키는 <math>\sigma_p \in \text{Gal}(K/\mathbb Q)</math> 로 정의된다.<br> 체보타레프 정리에 의해 p의 분해는 아틴 심볼의 cycle 구조를 통해서 알 수 있다.<br> 한편 <math>\sigma_p(\zeta)=\zeta ^p=\zeta^{an+b}=\zeta^b</math> 이므로, 아틴심볼은 p를 n으로 나눈 나머지에 의존한다.<br> 따라서 의해 디리클레 정리가 증명된다.<br>
+
* <math>\zeta_n</math>는 원시 n-단위근이고 <math>K = \mathbb Q(\zeta_n)</math>라 하자.<br><math>\text{Gal}(K/\mathbb Q) \simeq (\mathbb{Z}/n\mathbb{Z})^\times</math><br><math>\wp \subset K</math> 는 소수 p 를 나누는 unramified prime ideal이라 하자. <br> 소수 p에 대한 아틴 심볼은  <math>\sigma_p(\alpha)=\alpha ^p \pmod \wp</math> 를 만족시키는 <math>\sigma_p \in \text{Gal}(K/\mathbb Q)</math> 로 정의<br><math>\sigma_p(\zeta)=\zeta ^p=\zeta^{an+b}=\zeta^b</math> 이므로, 아틴심볼은 p를 n으로 나눈 나머지에 의존<br>
 +
* [[유한생성 아벨군의 기본정리]]
 +
 
 +
 
 +
 
 +
 
 +
 
 +
<h5>디리클레 class number 공식과의 관계</h5>
 +
 
 +
<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>
  
 
 
 
 
48번째 줄: 58번째 줄:
 
* [[데데킨트 제타함수]]
 
* [[데데킨트 제타함수]]
 
* [[정규소수 (regular prime)]]
 
* [[정규소수 (regular prime)]]
 +
* [[베르누이 다항식]]
 +
* [[로바체프스키 함수|로바체프스키와 클라우센 함수]]
  
 
 
 
 

2009년 11월 26일 (목) 18:44 판

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

 

 

간단한 소개
  • 크로네커-베버 정리
  • cyclotomic units

 

 

갈루아군
  • \(\zeta_n\)는 원시 n-단위근이고 \(K = \mathbb Q(\zeta_n)\)라 하자.
    \(\text{Gal}(K/\mathbb Q) \simeq (\mathbb{Z}/n\mathbb{Z})^\times\)
    \(\wp \subset K\) 는 소수 p 를 나누는 unramified prime ideal이라 하자. 
    소수 p에 대한 아틴 심볼은  \(\sigma_p(\alpha)=\alpha ^p \pmod \wp\) 를 만족시키는 \(\sigma_p \in \text{Gal}(K/\mathbb Q)\) 로 정의
    \(\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}}\)

 

 

재미있는 사실

 

 

 

역사

 

 

관련된 항목들

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

관련논문

 

 

관련도서 및 추천도서

 

 

관련기사

 

 

블로그