"프로베니우스 원소"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
16번째 줄: 16번째 줄:
 
<h5>정의</h5>
 
<h5>정의</h5>
  
−
K : 수체
+
* K : 수체
 +
* K/Q : 갈루아 체확장
 +
* p : unramified prime
 +
* <math>\mathfrak{p}\mid p</math>
 +
* <math>\operatorname{Frob}_\mathfrak{p}(a)\equiv a^p\pmod{\mathfrak{p}}</math> 를 만족하는 유일한 <math>\operatorname{Frob}_\mathfrak{p}\in \operatorname{Gal}(k_{\mathfrak{p}}/\mathbf{F}_p)</math> 가 존재한다<br>
 +
*  성질<br>
 +
** <math>\operatorname{Frob}_{\sigma\mathfrak{p}} = \sigma\operatorname{Frob}_{\mathfrak{p}}\sigma^{-1}</math><br>
 +
** <math>\operatorname{Gal}(K/\mathbb{Q})</math> 에서의 conjugacy class를 정의<br>
 +
** <math>\operatorname{Gal}(K/\mathbb{Q})</math>가 아벨군인 경우, <math>\operatorname{Frob}_\mathfrak{p}</math> 는 <math>\operatorname{Gal}(K/\mathbb{Q})</math>의 원소<br>
  
−
K/Q : 갈루아 체확장
+
 
 +
 
 +
 
  
−
p : unramified prime
+
<h5>원분체에서의 프로베니우스 원소</h5>
  
−
<math>\mathfrak{p}\mid p</math>
+
* <math>\zeta_n</math>는 primitive n-단위근이고 <math>K = \mathbb Q(\zeta_n)</math>라 하자.
 +
* <math>p\nmid n</math> 이면, p는 unramified
 +
* <math>\sigma_p(\zeta)=\zeta ^p</math>
 +
* [[프로베니우스와 체보타레프 밀도(density) 정리]]
  
−
<math>\operatorname{Frob}_\mathfrak{p}(a)\equiv a^p\pmod{\mathfrak{p}}</math> 를 만족하는 유일한 <math>\operatorname{Frob}_\mathfrak{p}\in \operatorname{Gal}(k_{\mathfrak{p}}/\mathbf{F}_p)</math> 가 존재한다
+
 
  
−
성질
+
 
  
−
<math>\operatorname{Frob}_{\sigma\mathfrak{p}} = \sigma\operatorname{Frob}_{\mathfrak{p}}\sigma^{-1}</math>
+
<h5>이차체확장에서의 프로베니우스 원소</h5>
  
−
 
+
* <math>K = \mathbb Q(\sqrt{d})</math>
 +
* p
  
 
 
 
 

2012년 7월 18일 (수) 20:35 판

이 항목의 수학노트 원문주소

 

 

개요
  • 정수계수 다항식이 mod p 로 어떻게 분해되는지에 대한 정보를 담고 있음
  • class field theory 에서 아틴 사상을 정의하는데 사용

 

 

정의
  • K : 수체
  • K/Q : 갈루아 체확장
  • p : unramified prime
  • \(\mathfrak{p}\mid p\)
  • \(\operatorname{Frob}_\mathfrak{p}(a)\equiv a^p\pmod{\mathfrak{p}}\) 를 만족하는 유일한 \(\operatorname{Frob}_\mathfrak{p}\in \operatorname{Gal}(k_{\mathfrak{p}}/\mathbf{F}_p)\) 가 존재한다
  • 성질
    • \(\operatorname{Frob}_{\sigma\mathfrak{p}} = \sigma\operatorname{Frob}_{\mathfrak{p}}\sigma^{-1}\)
    • \(\operatorname{Gal}(K/\mathbb{Q})\) 에서의 conjugacy class를 정의
    • \(\operatorname{Gal}(K/\mathbb{Q})\)가 아벨군인 경우, \(\operatorname{Frob}_\mathfrak{p}\) 는 \(\operatorname{Gal}(K/\mathbb{Q})\)의 원소

 

 

원분체에서의 프로베니우스 원소

 

 

이차체확장에서의 프로베니우스 원소
  • \(K = \mathbb Q(\sqrt{d})\)
  • p

 

 

 

 

역사

 

 

 

메모

 

 

관련된 항목들

 

 

수학용어번역

 

 

매스매티카 파일 및 계산 리소스

 

 

사전 형태의 자료

 

 

리뷰논문, 에세이, 강의노트

 

 

 

관련논문

 

 

관련도서
원본 주소 "https://wiki.mathnt.net/index.php?title=프로베니우스_원소&oldid=21704"