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

수학노트
둘러보기로 가기 검색하러 가기
 
(사용자 2명의 중간 판 35개는 보이지 않습니다)
1번째 줄: 1번째 줄:
<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>
+
==개요==
 +
* 수체에 대한 갈루아 체확장이 주어진 경우
 +
* 소 아이디얼에 대응되는 갈루아 군의 원소([[프로베니우스 원소]] 혹은 아틴 부호)는 소 아이디얼의 갈루아 체확장에서의 분해 (또는 체확장을 주는 다항식 <math>\bmod p</math>의 분해)에 대한 정보를 담고 있음
 +
* 밀도 정리는 이러한 갈루아 군의 원소의 분포와 그 비율에 관한 정리
 +
* [[정수론에서의 상호법칙 (reciprocity laws)]]과 깊은 관계
 +
  
*  
+
==프로베니우스의 밀도 정리==
 +
* 소 아이디얼에 대한 순환 마디 형태의 분포
 +
* <math>f(x)\in\mathbb{Z}[x]</math> : 갈루아 군이 <math>G=\operatorname{Gal}(f)</math>인, 차수가 <math>n</math>이고 최고차항이 1인 기약다항식
 +
* <math>f</math>의 서로 다른 해를 <math>\alpha_1,\cdots, \alpha_n</math>으로 두면, <math>G</math>는 치환군 <math>S_n</math>의 부분집합으로 볼 수 있다
 +
* 소수 <math>p</math>에 대하여, <math>f(x) \pmod p</math>의 인수분해로부터 <math>n</math>의 분할 <math>\sigma_p=(n_1,n_2,\cdots,n_r)</math>가 정의된다
 +
;정리 (프로베니우스)
 +
주어진 <math>n</math>의 분할 <math>(n_1,n_2,\cdots,n_r)</math>에 대하여, 집합 <math>S=\{p|\sigma_p=(n_1,n_2,\cdots,n_r)  \}</math>의 밀도 <math>\delta(S)</math>가 존재하며, 이는 <math>\delta(S)=|N|/|G|</math>으로 주어진다. 여기서 <math>N</math>은 순환 마디 형태가 <math>(n_1,n_2,\cdots,n_r)</math>인 <math>G\subseteq S_n</math>의 부분집합, 즉 <math>N =\{\sigma \in G| \sigma\text{ has a cycle pattern } (n_1,n_2,\cdots,n_r)\}</math>
  
 
+
 +
===예===
 +
* 다항식 <math>x^3-2</math>, <math>G=S_3</math>
 +
* <math>p \equiv 1\bmod 3</math>이면 순환 마디 형태는 <math>(1,1,1)</math> 또는 <math>(3)</math>
 +
* <math>p \equiv 2\bmod 3</math>이면 순환 마디 형태는 <math>(1,2)</math>
 +
:<math>
 +
\begin{array}{cccc}
 +
p & p \bmod 3 & x^3-2 & \text{cycle} \\
 +
\hline
 +
5 & 2 & (x+2) \left(x^2+3 x+4\right) & \{1,2\} \\
 +
7 & 1 & x^3+5 & \{3\} \\
 +
11 & 2 & (x+4) \left(x^2+7 x+5\right) & \{1,2\} \\
 +
13 & 1 & x^3+11 & \{3\} \\
 +
17 & 2 & (x+9) \left(x^2+8 x+13\right) & \{1,2\} \\
 +
19 & 1 & x^3+17 & \{3\} \\
 +
23 & 2 & (x+7) \left(x^2+16 x+3\right) & \{1,2\} \\
 +
29 & 2 & (x+3) \left(x^2+26 x+9\right) & \{1,2\} \\
 +
31 & 1 & (x+11) (x+24) (x+27) & \{1,1,1\} \\
 +
37 & 1 & x^3+35 & \{3\} \\
 +
41 & 2 & (x+36) \left(x^2+5 x+25\right) & \{1,2\} \\
 +
43 & 1 & (x+9) (x+11) (x+23) & \{1,1,1\} \\
 +
47 & 2 & (x+26) \left(x^2+21 x+18\right) & \{1,2\} \\
 +
53 & 2 & (x+35) \left(x^2+18 x+6\right) & \{1,2\} \\
 +
59 & 2 & (x+21) \left(x^2+38 x+28\right) & \{1,2\} \\
 +
61 & 1 & x^3+59 & \{3\} \\
 +
67 & 1 & x^3+65 & \{3\} \\
 +
71 & 2 & (x+22) \left(x^2+49 x+58\right) & \{1,2\} \\
 +
73 & 1 & x^3+71 & \{3\} \\
 +
79 & 1 & x^3+77 & \{3\}
 +
\end{array}
 +
</math>
 +
* <math>p\geq 5</math>인 10000개의 소수에 대하여 순환 마디 구조의 빈도는 다음과 같다
 +
** <math>(3)</math>, 3354개, 비율은 대략 <math>2/6</math>
 +
** <math>(1, 1, 1)</math>, 1635개, 비율은 대략 <math>1/6</math>
 +
** <math>(1, 2)</math>, 5011개, 비율은 대략 <math>3/6</math>
  
 
 
  
<h5>간단한 소개</h5>
+
==체보타레프의 밀도 정리==
 +
*  소 아이디얼에 <math>G</math>의 켤레류를 대응시킴
 +
** 프로베니우스의 정리보다 더 강력함
 +
** 순환마디 형태가 같으나, 서로 다른 켤레류에 있는 갈루아 군의 원소가 존재함
 +
* <math>f(x)\in\mathbb{Z}[x]</math> : 갈루아 군이 G인 최고차항이 1인 기약다항식
 +
* 소수 <math>p</math>에 대하여, 프로베니우스 원소 <math>\operatorname{Frob}_p\in G</math>를 (up to conjugacy) 얻을 수 있으며, 이는 <math>\operatorname{Frob}_p\in C\subseteq G</math>를 만족하는 <math>G</math>의 켤레류 <math>C</math>를 정의함
 +
;정리 (체보타레프)
 +
갈루아 군 <math>G</math>의 주어진 켤레류 <math>C</math>에 대하여, 집합 <math>S=\{p|\operatorname{Frob}_p\in C \}</math>의 밀도 <math>\delta(S)</math>가 존재하며, 이는 <math>\delta(S)=|C|/|G|</math>로 주어진다
  
* density 정리란 prime ideal (또는 주어진 다항식 mod p) 의 분해와  프로베니우스 원소(혹은 아틴 심볼)의 cycle 구조와의 관계와 그 비율에 관한 정리.
 
* 갈루아 체확장 L/K 
 
  
 
 
  
 
+
===예===
 +
* 원분다항식 <math>f=x^4-x^3+x^2-x+1</math>의 primitive인 근을 <math>\zeta</math>로 두자
 +
* <math>f</math>의 근은, <math>\alpha_1=\zeta^1,\alpha_2=\zeta^3,\alpha_3=\zeta^7,\alpha_4=\zeta^9</math>
 +
* 갈루아 군 <math>G\cong (\mathbb{Z}/10\mathbb{Z})^{\times}=\{1,3,7,9\}</math>이고 <math>a\in(\mathbb{Z}/10\mathbb{Z})^{\times}</math>는 <math>\zeta\mapsto \zeta^a</math>로 작용
 +
* <math>p \equiv 1\bmod 10</math>이면 순환 마디 형태는 <math>(1,1,1,1)</math>, <math>\operatorname{Frob}_p=1</math>
 +
* <math>p \equiv 3\bmod 10</math>이면 순환 마디 형태는 <math>(4)</math>, <math>\operatorname{Frob}_p=3</math>
 +
* <math>p \equiv 7\bmod 10</math>이면 순환 마디 형태는 <math>(4)</math>, <math>\operatorname{Frob}_p=7</math>
 +
* <math>p \equiv 9\bmod 10</math>이면 순환 마디 형태는 <math>(2,2)</math>, <math>\operatorname{Frob}_p=9</math>
 +
:<math>
 +
\begin{array}{cccc}
 +
p & x^4-x^3+x^2-x+1 \bmod p & \text{cycle} & \text{Frob}_p \\
 +
\hline
 +
7 & x^4+6 x^3+x^2+6 x+1 & \{4\} & 7 \\
 +
11 & (x+3) (x+4) (x+5) (x+9) & \{1,1,1,1\} & 1 \\
 +
13 & x^4+12 x^3+x^2+12 x+1 & \{4\} & 3 \\
 +
17 & x^4+16 x^3+x^2+16 x+1 & \{4\} & 7 \\
 +
19 & \left(x^2+4 x+1\right) \left(x^2+14 x+1\right) & \{2,2\} & 9 \\
 +
23 & x^4+22 x^3+x^2+22 x+1 & \{4\} & 3 \\
 +
29 & \left(x^2+5 x+1\right) \left(x^2+23 x+1\right) & \{2,2\} & 9 \\
 +
31 & (x+2) (x+4) (x+8) (x+16) & \{1,1,1,1\} & 1 \\
 +
37 & x^4+36 x^3+x^2+36 x+1 & \{4\} & 7 \\
 +
41 & (x+10) (x+16) (x+18) (x+37) & \{1,1,1,1\} & 1 \\
 +
43 & x^4+42 x^3+x^2+42 x+1 & \{4\} & 3 \\
 +
47 & x^4+46 x^3+x^2+46 x+1 & \{4\} & 7 \\
 +
53 & x^4+52 x^3+x^2+52 x+1 & \{4\} & 3 \\
 +
59 & \left(x^2+25 x+1\right) \left(x^2+33 x+1\right) & \{2,2\} & 9 \\
 +
61 & (x+9) (x+20) (x+34) (x+58) & \{1,1,1,1\} & 1 \\
 +
67 & x^4+66 x^3+x^2+66 x+1 & \{4\} & 7 \\
 +
71 & (x+5) (x+25) (x+54) (x+57) & \{1,1,1,1\} & 1 \\
 +
73 & x^4+72 x^3+x^2+72 x+1 & \{4\} & 3 \\
 +
79 & \left(x^2+29 x+1\right) \left(x^2+49 x+1\right) & \{2,2\} & 9 \\
 +
83 & x^4+82 x^3+x^2+82 x+1 & \{4\} & 3
 +
\end{array}
 +
</math>
 +
* <math>p\geq 7</math>인 10000개의 소수에 대하여 순환 마디 구조의 빈도는 다음과 같다
 +
** <math>(4)</math>, 5023개, 대략 2/4
 +
** <math>(1, 1, 1, 1)</math>, 2485개, 대략 1/4
 +
** <math>(2, 2)</math>, 2492개, 대략 1/4
 +
* <math>p\geq 7</math>인 10000개의 소수에 대하여 각 프로베니우스 원소의 빈도는 다음과 같다
 +
** <math>\operatorname{Frob}_p=1</math>, 2485개, 대략 1/4
 +
** <math>\operatorname{Frob}_p=3</math>, 2515개, 대략 1/4
 +
** <math>\operatorname{Frob}_p=7</math>, 2508개, 대략 1/4
 +
** <math>\operatorname{Frob}_p=9</math>, 2492개, 대략 1/4
  
<h5>프로베니우스의 density 정리(1880)</h5>
 
  
* prime ideal과 cycle type의 관계
+
==밀도 정리를 통한 디리클레 정리의 유도==
 +
* [[등차수열의 소수분포에 관한 디리클레 정리]]
 +
;증명
 +
자연수 <math>n</math>에 대하여, <math>\zeta_n</math>는 primitive n-단위근이고 <math>K = \mathbb Q(\zeta_n)</math>라 하자.
 +
 
 +
<math>\wp \subset \mathcal{O}_K</math> 는 소수 <math>p</math> 를 나누는 unramified인 소 아이디얼이라 하자.
  
 
+
소수 <math>p</math>에 대한 프로베니우스 원소 <math>\operatorname{Frob}_p(\alpha)=\alpha ^p \pmod \wp</math> 를 만족시키는 <math>\sigma_p \in \text{Gal}(K/\mathbb Q)</math> 로 정의된다.
  
 
+
<math>p</math>의 분해는 프로베니우스 원소의 cycle 구조를 통해서 알 수 있다.
  
 
+
한편 적당한 <math>r\in \mathbb{Z}, s=0,1,\cdots, n-1</math>에 대하여, <math>p=rn+s</math>로 쓸 수 있다.
 +
<math>\operatorname{Frob}_p(\zeta)=\zeta ^p=\zeta^{rn+s}=\zeta^s</math> 이므로, <math>\operatorname{Frob}_p</math>는 <math>p</math>를 <math>n</math>으로 나눈 나머지에 의존한다.
  
<h5>체보타레프의 density 정리 (1922)</h5>
+
따라서 체보타레프 정리에 의해 디리클레 정리가 증명된다.  ■
  
* prime ideal과 conjugacy class의 관계<br>
+
   
*
 
** 프로베니우스의 정리보다 더 강력함
 
** There are cases where cycle types are same but the conjugacy classes are different
 
  
 
+
  
 
+
==메모==
 +
* http://mathoverflow.net/questions/136025/frobenius-density-theorem
 +
* http://www.mat.uniroma3.it/scuola_orientamento/alumni/laureati/pesiri/sintesi.pdf  40~41p
  
<h5>밀도 정리를 통한 디리클레 정리의 유도</h5>
+
  
<math>\zeta_n</math>을 primitive n-th 단위근이라 하자.
 
  
<math>\text{Gal}(K/F)</math>
 
  
<math>\mathbb Q \subset \mathbb Q(\zeta_n)</math> , <math>\wp</math> 는 unramified prime ideal over p 를 가정한다.
+
==역사==
  
이제 소수 p에 대한 아틴 심볼은  <math>\sigma_p(\alpha)=\alpha ^p \pmod \wp</math> 를 만족시키는 로 정의된다.
+
* 1880 프로베니우스의 밀도 정리
 +
* 1922 체보타레프의 밀도 정리
 +
* 1927 아틴 상호 법칙
 +
* [[수학사 연표]]
  
체보타레프 정리에 의해 p의 분해는 아틴 심볼의 cycle 구조를 통해서 알 수 있다.
+
  
한편 <math>\sigma_p(\zeta)=\zeta ^p=\zeta^{an+b}=\zeta^b</math> 이므로, 아틴심볼은 p를 n으로 나눈 나머지에 의존한다.
 
  
따라서 의해 디리클레 정리가 증명된다.
+
==수학용어번역==
 +
* conjugate class - 켤레류, 공액류
 +
* cycle decomposition - 순환치환 분할
 +
* {{학술용어집|url=conjugate}}
 +
** 켤레, 공액
 +
* {{학술용어집|url=conjugacy}}
 +
** 켤레변형, 공액연산자
 +
* {{학술용어집|url=cycle}}
 +
** 순환마디, 순환치환, 사이클
  
 
 
  
 
+
  
<h5>관련된 학부 과목과 미리 알고 있으면 좋은 것들</h5>
+
==관련된 항목들==
 +
* [[등차수열의 소수분포에 관한 디리클레 정리]]
 +
* [[정수론에서의 상호법칙 (reciprocity laws)]]
 +
* [[유한체에서 정수계수 다항식의 분해(코드)]]
 +
* [[사토-테이트 추측 (Sato–Tate conjecture)]]
  
 +
 +
===관련된 학부 과목===
 
* [[초등정수론]]
 
* [[초등정수론]]
 
* [[갈루아 이론]]
 
* [[갈루아 이론]]
  
 
+
  
 
+
===관련된 대학원 과목===
 +
* [[대수적수론]]
  
<h5>관련된 대학원 과목</h5>
+
  
* [[대수적수론]]
 
  
 
+
==사전 형태의 자료==
  
 
+
* http://en.wikipedia.org/wiki/Chebotarev's_density_theorem
 +
* http://en.wikipedia.org/wiki/Frobenius_element
  
<h5>관련된 다른 주제들</h5>
 
  
* [[등차수열의 소수분포에 관한 디리클레 정리]]
 
*  
 
  
 
 
  
<h5>표준적인 도서 및 추천도서</h5>
+
==관련도서==
  
* [http://www.springerlink.com/content/q24101/?p=d8bd978aaebc44bbb85ea3fca8b56fe9&pi=0 Field Arithmetic]<br>
+
* M.D. Fried, [http://www.springerlink.com/content/q24101/?p=d8bd978aaebc44bbb85ea3fca8b56fe9&pi=0 Field Arithmetic]
** M.D. Fried
 
 
** chapter 6. [http://www.springerlink.com/content/px3637176w5h5542/ The Chebotarev Density Theorem]
 
** chapter 6. [http://www.springerlink.com/content/px3637176w5h5542/ The Chebotarev Density Theorem]
* http://www.amazon.com/s/ref=nb_ss_gw?url=search-alias%3Dstripbooks&field-keywords=
 
  
 
 
  
 
+
==리뷰, 에세이, 강의노트==
 +
* [http://www.springerlink.com/content/b66l342427127596/ Frobenius and his Density theorem for primes] B. Sury, Springer India,  Volume 8, Number 12 / 2003년 12월
 +
** http://www.ias.ac.in/resonance/Dec2003/pdf/Dec2003p33-41.pdf
 +
* [http://websites.math.leidenuniv.nl/algebra/Lenstra-Chebotarev.pdf The Chebotarev Density Theorem] 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.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
  
<h5>위키링크</h5>
 
  
* [http://en.wikipedia.org/wiki/Chebotarev%27s_density_theorem http://en.wikipedia.org/wiki/Chebotarev's_density_theorem]
+
==관련논문==
*  http://en.wikipedia.org/wiki/Frobenius_element
+
* Jesse Thorner, Asif Zaman, An explicit bound for the least prime ideal in the Chebotarev density theorem, arXiv:1604.01750[math.NT], April 06 2016, http://arxiv.org/abs/1604.01750v1
* http://en.wikipedia.org/wiki/
+
* Lucchini, Andrea. “The Chebotarev Invariant of a Finite Group: A Conjecture of Kowalski and Zywina.” arXiv:1509.05859 [math], September 19, 2015. http://arxiv.org/abs/1509.05859.
 +
* Zaman, Asif. “Bounding the Least Prime Ideal in the Chebotarev Density Theorem.” arXiv:1508.00287 [math], August 2, 2015. http://arxiv.org/abs/1508.00287.
 +
* Kosters, Michiel. “A Short Proof of a Chebotarev Density Theorem for Function Fields.” arXiv:1404.6345 [math], April 25, 2014. http://arxiv.org/abs/1404.6345.
 +
* Kowalski, Emmanuel, and David Zywina. “The Chebotarev Invariant of a Finite Group.” arXiv:1008.4909 [math], August 29, 2010. http://arxiv.org/abs/1008.4909.
  
 
+
[[분류:정수론]]
  
<h5>참고할만한 자료</h5>
+
==메타데이터==
 
+
===위키데이터===
* [http://www.springerlink.com/content/b66l342427127596/ Frobenius and his Density theorem for primes]<br>
+
* ID :  [https://www.wikidata.org/wiki/Q21493235 Q21493235]
** B. Sury, Springer India,  Volume 8, Number 12 / 2003년 12월
+
===Spacy 패턴 목록===
** http://www.ias.ac.in/resonance/Dec2003/pdf/Dec2003p33-41.pdf
+
* [{'LEMMA': 'Chebotaryov'}]
* [http://websites.math.leidenuniv.nl/algebra/Lenstra-Chebotarev.pdf The Chebotarev Density Theorem]<br>
+
* [{'LEMMA': 'Чеботарёв'}]
** Hendrik Lenstra
 
* [http://www.math.leidenuniv.nl/%7Ehwl/papers/cheb.pdf Chebotarev and his density theorem]<br>
 
** 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
 

2021년 2월 17일 (수) 03:03 기준 최신판

개요

  • 수체에 대한 갈루아 체확장이 주어진 경우
  • 소 아이디얼에 대응되는 갈루아 군의 원소(프로베니우스 원소 혹은 아틴 부호)는 소 아이디얼의 갈루아 체확장에서의 분해 (또는 체확장을 주는 다항식 \(\bmod p\)의 분해)에 대한 정보를 담고 있음
  • 밀도 정리는 이러한 갈루아 군의 원소의 분포와 그 비율에 관한 정리
  • 정수론에서의 상호법칙 (reciprocity laws)과 깊은 관계


프로베니우스의 밀도 정리

  • 소 아이디얼에 대한 순환 마디 형태의 분포
  • \(f(x)\in\mathbb{Z}[x]\) : 갈루아 군이 \(G=\operatorname{Gal}(f)\)인, 차수가 \(n\)이고 최고차항이 1인 기약다항식
  • \(f\)의 서로 다른 해를 \(\alpha_1,\cdots, \alpha_n\)으로 두면, \(G\)는 치환군 \(S_n\)의 부분집합으로 볼 수 있다
  • 소수 \(p\)에 대하여, \(f(x) \pmod p\)의 인수분해로부터 \(n\)의 분할 \(\sigma_p=(n_1,n_2,\cdots,n_r)\)가 정의된다
정리 (프로베니우스)

주어진 \(n\)의 분할 \((n_1,n_2,\cdots,n_r)\)에 대하여, 집합 \(S=\{p|\sigma_p=(n_1,n_2,\cdots,n_r) \}\)의 밀도 \(\delta(S)\)가 존재하며, 이는 \(\delta(S)=|N|/|G|\)으로 주어진다. 여기서 \(N\)은 순환 마디 형태가 \((n_1,n_2,\cdots,n_r)\)인 \(G\subseteq S_n\)의 부분집합, 즉 \(N =\{\sigma \in G| \sigma\text{ has a cycle pattern } (n_1,n_2,\cdots,n_r)\}\)


  • 다항식 \(x^3-2\), \(G=S_3\)
  • \(p \equiv 1\bmod 3\)이면 순환 마디 형태는 \((1,1,1)\) 또는 \((3)\)
  • \(p \equiv 2\bmod 3\)이면 순환 마디 형태는 \((1,2)\)

\[ \begin{array}{cccc} p & p \bmod 3 & x^3-2 & \text{cycle} \\ \hline 5 & 2 & (x+2) \left(x^2+3 x+4\right) & \{1,2\} \\ 7 & 1 & x^3+5 & \{3\} \\ 11 & 2 & (x+4) \left(x^2+7 x+5\right) & \{1,2\} \\ 13 & 1 & x^3+11 & \{3\} \\ 17 & 2 & (x+9) \left(x^2+8 x+13\right) & \{1,2\} \\ 19 & 1 & x^3+17 & \{3\} \\ 23 & 2 & (x+7) \left(x^2+16 x+3\right) & \{1,2\} \\ 29 & 2 & (x+3) \left(x^2+26 x+9\right) & \{1,2\} \\ 31 & 1 & (x+11) (x+24) (x+27) & \{1,1,1\} \\ 37 & 1 & x^3+35 & \{3\} \\ 41 & 2 & (x+36) \left(x^2+5 x+25\right) & \{1,2\} \\ 43 & 1 & (x+9) (x+11) (x+23) & \{1,1,1\} \\ 47 & 2 & (x+26) \left(x^2+21 x+18\right) & \{1,2\} \\ 53 & 2 & (x+35) \left(x^2+18 x+6\right) & \{1,2\} \\ 59 & 2 & (x+21) \left(x^2+38 x+28\right) & \{1,2\} \\ 61 & 1 & x^3+59 & \{3\} \\ 67 & 1 & x^3+65 & \{3\} \\ 71 & 2 & (x+22) \left(x^2+49 x+58\right) & \{1,2\} \\ 73 & 1 & x^3+71 & \{3\} \\ 79 & 1 & x^3+77 & \{3\} \end{array} \]

  • \(p\geq 5\)인 10000개의 소수에 대하여 순환 마디 구조의 빈도는 다음과 같다
    • \((3)\), 3354개, 비율은 대략 \(2/6\)
    • \((1, 1, 1)\), 1635개, 비율은 대략 \(1/6\)
    • \((1, 2)\), 5011개, 비율은 대략 \(3/6\)


체보타레프의 밀도 정리

  • 소 아이디얼에 \(G\)의 켤레류를 대응시킴
    • 프로베니우스의 정리보다 더 강력함
    • 순환마디 형태가 같으나, 서로 다른 켤레류에 있는 갈루아 군의 원소가 존재함
  • \(f(x)\in\mathbb{Z}[x]\) : 갈루아 군이 G인 최고차항이 1인 기약다항식
  • 소수 \(p\)에 대하여, 프로베니우스 원소 \(\operatorname{Frob}_p\in G\)를 (up to conjugacy) 얻을 수 있으며, 이는 \(\operatorname{Frob}_p\in C\subseteq G\)를 만족하는 \(G\)의 켤레류 \(C\)를 정의함
정리 (체보타레프)

갈루아 군 \(G\)의 주어진 켤레류 \(C\)에 대하여, 집합 \(S=\{p|\operatorname{Frob}_p\in C \}\)의 밀도 \(\delta(S)\)가 존재하며, 이는 \(\delta(S)=|C|/|G|\)로 주어진다


  • 원분다항식 \(f=x^4-x^3+x^2-x+1\)의 primitive인 근을 \(\zeta\)로 두자
  • \(f\)의 근은, \(\alpha_1=\zeta^1,\alpha_2=\zeta^3,\alpha_3=\zeta^7,\alpha_4=\zeta^9\)
  • 갈루아 군 \(G\cong (\mathbb{Z}/10\mathbb{Z})^{\times}=\{1,3,7,9\}\)이고 \(a\in(\mathbb{Z}/10\mathbb{Z})^{\times}\)는 \(\zeta\mapsto \zeta^a\)로 작용
  • \(p \equiv 1\bmod 10\)이면 순환 마디 형태는 \((1,1,1,1)\), \(\operatorname{Frob}_p=1\)
  • \(p \equiv 3\bmod 10\)이면 순환 마디 형태는 \((4)\), \(\operatorname{Frob}_p=3\)
  • \(p \equiv 7\bmod 10\)이면 순환 마디 형태는 \((4)\), \(\operatorname{Frob}_p=7\)
  • \(p \equiv 9\bmod 10\)이면 순환 마디 형태는 \((2,2)\), \(\operatorname{Frob}_p=9\)

\[ \begin{array}{cccc} p & x^4-x^3+x^2-x+1 \bmod p & \text{cycle} & \text{Frob}_p \\ \hline 7 & x^4+6 x^3+x^2+6 x+1 & \{4\} & 7 \\ 11 & (x+3) (x+4) (x+5) (x+9) & \{1,1,1,1\} & 1 \\ 13 & x^4+12 x^3+x^2+12 x+1 & \{4\} & 3 \\ 17 & x^4+16 x^3+x^2+16 x+1 & \{4\} & 7 \\ 19 & \left(x^2+4 x+1\right) \left(x^2+14 x+1\right) & \{2,2\} & 9 \\ 23 & x^4+22 x^3+x^2+22 x+1 & \{4\} & 3 \\ 29 & \left(x^2+5 x+1\right) \left(x^2+23 x+1\right) & \{2,2\} & 9 \\ 31 & (x+2) (x+4) (x+8) (x+16) & \{1,1,1,1\} & 1 \\ 37 & x^4+36 x^3+x^2+36 x+1 & \{4\} & 7 \\ 41 & (x+10) (x+16) (x+18) (x+37) & \{1,1,1,1\} & 1 \\ 43 & x^4+42 x^3+x^2+42 x+1 & \{4\} & 3 \\ 47 & x^4+46 x^3+x^2+46 x+1 & \{4\} & 7 \\ 53 & x^4+52 x^3+x^2+52 x+1 & \{4\} & 3 \\ 59 & \left(x^2+25 x+1\right) \left(x^2+33 x+1\right) & \{2,2\} & 9 \\ 61 & (x+9) (x+20) (x+34) (x+58) & \{1,1,1,1\} & 1 \\ 67 & x^4+66 x^3+x^2+66 x+1 & \{4\} & 7 \\ 71 & (x+5) (x+25) (x+54) (x+57) & \{1,1,1,1\} & 1 \\ 73 & x^4+72 x^3+x^2+72 x+1 & \{4\} & 3 \\ 79 & \left(x^2+29 x+1\right) \left(x^2+49 x+1\right) & \{2,2\} & 9 \\ 83 & x^4+82 x^3+x^2+82 x+1 & \{4\} & 3 \end{array} \]

  • \(p\geq 7\)인 10000개의 소수에 대하여 순환 마디 구조의 빈도는 다음과 같다
    • \((4)\), 5023개, 대략 2/4
    • \((1, 1, 1, 1)\), 2485개, 대략 1/4
    • \((2, 2)\), 2492개, 대략 1/4
  • \(p\geq 7\)인 10000개의 소수에 대하여 각 프로베니우스 원소의 빈도는 다음과 같다
    • \(\operatorname{Frob}_p=1\), 2485개, 대략 1/4
    • \(\operatorname{Frob}_p=3\), 2515개, 대략 1/4
    • \(\operatorname{Frob}_p=7\), 2508개, 대략 1/4
    • \(\operatorname{Frob}_p=9\), 2492개, 대략 1/4


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

증명

자연수 \(n\)에 대하여, \(\zeta_n\)는 primitive n-단위근이고 \(K = \mathbb Q(\zeta_n)\)라 하자.

\(\wp \subset \mathcal{O}_K\) 는 소수 \(p\) 를 나누는 unramified인 소 아이디얼이라 하자.

소수 \(p\)에 대한 프로베니우스 원소 \(\operatorname{Frob}_p(\alpha)=\alpha ^p \pmod \wp\) 를 만족시키는 \(\sigma_p \in \text{Gal}(K/\mathbb Q)\) 로 정의된다.

\(p\)의 분해는 프로베니우스 원소의 cycle 구조를 통해서 알 수 있다.

한편 적당한 \(r\in \mathbb{Z}, s=0,1,\cdots, n-1\)에 대하여, \(p=rn+s\)로 쓸 수 있다. \(\operatorname{Frob}_p(\zeta)=\zeta ^p=\zeta^{rn+s}=\zeta^s\) 이므로, \(\operatorname{Frob}_p\)는 \(p\)를 \(n\)으로 나눈 나머지에 의존한다.

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



메모



역사

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



수학용어번역

  • conjugate class - 켤레류, 공액류
  • cycle decomposition - 순환치환 분할
  • conjugate - 대한수학회 수학용어집
    • 켤레, 공액
  • conjugacy - 대한수학회 수학용어집
    • 켤레변형, 공액연산자
  • cycle - 대한수학회 수학용어집
    • 순환마디, 순환치환, 사이클



관련된 항목들


관련된 학부 과목


관련된 대학원 과목



사전 형태의 자료



관련도서


리뷰, 에세이, 강의노트


관련논문

  • Jesse Thorner, Asif Zaman, An explicit bound for the least prime ideal in the Chebotarev density theorem, arXiv:1604.01750[math.NT], April 06 2016, http://arxiv.org/abs/1604.01750v1
  • Lucchini, Andrea. “The Chebotarev Invariant of a Finite Group: A Conjecture of Kowalski and Zywina.” arXiv:1509.05859 [math], September 19, 2015. http://arxiv.org/abs/1509.05859.
  • Zaman, Asif. “Bounding the Least Prime Ideal in the Chebotarev Density Theorem.” arXiv:1508.00287 [math], August 2, 2015. http://arxiv.org/abs/1508.00287.
  • Kosters, Michiel. “A Short Proof of a Chebotarev Density Theorem for Function Fields.” arXiv:1404.6345 [math], April 25, 2014. http://arxiv.org/abs/1404.6345.
  • Kowalski, Emmanuel, and David Zywina. “The Chebotarev Invariant of a Finite Group.” arXiv:1008.4909 [math], August 29, 2010. http://arxiv.org/abs/1008.4909.

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LEMMA': 'Chebotaryov'}]
  • [{'LEMMA': 'Чеботарёв'}]