"원분체 (cyclotomic field)"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) 잔글 (찾아 바꾸기 – “<h5>” 문자열을 “==” 문자열로) |
|||
| 18번째 줄: | 18번째 줄: | ||
| − | + | ==기호</h5> | |
* <math>\zeta_n</math>는 원시 n-단위근 | * <math>\zeta_n</math>는 원시 n-단위근 | ||
| 27번째 줄: | 27번째 줄: | ||
| − | + | ==갈루아군</h5> | |
(정리) | (정리) | ||
| 49번째 줄: | 49번째 줄: | ||
| − | + | ==원분체의 데데킨트 제타함수</h5> | |
* <math>K = \mathbb Q(\zeta_n)</math>에 대한 [[데데킨트 제타함수]]<br><math>\zeta_{K}(s)=\sum_{\mathfrak{a} \text{:ideals}}\frac{1}{N(\mathfrak{a})^s}=\prod_{\mathfrak{p} \text{:prime ideals}} \frac{1}{1-N(\mathfrak{p})^{-s}}</math><br> | * <math>K = \mathbb Q(\zeta_n)</math>에 대한 [[데데킨트 제타함수]]<br><math>\zeta_{K}(s)=\sum_{\mathfrak{a} \text{:ideals}}\frac{1}{N(\mathfrak{a})^s}=\prod_{\mathfrak{p} \text{:prime ideals}} \frac{1}{1-N(\mathfrak{p})^{-s}}</math><br> | ||
| 59번째 줄: | 59번째 줄: | ||
| − | + | ==디리클레 class number 공식과의 관계</h5> | |
<math>\zeta_{K}(s)=\sum_{\mathfrak{a} \text{:ideals}}\frac{1}{N(\mathfrak{a})^s}=\prod_{\mathfrak{p} \text{:prime ideals}} \frac{1}{1-N(\mathfrak{p})^{-s}}</math> | <math>\zeta_{K}(s)=\sum_{\mathfrak{a} \text{:ideals}}\frac{1}{N(\mathfrak{a})^s}=\prod_{\mathfrak{p} \text{:prime ideals}} \frac{1}{1-N(\mathfrak{p})^{-s}}</math> | ||
| 67번째 줄: | 67번째 줄: | ||
| − | + | ==class number</h5> | |
* <math>K = \mathbb Q(\zeta_n)</math> 의 class number <math>h_K</math> | * <math>K = \mathbb Q(\zeta_n)</math> 의 class number <math>h_K</math> | ||
| 78번째 줄: | 78번째 줄: | ||
| − | + | ==메모</h5> | |
* Barry Mazur [http://www.ams.org/journals/bull/2011-48-02/S0273-0979-2011-01326-X/home.html How can we construct abelian Galois extensions of basic number fields?] Bull. Amer. Math. Soc. 48 (2011), 155-209. | * Barry Mazur [http://www.ams.org/journals/bull/2011-48-02/S0273-0979-2011-01326-X/home.html How can we construct abelian Galois extensions of basic number fields?] Bull. Amer. Math. Soc. 48 (2011), 155-209. | ||
| 85번째 줄: | 85번째 줄: | ||
| − | + | ==역사</h5> | |
* [[수학사연표 (역사)|수학사연표]] | * [[수학사연표 (역사)|수학사연표]] | ||
| 93번째 줄: | 93번째 줄: | ||
| − | + | ==관련된 항목들</h5> | |
* [[원분다항식(cyclotomic polynomial)]] | * [[원분다항식(cyclotomic polynomial)]] | ||
| 118번째 줄: | 118번째 줄: | ||
| − | + | ==사전 형태의 자료</h5> | |
* [http://ko.wikipedia.org/wiki/%EC%9B%90%EB%B6%84%EC%B2%B4 http://ko.wikipedia.org/wiki/원분체] | * [http://ko.wikipedia.org/wiki/%EC%9B%90%EB%B6%84%EC%B2%B4 http://ko.wikipedia.org/wiki/원분체] | ||
| 132번째 줄: | 132번째 줄: | ||
| − | + | ==관련논문</h5> | |
* [http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.dmj/1077232812 Explicit elliptic units, I]<br> | * [http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.dmj/1077232812 Explicit elliptic units, I]<br> | ||
2012년 11월 1일 (목) 02:49 판
이 항목의 스프링노트 원문주소
개요
- 크로네커-베버 정리
- cyclotomic units
- class field theory
- Iwasawa theory
==기호
- \(\zeta_n\)는 원시 n-단위근
- \(K = \mathbb Q(\zeta_n)\)
==갈루아군
(정리)
\(G= \text{Gal}(K/\mathbb Q) \simeq (\mathbb{Z}/n\mathbb{Z})^\times\)
(증명)
\(\wp \subset K\) 는 소수 p 를 나누는 unramified prime ideal이라 하자.
소수 p에 대한 아틴 심볼은 \(\text{Gal}(K/\mathbb Q)\)의 원소로, \(\sigma_p(\alpha)=\alpha ^p \pmod \wp\) 를 만족시킨다.
\(\sigma_p(\zeta)=\zeta ^p=\zeta^{an+b}=\zeta^b\) 이므로, 아틴심볼은 p를 n으로 나눈 나머지에 의존한다. ■
==원분체의 데데킨트 제타함수
- \(K = \mathbb Q(\zeta_n)\)에 대한 데데킨트 제타함수
\(\zeta_{K}(s)=\sum_{\mathfrak{a} \text{:ideals}}\frac{1}{N(\mathfrak{a})^s}=\prod_{\mathfrak{p} \text{:prime ideals}} \frac{1}{1-N(\mathfrak{p})^{-s}}\) - 제타함수의 분해
\(\zeta_K(s)=\prod_{\chi\in \tilde{G}}L(s,\chi)\) 로부터 등차수열의 소수분포에 관한 디리클레 정리 를 얻을 수 있다 - 자세한 내용은 원분체의 데데킨트 제타함수 항목 참조
==디리클레 class number 공식과의 관계
\(\zeta_{K}(s)=\sum_{\mathfrak{a} \text{:ideals}}\frac{1}{N(\mathfrak{a})^s}=\prod_{\mathfrak{p} \text{:prime ideals}} \frac{1}{1-N(\mathfrak{p})^{-s}}\)
==class number
- \(K = \mathbb Q(\zeta_n)\) 의 class number \(h_K\)
- \(K^{+} :=\mathbb Q(\zeta_n)^{+}=K\cap \mathbb{R}\)
- \(h_K=h_K^{+}h_K^{-}\)
- \(h_K^{-}\)를 relative class number라 한다
==메모
- Barry Mazur How can we construct abelian Galois extensions of basic number fields? Bull. Amer. Math. Soc. 48 (2011), 155-209.
- http://arxiv.org/abs/1202.5777
==역사
==관련된 항목들
- 원분다항식(cyclotomic polynomial)
- 이차 수체(quadratic number fields) 의 정수론
- 가우스와 정17각형의 작도
- 데데킨트 제타함수
- 정규소수 (regular prime)
- 베르누이 다항식
- 로바체프스키와 클라우센 함수
수학용어번역
==사전 형태의 자료
- http://ko.wikipedia.org/wiki/원분체
- http://en.wikipedia.org/wiki/cyclotomic_field
- http://www.encyclopediaofmath.org/index.php/Cyclotomic_field
- http://www.wolframalpha.com/input/?i=cyclotomic_field
- NIST Digital Library of Mathematical Functions
- The On-Line Encyclopedia of Integer Sequences
==관련논문
- Explicit elliptic units, I
- Farshid Hajir and Fernando Rodriguez Villegas, Duke Math. J. Volume 90, Number 3 (1997), 495-521.
- http://www.jstor.org/action/doBasicSearch?Query=
관련도서
- Introduction to Cyclotomic Fields
- Lawrence C. Washington, Graduate Texts in Mathematics, 83. Springer-Verlag, New York, 1982
- Lawrence C. Washington, Graduate Texts in Mathematics, 83. Springer-Verlag, New York, 1982