"이차잉여의 상호법칙"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
1번째 줄: | 1번째 줄: | ||
+ | <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">이 항목의 스프링노트 원문주소</h5> | ||
+ | |||
+ | * [[이차잉여의 상호법칙]] | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
<h5>개요</h5> | <h5>개요</h5> | ||
* 소수 p에 대하여, 이차인 합동식 <math>x^2\equiv a \pmod p</math> 의 해의 개수에 관련된 문제. | * 소수 p에 대하여, 이차인 합동식 <math>x^2\equiv a \pmod p</math> 의 해의 개수에 관련된 문제. | ||
− | * 르장드르 부호 | + | |
+ | |||
+ | |||
+ | |||
+ | |||
+ | <h5>이차잉여</h5> | ||
+ | |||
+ | * [[합동식 (모듈로 modulo 연산)]] | ||
+ | * | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | <h5>'상호법칙'이란</h5> | ||
+ | |||
+ | * 문제 : 정수계수 다항식 <math>f(x)</math>를 <math>\pmod p</math>로 생각할 때 어떻게 인수분해되는가 | ||
+ | * 인수분해되는 방식에 따라서 <math>p</math>가 만족시키는 조건을 기술하는 것이 '상호법칙' | ||
+ | * <math>f(x)=x^2-5</math>라면, 홀수인 <math>p</math>에 대하여 이차잉여의 상호법칙을 사용하여 다음을 확인할 수 있다<br><math>p\equiv 1,4 \pmod 5</math> 인 경우, <math>f(x) \pmod p</math> 는 두 개의 일차식으로 분해됨<br><math>p\equiv 2,3 \pmod 5</math> 인 경우, <math>f(x) \pmod p</math> 는 분해되지 않음<br> | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | <h5>르장드르 부호</h5> | ||
<math>\left(\frac{a}{p}\right) = \begin{cases} \;\;\,0\mbox{ if } a \equiv 0 \pmod{p} \\+1\mbox{ if }a \not\equiv 0\pmod{p} \mbox{ and for some integer }x, \;a\equiv x^2\pmod{p} \\-1\mbox{ if there is no such } x. \end{cases}</math> | <math>\left(\frac{a}{p}\right) = \begin{cases} \;\;\,0\mbox{ if } a \equiv 0 \pmod{p} \\+1\mbox{ if }a \not\equiv 0\pmod{p} \mbox{ and for some integer }x, \;a\equiv x^2\pmod{p} \\-1\mbox{ if there is no such } x. \end{cases}</math> | ||
9번째 줄: | 41번째 줄: | ||
+ | |||
+ | <h5>정리</h5> | ||
(정리) 이차잉여의 상호법칙 | (정리) 이차잉여의 상호법칙 | ||
21번째 줄: | 55번째 줄: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
51번째 줄: | 77번째 줄: | ||
* [[프로베니우스와 체보타레프 밀도(density) 정리|Chebotarev density theorem]] | * [[프로베니우스와 체보타레프 밀도(density) 정리|Chebotarev density theorem]] | ||
* [[자코비 세타함수|세타함수]] | * [[자코비 세타함수|세타함수]] | ||
+ | |||
+ | |||
+ | |||
+ | <h5>재미있는 사실</h5> | ||
+ | |||
+ | |||
+ | |||
+ | * Math Overflow http://mathoverflow.net/search?q= | ||
+ | * 네이버 지식인 http://kin.search.naver.com/search.naver?where=kin_qna&query= | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | <h5>역사</h5> | ||
+ | |||
+ | * 1796년 가우스에 의해 처음으로 증명 | ||
+ | * http://www.google.com/search?hl=en&tbs=tl:1&q=quadratic+reciprocity | ||
+ | * [[수학사연표 (역사)|수학사연표]] | ||
+ | * | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | <h5>메모</h5> | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | <h5>관련된 항목들</h5> | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">수학용어번역</h5> | ||
+ | |||
+ | * 단어사전 http://www.google.com/dictionary?langpair=en|ko&q= | ||
+ | * 발음사전 http://www.forvo.com/search/ | ||
+ | * [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br> | ||
+ | ** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr= | ||
+ | * [http://www.nktech.net/science/term/term_l.jsp?l_mode=cate&s_code_cd=MA 남·북한수학용어비교] | ||
+ | * [http://kms.or.kr/home/kor/board/bulletin_list_subject.asp?bulletinid=%7BD6048897-56F9-43D7-8BB6-50B362D1243A%7D&boardname=%BC%F6%C7%D0%BF%EB%BE%EE%C5%E4%B7%D0%B9%E6&globalmenu=7&localmenu=4 대한수학회 수학용어한글화 게시판] | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | <h5>사전 형태의 자료</h5> | ||
+ | |||
+ | * http://ko.wikipedia.org/wiki/ | ||
+ | * http://en.wikipedia.org/wiki/ | ||
+ | * http://www.wolframalpha.com/input/?i= | ||
+ | * [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions] | ||
+ | * [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= | ||
56번째 줄: | 140번째 줄: | ||
− | <h5>관련도서 | + | <h5>관련도서</h5> |
* [http://www.amazon.com/Fearless-Symmetry-Exposing-Patterns-Numbers/dp/0691124922 Fearless Symmetry: Exposing the Hidden Patterns of Numbers]<br> | * [http://www.amazon.com/Fearless-Symmetry-Exposing-Patterns-Numbers/dp/0691124922 Fearless Symmetry: Exposing the Hidden Patterns of Numbers]<br> |
2010년 2월 5일 (금) 19:48 판
이 항목의 스프링노트 원문주소
개요
- 소수 p에 대하여, 이차인 합동식 \(x^2\equiv a \pmod p\) 의 해의 개수에 관련된 문제.
이차잉여
'상호법칙'이란
- 문제 : 정수계수 다항식 \(f(x)\)를 \(\pmod p\)로 생각할 때 어떻게 인수분해되는가
- 인수분해되는 방식에 따라서 \(p\)가 만족시키는 조건을 기술하는 것이 '상호법칙'
- \(f(x)=x^2-5\)라면, 홀수인 \(p\)에 대하여 이차잉여의 상호법칙을 사용하여 다음을 확인할 수 있다
\(p\equiv 1,4 \pmod 5\) 인 경우, \(f(x) \pmod p\) 는 두 개의 일차식으로 분해됨
\(p\equiv 2,3 \pmod 5\) 인 경우, \(f(x) \pmod p\) 는 분해되지 않음
르장드르 부호
\(\left(\frac{a}{p}\right) = \begin{cases} \;\;\,0\mbox{ if } a \equiv 0 \pmod{p} \\+1\mbox{ if }a \not\equiv 0\pmod{p} \mbox{ and for some integer }x, \;a\equiv x^2\pmod{p} \\-1\mbox{ if there is no such } x. \end{cases}\)
정리
(정리) 이차잉여의 상호법칙
홀수인 서로 다른 소수 p, q에 대하여,
\(\left(\frac{p}{q}\right) \left(\frac{q}{p}\right) = (-1)^{(p-1)(q-1)/4}\)
\(\left(\frac{p}{q}\right) = \begin{cases} +\left(\frac{q}{p}\right)\mbox{ if }p\equiv 1 \pmod{4} \mbox{ or } q \equiv 1 \pmod{4} \\-\left(\frac{q}{p}\right)\mbox{ if } p\equiv q \equiv 3 \pmod{4} \end{cases}\) 형태로 쓸 수도 있음.
많이 나오는 질문
관련된 항목들
- 가우스합
- 더 일반적인 상호법칙들(reciprocity laws)
- 등차수열의 소수분포에 관한 디리클레 정리
- 이차 수체에 대한 디리클레 class number 공식
- Chebotarev density theorem
- 세타함수
재미있는 사실
- Math Overflow http://mathoverflow.net/search?q=
- 네이버 지식인 http://kin.search.naver.com/search.naver?where=kin_qna&query=
역사
- 1796년 가우스에 의해 처음으로 증명
- http://www.google.com/search?hl=en&tbs=tl:1&q=quadratic+reciprocity
- 수학사연표
메모
관련된 항목들
수학용어번역
- 단어사전 http://www.google.com/dictionary?langpair=en%7Cko&q=
- 발음사전 http://www.forvo.com/search/
- 대한수학회 수학 학술 용어집
- 남·북한수학용어비교
- 대한수학회 수학용어한글화 게시판
사전 형태의 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/
- http://www.wolframalpha.com/input/?i=
- NIST Digital Library of Mathematical Functions
- The On-Line Encyclopedia of Integer Sequences
관련도서
- Fearless Symmetry: Exposing the Hidden Patterns of Numbers
- Avner Ash, Robert Gross
- Reciprocity Laws. From Euler to Eisenstein
- Franz Lemmermeyer (Springer, 2000)
- The Fourier-Analytic Proof of Quadratic Reciprocity
- Michael C. Berg
- 도서내검색
- 도서검색
관련논문
- Applications of heat kernels on abelian groups: ζ(2n), quadratic reciprocity, Bessel integrals
- Anders Karlsson
- Quadratic Reciprocity: Its Conjecture and Application
- David A. Cox, The American Mathematical Monthly, Vol. 95, No. 5 (May, 1988), pp. 442-448
- Euler and Quadratic Reciprocity
- Harold M. Edwards, Mathematics Magazine, Vol. 56, No. 5 (Nov., 1983), pp. 285-291
- Why Study Equations over Finite Fields?
- Neal Koblitz, Mathematics Magazine, Vol. 55, No. 3 (May, 1982), pp. 144-149
- What is a Reciprocity Law?
- B. F. Wyman, The American Mathematical Monthly, Vol. 79, No. 6 (Jun. - Jul., 1972), pp. 571-586
- Theorems on Quadratic Residues
- Albert Leon Whiteman, Mathematics Magazine, Vol. 23, No. 2 (Nov. - Dec., 1949), pp. 71-74
- http://ko.wikipedia.org/wiki/이차잉여
- http://en.wikipedia.org/wiki/quadratic_reciprocity
관련기사
- 네이버 뉴스 검색 (키워드 수정)
블로그
- 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q=
- 트렌비 블로그 검색 http://www.trenb.com/search.qst?q=