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

수학노트
둘러보기로 가기 검색하러 가기
1번째 줄: 1번째 줄:
 
<h5>간단한 소개</h5>
 
<h5>간단한 소개</h5>
  
* prime ideal의 분해와  아틴 심볼을 통한 cycle 구조와의 관계
+
* prime ideal (또는 주어진 다항식 mod p) 의 분해와  프로베니우스 원소(혹은 아틴 심볼)의 cycle 구조와의 관계와 그 비율에 관한 정리들
 
* 갈루아 체확장 L/K,
 
* 갈루아 체확장 L/K,
 
*  
 
*  
10번째 줄: 10번째 줄:
  
 
<h5>프로베니우스의 density 정리(1880)</h5>
 
<h5>프로베니우스의 density 정리(1880)</h5>
 +
 +
* prime ideal과 cycle type의 관계
  
 
 
 
 
  
 
 
 
 
 
원소(아틴 심볼)의 정의
 
  
 
 
 
 
  
정리
+
<h5>체보타레프의 density 정리 (1922)</h5>
 
 
 
 
  
 
+
*  prime ideal과 conjugacy class의 관계<br>
 +
*
 +
** 프로베니우스의 정리보다 더 강력함
 +
** There are cases where cycle types are same but the conjugacy classes are different
  
 
 
 
 
 
<h5>체보타레 </h5>
 
  
 
 
 
 

2009년 6월 29일 (월) 22:17 판

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

 

 

프로베니우스의 density 정리(1880)
  • prime ideal과 cycle type의 관계

 

 

 

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

 

 

디리클레 정리의 유도

\(\zeta_n\)을 primitive n-th 단위근이라 하자.

\(\mathbb Q \subset \mathbb Q(\zeta_n)\) , \(\wp\) 는 unramified prime ideal over p 를 가정한다.

이제 소수 p에 대한 아틴 심볼은  \(\sigma_p(\alpha)=\alpha ^p \pmod \wp\) 로 정의된다.

체보타레프 정리에 의해 p의 분해는 아틴 심볼의 cycle 구조를 통해서 알 수 있다.

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

따라서 의해 디리클레 정리가 증명된다.

 

 

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

 

 

관련된 대학원 과목

 

 

관련된 다른 주제들

 

표준적인 도서 및 추천도서

 

위키링크

 

참고할만한 자료