"원분체 (cyclotomic field)"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
Pythagoras0 (토론 | 기여) |
||
| (같은 사용자의 중간 판 11개는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==개요== | ==개요== | ||
| 14번째 줄: | 6번째 줄: | ||
* Iwasawa theory | * Iwasawa theory | ||
| − | + | ||
| − | |||
| − | |||
==기호== | ==기호== | ||
| 23번째 줄: | 13번째 줄: | ||
* <math>K = \mathbb Q(\zeta_n)</math> | * <math>K = \mathbb Q(\zeta_n)</math> | ||
| − | + | ||
| − | |||
| − | |||
==갈루아군== | ==갈루아군== | ||
| − | + | ;정리 | |
| − | |||
<math>G= \text{Gal}(K/\mathbb Q) \simeq (\mathbb{Z}/n\mathbb{Z})^\times</math> | <math>G= \text{Gal}(K/\mathbb Q) \simeq (\mathbb{Z}/n\mathbb{Z})^\times</math> | ||
| + | ;증명 | ||
| − | + | <math>\wp \subset K</math> 는 소수 p 를 나누는 unramified prime ideal이라 하자. | |
| − | ( | + | 소수 p에 대한 아틴 심볼은 <math>\text{Gal}(K/\mathbb Q)</math>의 원소로, <math>\sigma_p(\alpha)=\alpha ^p \pmod \wp</math> 를 만족시킨다. |
| − | + | <math>\sigma_p(\zeta)=\zeta ^p=\zeta^{an+b}=\zeta^b</math> 이므로, 아틴심볼은 p를 n으로 나눈 나머지에 의존한다. ■ | |
| − | |||
| − | |||
| − | |||
| − | <math>\sigma_p(\zeta)=\zeta ^p=\zeta^{an+b}=\zeta^b</math> | ||
* [[유한생성 아벨군의 기본정리]] | * [[유한생성 아벨군의 기본정리]] | ||
| − | + | ||
| − | + | ||
==원분체의 데데킨트 제타함수== | ==원분체의 데데킨트 제타함수== | ||
| − | * <math>K = \mathbb Q(\zeta_n)</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 | + | * <math>K = \mathbb Q(\zeta_n)</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> |
| + | * 제타함수의 분해:<math>\zeta_K(s)=\prod_{\chi\in \tilde{G}}L(s,\chi)</math> | ||
| + | * 이로부터 [[등차수열의 소수분포에 관한 디리클레 정리]] 를 얻을 수 있다 | ||
* 자세한 내용은 [[원분체의 데데킨트 제타함수]] 항목 참조 | * 자세한 내용은 [[원분체의 데데킨트 제타함수]] 항목 참조 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | ==유수(class number)== | |
| + | * [[원분체의 유수]] 항목 참조 | ||
| − | |||
==메모== | ==메모== | ||
| − | |||
* 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. | ||
| − | |||
| − | + | ||
==역사== | ==역사== | ||
| 89번째 줄: | 55번째 줄: | ||
* [[수학사 연표]] | * [[수학사 연표]] | ||
| − | + | ||
| − | + | ||
==관련된 항목들== | ==관련된 항목들== | ||
| − | |||
* [[원분다항식(cyclotomic polynomial)]] | * [[원분다항식(cyclotomic polynomial)]] | ||
* [[이차 수체(quadratic number fields) 의 정수론]] | * [[이차 수체(quadratic number fields) 의 정수론]] | ||
| 103번째 줄: | 68번째 줄: | ||
* [[로바체프스키 함수|로바체프스키와 클라우센 함수]] | * [[로바체프스키 함수|로바체프스키와 클라우센 함수]] | ||
| − | + | ||
| − | + | ==매스매티카 파일 및 계산 리소스== | |
| − | + | * https://docs.google.com/file/d/0B8XXo8Tve1cxME1PNGVkOEtsRmc/edit | |
| + | |||
==수학용어번역== | ==수학용어번역== | ||
| + | * {{학술용어집|url=cyclotomic}} | ||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | + | ==사전 형태의 자료== | |
| − | |||
| − | |||
| − | |||
| − | ==사전 | ||
* [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/원분체] | ||
* http://en.wikipedia.org/wiki/cyclotomic_field | * http://en.wikipedia.org/wiki/cyclotomic_field | ||
* http://www.encyclopediaofmath.org/index.php/Cyclotomic_field | * http://www.encyclopediaofmath.org/index.php/Cyclotomic_field | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | ||
| − | == | + | ==관련도서== |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | * Lawrence C. Washington, Introduction to Cyclotomic Fields, Graduate Texts in Mathematics, 83. Springer-Verlag, New York, 1982 | |
| − | |||
| − | |||
| − | + | ==메타데이터== | |
| − | * | + | ===위키데이터=== |
| + | * ID : [https://www.wikidata.org/wiki/Q1554628 Q1554628] | ||
| + | ===Spacy 패턴 목록=== | ||
| + | * [{'LOWER': 'cyclotomic'}, {'LEMMA': 'field'}] | ||
2021년 2월 17일 (수) 04:55 기준 최신판
개요
- 크로네커-베버 정리
- 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)
- 원분체의 유수 항목 참조
메모
- Barry Mazur How can we construct abelian Galois extensions of basic number fields? Bull. Amer. Math. Soc. 48 (2011), 155-209.
역사
관련된 항목들
- 원분다항식(cyclotomic polynomial)
- 이차 수체(quadratic number fields) 의 정수론
- 가우스와 정17각형의 작도
- 데데킨트 제타함수
- 정규소수 (regular prime)
- 베르누이 다항식
- 로바체프스키와 클라우센 함수
매스매티카 파일 및 계산 리소스
수학용어번역
- cyclotomic - 대한수학회 수학용어집
사전 형태의 자료
- http://ko.wikipedia.org/wiki/원분체
- http://en.wikipedia.org/wiki/cyclotomic_field
- http://www.encyclopediaofmath.org/index.php/Cyclotomic_field
관련도서
- Lawrence C. Washington, Introduction to Cyclotomic Fields, Graduate Texts in Mathematics, 83. Springer-Verlag, New York, 1982
메타데이터
위키데이터
- ID : Q1554628
Spacy 패턴 목록
- [{'LOWER': 'cyclotomic'}, {'LEMMA': 'field'}]