"프로베니우스 원소"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
|||
| 1번째 줄: | 1번째 줄: | ||
| − | |||
| − | + | ==개요== | |
| − | |||
| − | |||
| − | |||
| − | |||
* 정수계수 다항식이 mod p 로 어떻게 분해되는지에 대한 정보를 담고 있음 | * 정수계수 다항식이 mod p 로 어떻게 분해되는지에 대한 정보를 담고 있음 | ||
* class field theory 에서 아틴 사상을 정의하는데 사용 | * class field theory 에서 아틴 사상을 정의하는데 사용 | ||
| − | + | ||
| − | + | ||
| − | + | ==정의== | |
* K : 수체 | * K : 수체 | ||
| 20번째 줄: | 15번째 줄: | ||
* p : unramified prime | * p : unramified prime | ||
* <math>\mathfrak{p}\mid p</math> | * <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> | + | * <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> | * 성질<br> | ||
| − | ** <math>\operatorname{Frob}_{\sigma\mathfrak{p}} = \sigma\operatorname{Frob}_{\mathfrak{p}}\sigma^{-1}</math><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> 에서의 conjugacy class를 정의<br> | ||
** <math>\operatorname{Gal}(K/\mathbb{Q})</math>가 아벨군인 경우, <math>\operatorname{Frob}_\mathfrak{p}</math> 는 <math>\operatorname{Gal}(K/\mathbb{Q})</math>의 원소 <math>\sigma_{p}=\operatorname{Frob}_\mathfrak{p}</math> 를 정의함<br> | ** <math>\operatorname{Gal}(K/\mathbb{Q})</math>가 아벨군인 경우, <math>\operatorname{Frob}_\mathfrak{p}</math> 는 <math>\operatorname{Gal}(K/\mathbb{Q})</math>의 원소 <math>\sigma_{p}=\operatorname{Frob}_\mathfrak{p}</math> 를 정의함<br> | ||
| − | + | ||
| − | + | ||
| − | + | ==원분체에서의 프로베니우스 원소== | |
* <math>\zeta_n</math>는 primitive n-단위근이고 <math>K = \mathbb Q(\zeta_n)</math>라 하자. | * <math>\zeta_n</math>는 primitive n-단위근이고 <math>K = \mathbb Q(\zeta_n)</math>라 하자. | ||
| − | * <math>p\nmid n</math> 이면, p는 unramified | + | * <math>p \nmid n</math> 이면, p는 unramified |
* <math>\sigma_p(\zeta)=\zeta ^p</math> | * <math>\sigma_p(\zeta)=\zeta ^p</math> | ||
* [[프로베니우스와 체보타레프 밀도(density) 정리]] | * [[프로베니우스와 체보타레프 밀도(density) 정리]] | ||
| − | + | ||
| − | + | ||
| − | + | ==이차체확장에서의 프로베니우스 원소== | |
* <math>K = \mathbb Q(\sqrt{d})</math> | * <math>K = \mathbb Q(\sqrt{d})</math> | ||
| 47번째 줄: | 42번째 줄: | ||
* <math>\operatorname{Gal}(K/\mathbb{Q})=\{1,-1\}</math> 로 두면, <math>\sigma_{p}=\left(\tfrac{d}{p}\right)</math> | * <math>\operatorname{Gal}(K/\mathbb{Q})=\{1,-1\}</math> 로 두면, <math>\sigma_{p}=\left(\tfrac{d}{p}\right)</math> | ||
| − | + | ||
| − | + | ||
| − | + | ==역사== | |
| − | + | ||
* http://www.google.com/search?hl=en&tbs=tl:1&q= | * http://www.google.com/search?hl=en&tbs=tl:1&q= | ||
* [[수학사연표 (역사)|수학사연표]] | * [[수학사연표 (역사)|수학사연표]] | ||
| − | + | ||
| − | |||
| − | |||
| − | + | ||
| + | ==메모== | ||
| + | * Lefschetz fixed point theorem | ||
| + | ** http://en.wikipedia.org/wiki/Lefschetz_fixed-point_theorem | ||
* http://modular.math.washington.edu/books/ant/ant/node61.html | * http://modular.math.washington.edu/books/ant/ant/node61.html | ||
* Math Overflow http://mathoverflow.net/search?q= | * Math Overflow http://mathoverflow.net/search?q= | ||
| − | + | ||
| − | |||
| − | |||
| − | + | ||
| + | ==관련된 항목들== | ||
2012년 9월 24일 (월) 05:20 판
개요
- 정수계수 다항식이 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})\)의 원소 \(\sigma_{p}=\operatorname{Frob}_\mathfrak{p}\) 를 정의함
- \(\operatorname{Frob}_{\sigma\mathfrak{p}} = \sigma\operatorname{Frob}_ {\mathfrak{p}}\sigma^{-1}\)
원분체에서의 프로베니우스 원소
- \(\zeta_n\)는 primitive n-단위근이고 \(K = \mathbb Q(\zeta_n)\)라 하자.
- \(p \nmid n\) 이면, p는 unramified
- \(\sigma_p(\zeta)=\zeta ^p\)
- 프로베니우스와 체보타레프 밀도(density) 정리
이차체확장에서의 프로베니우스 원소
- \(K = \mathbb Q(\sqrt{d})\)
- p는 unramified
- \(\operatorname{Gal}(K/\mathbb{Q})=\{1,-1\}\) 로 두면, \(\sigma_{p}=\left(\tfrac{d}{p}\right)\)
역사
메모
- Lefschetz fixed point theorem
- http://modular.math.washington.edu/books/ant/ant/node61.html
- Math Overflow http://mathoverflow.net/search?q=
관련된 항목들
수학용어번역
- 단어사전
- 발음사전 http://www.forvo.com/search/
- 대한수학회 수학 학술 용어집
- 한국통계학회 통계학 용어 온라인 대조표
- 한국물리학회 물리학 용어집 검색기
- 남·북한수학용어비교
- 대한수학회 수학용어한글화 게시판
매스매티카 파일 및 계산 리소스
- http://www.wolframalpha.com/input/?i=
- http://functions.wolfram.com/
- NIST Digital Library of Mathematical Functions
- Abramowitz and Stegun Handbook of mathematical functions
- The On-Line Encyclopedia of Integer Sequences
- Numbers, constants and computation
- 매스매티카 파일 목록
사전 형태의 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/
- The Online Encyclopaedia of Mathematics
- NIST Digital Library of Mathematical Functions
- The World of Mathematical Equations
리뷰논문, 에세이, 강의노트
관련논문