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

수학노트
둘러보기로 가기 검색하러 가기
4번째 줄: 4번째 줄:
 
* 이 때, 어느 소수 p에 대해서 다항식이 일차식들로 쪼개지는가? 더 일반적으로 p가 주어진다면 어떻게 분해되는지 알 수 있는가?
 
* 이 때, 어느 소수 p에 대해서 다항식이 일차식들로 쪼개지는가? 더 일반적으로 p가 주어진다면 어떻게 분해되는지 알 수 있는가?
 
* 하는 질문이 상호법칙 (reciprocity laws)의 가장 근본적인 질문들
 
* 하는 질문이 상호법칙 (reciprocity laws)의 가장 근본적인 질문들
 +
 +
 
  
 
 
 
 
13번째 줄: 15번째 줄:
 
* 자세한 사항은 [[이차잉여의 상호법칙]] 에서 다루기로 함.
 
* 자세한 사항은 [[이차잉여의 상호법칙]] 에서 다루기로 함.
 
* 이차수체
 
* 이차수체
 +
 +
 
  
 
 
 
 
139번째 줄: 143번째 줄:
  
 
* [http://www.jstor.org/stable/2317083 What is a Reciprocity Law?]<br>
 
* [http://www.jstor.org/stable/2317083 What is a Reciprocity Law?]<br>
** B. F. Wyman
+
** B. F. Wyman<cite>The American Mathematical Monthly</cite>, Vol. 79, No. 6 (Jun. - Jul., 1972), pp. 571-586
** <cite>The American Mathematical Monthly</cite>, Vol. 79, No. 6 (Jun. - Jul., 1972), pp. 571-586
 
 
* [http://www.jstor.org/stable/2320065 Rational Reciprocity Laws]<br>
 
* [http://www.jstor.org/stable/2320065 Rational Reciprocity Laws]<br>
** Emma Lehmer
+
** Emma Lehmer<cite>The American Mathematical Monthly</cite>, Vol. 85, No. 6 (Jun. - Jul., 1978), pp. 467-472
** <cite>The American Mathematical Monthly</cite>, Vol. 85, No. 6 (Jun. - Jul., 1978), pp. 467-472
 
 
* [http://www.springerlink.com/content/b66l342427127596/ Frobenius and his Density theorem for primes]<br>
 
* [http://www.springerlink.com/content/b66l342427127596/ Frobenius and his Density theorem for primes]<br>
** B. Sury
+
** B. Sury, Springer India,  Volume 8, Number 12 / 2003년 12월
** Springer India,  Volume 8, Number 12 / 2003년 12월
+
** http://www.ias.ac.in/resonance/Dec2003/pdf/Dec2003p33-41.pdf
** http://www.ias.ac.in/resonance/Dec2003/pdf/Dec2003p33-41.pdf 
 
 
* [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>
** Author(s): Daniel Berend; Yuri Bilu<br> 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://ko.wikipedia.org/wiki/
 
* http://en.wikipedia.org/wiki/Field_Arithmetic
 
* http://en.wikipedia.org/wiki/Field_Arithmetic

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
  • 이차잉여의 상호법칙

디리클레 정리

 

간단한 소개

 

 

상위 주제

 

 

 

하위페이지

 

 

재미있는 사실

 

 

많이 나오는 질문과 답변

 

관련된 고교수학 또는 대학수학

 

 

관련된 다른 주제들

 

관련도서 및 추천도서

 

참고할만한 자료

 

관련기사

 

 

블로그

 

이미지 검색

 

동영상