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

2012년 7월 18일 (수) 17:33 판

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으로 나눈 나머지에 의존한다.

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

@@ 16번째 줄: / 16번째 줄: @@
-<h5>프로베니우스의 밀도 정리(1880)</h5>
+<h5>프로베니우스의 밀도 정리</h5>
 * prime ideal과 cycle type의 관계
+* The set of primes p modulo which a monic integral, irreducible polynomial f has a given decomposition type <math>n_1,n_2,\cdots,n_r</math> has density equal to N/O(Gal(f)) where<br><math>N =|\{a \in \operatorname{Gal}(f) : \sigma\text{ has a cycle pattern } n_l,n_2,\cdots,n_r\}|.</math>
-The set of primes p modulo which a monic integral, irreducible<br> polynomial f has a given decomposition type<br> nl, n2,'" ,n,., has density equal to N/O(Gal(f)) where<br> N = I{a e Gal(f)" a has acyclepatternnl,n2,...,nr}l.
@@ 26번째 줄: / 25번째 줄: @@
-<h5>체보타레프의 밀도 정리 (1922)</h5>
+<h5>체보타레프의 밀도 정리</h5>
 *  prime ideal과 conjugacy class의 관계<br>
@@ 50번째 줄: / 49번째 줄: @@
 따라서 체보타레프 정리에 의해 디리클레 정리가 증명된다.
+<h5>역사</h5>
+* 프로베니우스의 밀도 정리(1880)
+* 체보타레프의 밀도 정리 (1922)
+* 1927Artin found the proof of the general<br> reciprocity law in 1927
+* http://www.google.com/search?hl=en&tbs=tl:1&q=
+* [[수학사연표 (역사)|수학사연표]]