정수론에서의 상호법칙 (reciprocity laws)
http://bomber0.myid.net/ (토론)님의 2009년 10월 3일 (토) 07:38 판
간단한 소개
- 정수계수 다항식 f(x)가 주어져 있을 때, f(x) mod p 를 생각한다.
- 이 때, 어느 소수 p에 대해서 다항식이 일차식들로 쪼개지는가? 더 일반적으로 p가 주어진다면 어떻게 분해되는지 알 수 있는가?
- 하는 질문이 상호법칙 (reciprocity laws)의 가장 근본적인 질문들
이차잉여의 상호법칙
- 정수 계수 이차 다항식 \(x^2-a\) 의 문제
- \(x^2-a\pmod p\) 가 \(p\) 에 따라 어떻게 분해되는지 혹은 몇 개의 근을 갖는지에 대한 질문
- 자세한 사항은 이차잉여의 상호법칙 에서 다루기로 함.
- 이차수체
디리클레 정리와 상호법칙의 관계
- 상호법칙의 질문에 따라 Cyclotomic 다항식의 분해에 대한 문제를 생각해 볼 수 있음.
- 간단한 경우로 \(\Phi_n(x) \pmod p\) 가 어떤 소수 \(p\) 에 대해 일차식들로 분해되는가의 문제를 생각할 수 있음.
(정리)
\(n | p-1\) 이면, \(\Phi_n(x) \pmod p\)는 일차식들로 분해됨
(증명)
유한체 \(\mathbb F_p\) 의 원소중에서 방정식 \(x^n=1\) 을 만족시키는 원소의 개수는 \(\phi(n)\)과 같다. (오일러의 totient 함수)
이러한 원소들은 \(\Phi_n(x)=0 \pmod p\) 의 해가 되고, 또한 그 개수가 \(\Phi_n(x)\) 의 차수와 같다.
따라서 \(\Phi_n(x) \pmod p\) 가 일차식들로 분해됨을 알 수 있다. (증명끝)
\(n | p-1\) 이면, \(\Phi_n(x) \pmod p\)는 일차식들로 분해되는데, 이 사실은 \(\text{Frob}_p\) 가 체확장 \(\mathbb Q \subset \mathbb Q(\zeta_n)\)의 갈루아군의 항등원임을 의미한다.
프로베니우스의 density 정리에 의하면, \(\text{Frob}_p\)가 항등원이 되는 소수 p는 무한히 많으므로, 디리클레 정리의 특수한 경우 \(p\equiv 1 \pmod n\) 가 증명된다.
- 등차수열의 소수분포에 관한 디리클레 정리 항목도 참조.
Cebotarev Density theorem
- 일반적인 수체
프로베니우스의 density 정리
arithmetic of cyclotomic fields
- Kronecker-Weber theorem and Ray class field
- 이차잉여의 상호법칙
디리클레 정리
간단한 소개
상위 주제
하위페이지
재미있는 사실
많이 나오는 질문과 답변
- 네이버 지식인
- http://kin.search.naver.com/search.naver?where=kin_qna&query=
- http://kin.search.naver.com/search.naver?where=kin_qna&query=
- http://kin.search.naver.com/search.naver?where=kin_qna&query=
- http://kin.search.naver.com/search.naver?where=kin_qna&query=
- http://kin.search.naver.com/search.naver?where=kin_qna&query=
관련된 고교수학 또는 대학수학
관련된 다른 주제들
관련도서 및 추천도서
- 도서내검색
- 도서검색
참고할만한 자료
- What is a Reciprocity Law?
- B. F. Wyman, The American Mathematical Monthly, Vol. 79, No. 6 (Jun. - Jul., 1972), pp. 571-586
- Rational Reciprocity Laws
- Emma Lehmer, The American Mathematical Monthly, Vol. 85, No. 6 (Jun. - Jul., 1978), pp. 467-472
- Frobenius and his Density theorem for primes
- B. Sury, Springer India, Volume 8, Number 12 / 2003년 12월
- http://www.ias.ac.in/resonance/Dec2003/pdf/Dec2003p33-41.pdf
- Polynomials with roots modulo every integer
- Daniel Berend; Yuri Bilu, Journal: Proc. Amer. Math. Soc. 124 (1996), 1663-1671.
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/Field_Arithmetic
- http://en.wikipedia.org/wiki/
- http://www.wolframalpha.com/input/?i=
- http://front.math.ucdavis.edu/search?a=&t=&c=&n=40&s=Listings&q=
- http://www.ams.org/mathscinet/search/publications.html?pg4=AUCN&s4=&co4=AND&pg5=TI&s5=&co5=AND&pg6=PC&s6=&co6=AND&pg7=ALLF&co7=AND&Submit=Search&dr=all&yrop=eq&arg3=&yearRangeFirst=&yearRangeSecond=&pg8=ET&s8=All&s7=
- 다음백과사전 http://enc.daum.net/dic100/search.do?q=
- 대한수학회 수학 학술 용어집
- 네이버 오늘의과학
관련기사
- 네이버 뉴스 검색 (키워드 수정)
- http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
- http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
- http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
- http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
- http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
블로그
- 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q=
- 트렌비 블로그 검색 http://www.trenb.com/search.qst?q=
이미지 검색
- http://commons.wikimedia.org/w/index.php?title=Special%3ASearch&search=
- http://images.google.com/images?q=
- http://www.artchive.com