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

수학노트
둘러보기로 가기 검색하러 가기
11번째 줄: 11번째 줄:
 
* <math>f(x)\in\mathbb{Z}[x]</math> : 갈루아 군이 $G=\operatorname{Gal}(f)$인, 차수가 $n$이고 최고차항이 1인 기약다항식
 
* <math>f(x)\in\mathbb{Z}[x]</math> : 갈루아 군이 $G=\operatorname{Gal}(f)$인, 차수가 $n$이고 최고차항이 1인 기약다항식
 
* $f$의 서로 다른 해를 $\alpha_1,\cdots, \alpha_n$으로 두면, $G$는 치환군 $S_n$의 부분집합으로 볼 수 있다
 
* $f$의 서로 다른 해를 $\alpha_1,\cdots, \alpha_n$으로 두면, $G$는 치환군 $S_n$의 부분집합으로 볼 수 있다
−
* 소수 $p$에 대하여, $f(x) \pmod p$의 인수분해로부터 $n$의 분할 <math>n_1,n_2,\cdots,n_r</math>가 정의된다
+
* 소수 $p$에 대하여, $f(x) \pmod p$의 인수분해로부터 $n$의 분할 <math>(n_1,n_2,\cdots,n_r)</math>가 정의된다
  
  
 
;정리
 
;정리
−
주어진 $n$의 분할 <math>n_1,n_2,\cdots,n_r</math>에 대하여, $f(x) \pmod p$가 같은 분해 형태를 갖는 소수 $p$의 집합 $S$의 밀도 $\delta(S)$가 존재하며, 이는 $\delta(S)=|N|/|G|$으로 주어진다. 여기서 $N$은 순환 마디 형태가 <math>n_1,n_2,\cdots,n_r</math>인 $G$의 부분집합, 즉 <math>N =\{a \in G : \sigma\text{ has a cycle pattern } n_1,n_2,\cdots,n_r\}</math>,
+
주어진 $n$의 분할 <math>(n_1,n_2,\cdots,n_r)</math>에 대하여, $f(x) \pmod p$가 같은 분해 형태를 갖는 소수 $p$의 집합 $S$의 밀도 $\delta(S)$가 존재하며, 이는 $\delta(S)=|N|/|G|$으로 주어진다. 여기서 $N$은 순환 마디 형태가 <math>(n_1,n_2,\cdots,n_r)</math>인 $G\subseteq S_n$의 부분집합, 즉 <math>N =\{a \in G : \sigma\text{ has a cycle pattern } n_1,n_2,\cdots,n_r\}</math>,
 +
 
 +
===예===
 +
* 다항식 $x^4-x^3+x^2-x+1$
 +
* $p \equiv 1\bmod 5$이면 순환 마디 형태는 $(1,1,1,1)$
 +
* $p \equiv 2\bmod 5$이면 순환 마디 형태는 $(4)$
 +
* $p \equiv 3\bmod 5$이면 순환 마디 형태는 $(4)$
 +
* $p \equiv 4\bmod 5$이면 순환 마디 형태는 $(2,2)$
 +
$$
 +
\begin{array}{cccc}
 +
p & p \bmod 5 & x^4-x^3+x^2-x+1 \bmod 5 & \text{cycle} \\
 +
\hline
 +
2 & 2 & x^4+x^3+x^2+x+1 & \{4\} \\
 +
3 & 3 & x^4+2 x^3+x^2+2 x+1 & \{4\} \\
 +
5 & 0 & (x+1)^4 & \{1,1,1,1\} \\
 +
7 & 2 & x^4+6 x^3+x^2+6 x+1 & \{4\} \\
 +
11 & 1 & (x+3) (x+4) (x+5) (x+9) & \{1,1,1,1\} \\
 +
13 & 3 & x^4+12 x^3+x^2+12 x+1 & \{4\} \\
 +
17 & 2 & x^4+16 x^3+x^2+16 x+1 & \{4\} \\
 +
19 & 4 & \left(x^2+4 x+1\right) \left(x^2+14 x+1\right) & \{2,2\} \\
 +
23 & 3 & x^4+22 x^3+x^2+22 x+1 & \{4\} \\
 +
29 & 4 & \left(x^2+5 x+1\right) \left(x^2+23 x+1\right) & \{2,2\} \\
 +
31 & 1 & (x+2) (x+4) (x+8) (x+16) & \{1,1,1,1\} \\
 +
37 & 2 & x^4+36 x^3+x^2+36 x+1 & \{4\} \\
 +
41 & 1 & (x+10) (x+16) (x+18) (x+37) & \{1,1,1,1\} \\
 +
43 & 3 & x^4+42 x^3+x^2+42 x+1 & \{4\} \\
 +
47 & 2 & x^4+46 x^3+x^2+46 x+1 & \{4\} \\
 +
53 & 3 & x^4+52 x^3+x^2+52 x+1 & \{4\} \\
 +
59 & 4 & \left(x^2+25 x+1\right) \left(x^2+33 x+1\right) & \{2,2\} \\
 +
61 & 1 & (x+9) (x+20) (x+34) (x+58) & \{1,1,1,1\} \\
 +
67 & 2 & x^4+66 x^3+x^2+66 x+1 & \{4\} \\
 +
71 & 1 & (x+5) (x+25) (x+54) (x+57) & \{1,1,1,1\}
 +
\end{array}
 +
$$
 +
* $p\geq 7$인 10000개의 소수에 대하여 이를 계산하면, 다음을 얻는다
 +
** $(4)$, 5023개
 +
** $(1, 1, 1, 1)$, 2485개
 +
** $(2, 2)$, 2492개
 +
 +
===예===
 +
* 다항식 $x^3-2$
 +
* $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개
 +
** $(1, 1, 1)$, 1635개
 +
** $(1, 2)$, 5011개
  
  

2014년 1월 16일 (목) 17:50 판

개요

  • 밀도 정리란 소 아이디얼 (또는 주어진 다항식 $\bmod p$) 의 분해와 프로베니우스 원소(혹은 아틴 심볼)의 cycle 구조와의 관계와 그 비율에 관한 정리.
  • 갈루아 체확장 $L/K$



프로베니우스의 밀도 정리

  • 소 아이디얼과 순환 마디 형태의 관계
  • \(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$의 분할 \((n_1,n_2,\cdots,n_r)\)가 정의된다


정리

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

예

  • 다항식 $x^4-x^3+x^2-x+1$
  • $p \equiv 1\bmod 5$이면 순환 마디 형태는 $(1,1,1,1)$
  • $p \equiv 2\bmod 5$이면 순환 마디 형태는 $(4)$
  • $p \equiv 3\bmod 5$이면 순환 마디 형태는 $(4)$
  • $p \equiv 4\bmod 5$이면 순환 마디 형태는 $(2,2)$

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

  • $p\geq 7$인 10000개의 소수에 대하여 이를 계산하면, 다음을 얻는다
    • $(4)$, 5023개
    • $(1, 1, 1, 1)$, 2485개
    • $(2, 2)$, 2492개

예

  • 다항식 $x^3-2$
  • $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개
    • $(1, 1, 1)$, 1635개
    • $(1, 2)$, 5011개


체보타레프의 밀도 정리

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


정리

갈루아 군 $G$의 주어진 켤레류 $C$에 대하여, $\sigma_p$가 $C$의 원소가 되는 소수 $p$의 집합 $S$의 밀도 $\delta(S)$가 존재하며, 이는 $\delta(S)=|C|/|G|$로 주어진다


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

증명

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

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

소수 $p$에 대한 아틴 심볼은 \(\sigma_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$로 쓸 수 있다. \(\sigma_p(\zeta)=\zeta ^p=\zeta^{rn+s}=\zeta^s\) 이므로, 아틴심볼은 $p$를 $n$으로 나눈 나머지에 의존한다.

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



메모



역사

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



수학용어번역

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



관련된 항목들


관련된 학부 과목


관련된 대학원 과목



사전 형태의 자료



관련도서



리뷰, 에세이, 강의노트

원본 주소 "https://wiki.mathnt.net/index.php?title=프로베니우스와_체보타레프_밀도(density)_정리&oldid=29077"