원분체 (cyclotomic field)

개요

• 크로네커-베버 정리
• cyclotomic units
• class field theory
• Iwasawa theory

기호

• <math>\zeta_n</math>는 원시 n-단위근
• <math>K = \mathbb Q(\zeta_n)</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>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 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)
• 베르누이 다항식
• 로바체프스키와 클라우센 함수

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

• https://docs.google.com/file/d/0B8XXo8Tve1cxME1PNGVkOEtsRmc/edit

수학용어번역

• 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'}]