프로베니우스와 체보타레프 밀도(density) 정리

개요

수체에 대한 갈루아 체확장이 주어진 경우
소 아이디얼에 대응되는 갈루아 군의 원소(프로베니우스 원소 혹은 아틴 부호)는 소 아이디얼의 갈루아 체확장에서의 분해 (또는 체확장을 주는 다항식 \(\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 - 대한수학회 수학용어집
- 순환마디, 순환치환, 사이클

메타데이터

위키데이터

ID : Q21493235

Spacy 패턴 목록

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

프로베니우스와 체보타레프 밀도(density) 정리

목차

개요

프로베니우스의 밀도 정리

예

체보타레프의 밀도 정리

예

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

메모

역사

수학용어번역

관련된 항목들

관련된 학부 과목

관련된 대학원 과목

사전 형태의 자료

관련도서

리뷰, 에세이, 강의노트

관련논문

메타데이터

위키데이터

Spacy 패턴 목록

둘러보기 메뉴

검색