"정수론에서의 상호법칙 (reciprocity laws)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
37번째 줄: 37번째 줄:
 
(정리)
 
(정리)
  
−
<math>n | p-1</math> 이면, <math>\Phi_n(x) \pmod p</math>는 일차식들로 분해된다
+
<math>n | p-1</math>  <math>\iff</math>  <math>\Phi_n(x) \pmod p</math>는 일차식들로 분해된다
  
 
 
 
 
101번째 줄: 101번째 줄:
 
 
 
 
  
−
<h5>관련도서 및 추천도서</h5>
+
<h5>사전 형태의 자료</h5>
  
−
* 도서내검색<br>
+
* http://ko.wikipedia.org/wiki/
−
** http://books.google.com/books?q=
+
* http://en.wikipedia.org/wiki/Field_Arithmetic
−
** http://book.daum.net/search/contentSearch.do?query=
+
* http://en.wikipedia.org/wiki/
−
* 도서검색<br>
+
* http://www.wolframalpha.com/input/?i=
−
** http://www.amazon.com/s/ref=nb_ss_gw?url=search-alias%3Dstripbooks&field-keywords=
+
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
−
** http://book.daum.net/search/mainSearch.do?query=
+
* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]<br>
 +
** http://www.research.att.com/~njas/sequences/?q=
  
 
 
 
 
  
−
<h5>참고할만한 자료</h5>
+
 
 +
 
 +
<h5>관련논문</h5>
  
 
* [http://www.jstor.org/stable/2317083 What is a Reciprocity Law?]<br>
 
* [http://www.jstor.org/stable/2317083 What is a Reciprocity Law?]<br>
123번째 줄: 126번째 줄:
 
* [http://www.ams.org/proc/1996-124-06/S0002-9939-96-03210-8/home.html Polynomials with roots modulo every integer]<br>
 
* [http://www.ams.org/proc/1996-124-06/S0002-9939-96-03210-8/home.html Polynomials with roots modulo every integer]<br>
 
** Daniel Berend; Yuri Bilu, Journal: Proc. Amer. Math. Soc. 124 (1996), 1663-1671.
 
** 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://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]
 
−
* [http://navercast.naver.com/science/list 네이버 오늘의과학]
 
  
 
 
 
 
143번째 줄: 139번째 줄:
 
** 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=
−
 
−
 
 
−
 
−
 
 
−
 
−
<h5>블로그</h5>
 
−
 
−
* 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q=
 
−
* 트렌비 블로그 검색 http://www.trenb.com/search.qst?q=
 
−
 
−
 
 
−
 
−
<h5>이미지 검색</h5>
 
−
 
−
* http://commons.wikimedia.org/w/index.php?title=Special%3ASearch&search=
 
−
* http://images.google.com/images?q=
 
−
* [http://www.artchive.com/ http://www.artchive.com]
 
−
 
−
 
 
−
 
−
<h5>동영상</h5>
 
−
 
−
* http://www.youtube.com/results?search_type=&search_query=
 

2010년 1월 14일 (목) 08:21 판

이 항목의 스프링노트 원문주소

 

 

 

개요
  • 정수계수 다항식 f(x)가 주어져 있을 때, f(x) mod p 를 생각한다.
  • 이 때, 어느 소수 p에 대해서 다항식이 일차식들로 쪼개지는가? 더 일반적으로 p가 주어진다면 어떻게 분해되는지 알 수 있는가?
  • 하는 질문이 상호법칙 (reciprocity laws)의 가장 근본적인 질문들

 

 

이차잉여의 상호법칙
  • 정수 계수 이차 다항식 \(x^2-a\) 의 문제
  • \(x^2-a\pmod p\) 가 \(p\) 에 따라 어떻게 분해되는지 혹은 몇 개의 근을 갖는지에 대한 질문
  • 자세한 사항은 이차잉여의 상호법칙 에서 다루기로 함.
  • 이차수체

 

 

디리클레 정리와 상호법칙의 관계
  • 상호법칙의 질문에 따라 원분다항식(cyclotomic polynomial)의 분해에 대한 문제를 생각해 볼 수 있음.
  • 간단한 경우로 \(\Phi_n(x) \pmod p\) 가 어떤 소수 \(p\) 에 대해 일차식들로 분해되는가의 문제를 생각할 수 있음.

 

(정리)

\(n | p-1\)  \(\iff\)  \(\Phi_n(x) \pmod p\)는 일차식들로 분해된다

 

(증명)

\(n | p-1\) 이라 가정하자.

유한체 \(\mathbb F_p\) 의 원소는 방정식 \(x(x^{p-1}-1)=0\) 을 만족시키는 원소들로 구성된다.

 \(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\) 가 증명된다.

 

 

체보타레프 밀도 정리
  • 일반적인 수체

 

프로베니우스의 밀도 정리

 

 

원분체의 arithmetic
  • Kronecker-Weber theorem and Ray class field
  • 이차잉여의 상호법칙

디리클레 정리

 

 

관련된 항목들

 

사전 형태의 자료

 

 

관련논문

 

 

관련기사
원본 주소 "https://wiki.mathnt.net/index.php?title=정수론에서의_상호법칙_(reciprocity_laws)&oldid=18102"