"프로베니우스와 체보타레프 밀도(density) 정리"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
59번째 줄: 59번째 줄:
 
* 1922 체보타레프의 밀도 정리
 
* 1922 체보타레프의 밀도 정리
 
* 1927 아틴 상호 법칙
 
* 1927 아틴 상호 법칙
* http://www.google.com/search?hl=en&tbs=tl:1&q=
 
 
* [[수학사연표 (역사)|수학사연표]]
 
* [[수학사연표 (역사)|수학사연표]]
  
88번째 줄: 87번째 줄:
  
 
* [[등차수열의 소수분포에 관한 디리클레 정리]]
 
* [[등차수열의 소수분포에 관한 디리클레 정리]]
 +
* [[정수론에서의 상호법칙 (reciprocity laws)]]
  
 
 
 
 
116번째 줄: 116번째 줄:
 
<h5>관련논문</h5>
 
<h5>관련논문</h5>
  
* [http://www.springerlink.com/content/b66l342427127596/ Frobenius and his Density theorem for primes]<br>
+
* [http://www.springerlink.com/content/b66l342427127596/ Frobenius and his Density theorem for primes] ,B. Sury, Springer India,  Volume 8, Number 12 / 2003년 12월<br>
** B. Sury, Springer India,  Volume 8, Number 12 / 2003년 12월
 
 
** http://www.ias.ac.in/resonance/Dec2003/pdf/Dec2003p33-41.pdf
 
** http://www.ias.ac.in/resonance/Dec2003/pdf/Dec2003p33-41.pdf
* [http://websites.math.leidenuniv.nl/algebra/Lenstra-Chebotarev.pdf The Chebotarev Density Theorem]<br>
+
* [http://websites.math.leidenuniv.nl/algebra/Lenstra-Chebotarev.pdf The Chebotarev Density Theorem] Hendrik Lenstra
** Hendrik Lenstra
+
* [http://www.math.leidenuniv.nl/%7Ehwl/papers/cheb.pdf Chebotarev and his density theorem] P. Stevenhagen and H. W. Lenstra, Jr
* [http://www.math.leidenuniv.nl/%7Ehwl/papers/cheb.pdf Chebotarev and his density theorem]<br>
+
* [http://www.jstor.org/stable/2317083 What is a Reciprocity Law?] B. F. Wyman <cite>,The American Mathematical Monthly</cite>, Vol. 79, No. 6 (Jun. - Jul., 1972), pp. 571-586
** P. Stevenhagen and H. W. Lenstra, Jr
 
* [http://www.jstor.org/stable/2317083 What is a Reciprocity Law?]<br>
 
** B. F. Wyman
 
** <cite>The American Mathematical Monthly</cite>, Vol. 79, No. 6 (Jun. - Jul., 1972), pp. 571-586
 

2012년 7월 18일 (수) 19:06 판

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

 

 

개요
  • density 정리란 prime ideal (또는 주어진 다항식 mod p) 의 분해와  프로베니우스 원소(혹은 아틴 심볼)의 cycle 구조와의 관계와 그 비율에 관한 정리.
  • 갈루아 체확장 L/K 

 

 

프로베니우스의 밀도 정리
  • prime ideal과 cycle type의 관계
  • The set of primes p modulo which a monic integral, irreducible polynomial f has a given decomposition type \(n_1,n_2,\cdots,n_r\) has density equal to N/O(Gal(f)) where
    \(N =|\{a \in \operatorname{Gal}(f) : \sigma\text{ has a cycle pattern } n_l,n_2,\cdots,n_r\}|.\)

 

 

체보타레프의 밀도 정리
  • prime ideal과 conjugacy class의 관계
    • 프로베니우스의 정리보다 더 강력함
    • There are cases where cycle types are same but the conjugacy classes are different

 

 

밀도 정리를 통한 디리클레 정리의 유도

\(\zeta_n\)는 primitive n-단위근이고 \(K = \mathbb Q(\zeta_n)\)라 하자.

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

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

p의 분해는 아틴 심볼의 cycle 구조를 통해서 알 수 있다.

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

따라서 체보타레프 정리에 의해 디리클레 정리가 증명된다.

 

 

역사
  • 1880 프로베니우스의 밀도 정리
  • 1922 체보타레프의 밀도 정리
  • 1927 아틴 상호 법칙
  • 수학사연표

 

 

 

관련된 학부 과목과 미리 알고 있으면 좋은 것들

 

 

관련된 대학원 과목

 

 

관련된 항목들

 

 

관련도서

 

 

위키링크

 

 

관련논문