정수론에서의 상호법칙 (reciprocity laws)

수학노트
http://bomber0.myid.net/ (토론)님의 2009년 6월 29일 (월) 22:45 판
둘러보기로 가기 검색하러 가기
간단한 소개
  • 정수계수 다항식 f(x)가 주어져 있을 때, f(x) mod p 를 생각한다.
  • 이 때, 어느 소수 p에 대해서 다항식이 일차식들로 쪼개지는가? 더 일반적으로 p가 주어진다면 어떻게 분해되는지 알 수 있는가?
  • 하는 질문이 상호법칙 (reciprocity laws)의 가장 근본적인 질문들

 

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

 

디리클레 정리
  • cyclotomic fields
  • Cyclotomic 다항식의 분해에 대한 문제로 볼 수 있음.
  • 즉, \(\Phi_n(x) \pmod p\) 가 어떤 소수 \(p\) 에 대해 일차식들로 분해되는가의 문제.
  • \(n | p-1\) 이면, \(\Phi_n(x) \pmod p\)는 일차식들로 분해됨

(증명)

유한체 \(\mathbb F_p\) 의 원소중에서 방정식 \(x^n=1\) 을 만족시키는 원소의 개수는 \(\phi(n)\)과 같다.

이러한 원소들은  \(\Phi_n(x)=0 \pmod p\) 의 해가 되고, 또한 그 개수가 \(\Phi_n(x)\) 의 차수와 같으므로, \(\Phi_n(x) \pmod p\) 가 일차식들로 분해되

 

 


\(\zeta_n\)을 primitive n-th 단위근이라 하자.

\(\mathbb Q \subset \mathbb Q(\zeta_n)\) , \(\wp\) 는 unramified prime ideal over p 를 가정한다.


n-th cyclotomic 다항식 \(\Phi_n(x)=\text{irr}(\zeta_n,x)\) 로 두자.


 

Cebotarev Density theorem
  • 일반적인 수체

 

프로베니우스의 density 정리

 

 

arithmetic of cyclotomic fields
  • Kronecker-Weber theorem and Ray class field
  • 이차잉여의 상호법칙

디리클레 정리

 

간단한 소개

 

 

상위 주제

 

 

 

하위페이지

 

 

재미있는 사실

 

 

많이 나오는 질문과 답변

 

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

 

 

관련된 다른 주제들

 

관련도서 및 추천도서

 

참고할만한 자료

 

관련기사

 

 

블로그

 

이미지 검색

 

동영상