"이차형식 x^2+5y^2"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
 
(같은 사용자의 중간 판 2개는 보이지 않습니다)
3번째 줄: 3번째 줄:
 
* <math>K=\mathbb{Q}(\sqrt{-5})</math>
 
* <math>K=\mathbb{Q}(\sqrt{-5})</math>
 
* 판별식 d=-20
 
* 판별식 d=-20
*  class number h=2<br>
+
*  class number h=2
 
** 기약형식 <math>{x^2+5 y^2,2 x^2+2 x y+3 y^2}</math>
 
** 기약형식 <math>{x^2+5 y^2,2 x^2+2 x y+3 y^2}</math>
* [[타원 모듈라 j-함수 (elliptic modular function, j-invariant)|타원 모듈라 j-함수 (j-invariant)]]:<math> j(\sqrt{-5})=632000+282880 \sqrt{5}=(50+26\sqrt{5})^3</math>:<math>j(\frac {-1+\sqrt{-5}}{2})=632000-282880 \sqrt{5}=(50-26\sqrt{5})^3</math><br>
+
* [[타원 모듈라 j-함수 (elliptic modular function, j-invariant)|타원 모듈라 j-함수 (j-invariant)]]:<math> j(\sqrt{-5})=632000+282880 \sqrt{5}=(50+26\sqrt{5})^3</math>:<math>j(\frac {-1+\sqrt{-5}}{2})=632000-282880 \sqrt{5}=(50-26\sqrt{5})^3</math>
 
* 힐버트 class field <math>K(\sqrt{5})=\mathbb{Q}(\sqrt{-5},\sqrt{5})</math>
 
* 힐버트 class field <math>K(\sqrt{5})=\mathbb{Q}(\sqrt{-5},\sqrt{5})</math>
  
 
+
  
 
+
  
 
+
  
 
==<math>x^2+5y^2</math>로 표현되는 400까지의 소수==
 
==<math>x^2+5y^2</math>로 표현되는 400까지의 소수==
  
*  5, 29, 41, 61, 89, 101, 109, 149, 181, 229, 241, 269, 281, 349, 389<br>
+
*  5, 29, 41, 61, 89, 101, 109, 149, 181, 229, 241, 269, 281, 349, 389
  
 
+
  
 
+
  
 
==20으로 나눈 나머지가 1이나 9인 400까지의 소수==
 
==20으로 나눈 나머지가 1이나 9인 400까지의 소수==
  
*  29, 41, 61, 89, 101, 109, 149, 181, 229, 241, 269, 281, 349, 389<br>
+
*  29, 41, 61, 89, 101, 109, 149, 181, 229, 241, 269, 281, 349, 389
  
 
+
  
 
+
  
 
+
  
 
==<math>x^2+2 x y+3 y^2</math>로 표현되는 400까지의 소수==
 
==<math>x^2+2 x y+3 y^2</math>로 표현되는 400까지의 소수==
  
*  2, 3, 7, 23, 43, 47, 67, 83, 103, 107, 127, 163, 167, 223, 227, 263, 283, 307, 347, 367, 383<br>
+
*  2, 3, 7, 23, 43, 47, 67, 83, 103, 107, 127, 163, 167, 223, 227, 263, 283, 307, 347, 367, 383
  
 
+
  
 
+
  
 
==20으로 나눈 나머지가 3이나 7인 400까지의 소수==
 
==20으로 나눈 나머지가 3이나 7인 400까지의 소수==
  
*  3, 7, 23, 43, 47, 67, 83, 103, 107, 127, 163, 167, 223, 227, 263, 283, 307, 347, 367, 383<br>
+
*  3, 7, 23, 43, 47, 67, 83, 103, 107, 127, 163, 167, 223, 227, 263, 283, 307, 347, 367, 383
  
 
+
  
 
+
  
 
==<math>x^2-5 \pmod p</math> 의 분해==
 
==<math>x^2-5 \pmod p</math> 의 분해==
55번째 줄: 55번째 줄:
 
* 다음 목록은 "소수p, p를 20으로 나눈 나머지, 다항식 x^2-5의 mod p분해"
 
* 다음 목록은 "소수p, p를 20으로 나눈 나머지, 다항식 x^2-5의 mod p분해"
  
 
+
  
3=3 mod 20, x^2-5=1+x^2 mod 3<br> 7=7 mod 20, x^2-5=2+x^2 mod 7<br> 23=3 mod 20, x^2-5=18+x^2 mod 23<br> 29=9 mod 20, x^2-5=(11+x)(18+x) mod 29<br> 41=1 mod 20, x^2-5=(13+x)(28+x) mod 41<br> 43=3 mod 20, x^2-5=38+x^2 mod 43<br> 47=7 mod 20, x^2-5=42+x^2 mod 47<br> 61=1 mod 20, x^2-5=(26+x)(35+x) mod 61<br> 67=7 mod 20, x^2-5=62+x^2 mod 67<br> 83=3 mod 20, x^2-5=78+x^2 mod 83<br> 89=9 mod 20, x^2-5=(19+x)(70+x) mod 89<br> 101=1 mod 20, x^2-5=(45+x)(56+x) mod 101<br> 103=3 mod 20, x^2-5=98+x^2 mod 103<br> 107=7 mod 20, x^2-5=102+x^2 mod 107<br> 109=9 mod 20, x^2-5=(21+x)(88+x) mod 109<br> 127=7 mod 20, x^2-5=122+x^2 mod 127<br> 149=9 mod 20, x^2-5=(68+x)(81+x) mod 149<br> 163=3 mod 20, x^2-5=158+x^2 mod 163<br> 167=7 mod 20, x^2-5=162+x^2 mod 167<br> 181=1 mod 20, x^2-5=(27+x)(154+x) mod 181<br> 223=3 mod 20, x^2-5=218+x^2 mod 223<br> 227=7 mod 20, x^2-5=222+x^2 mod 227<br> 229=9 mod 20, x^2-5=(66+x)(163+x) mod 229<br> 241=1 mod 20, x^2-5=(103+x)(138+x) mod 241<br> 263=3 mod 20, x^2-5=258+x^2 mod 263<br> 269=9 mod 20, x^2-5=(126+x)(143+x) mod 269<br> 281=1 mod 20, x^2-5=(75+x)(206+x) mod 281<br> 283=3 mod 20, x^2-5=278+x^2 mod 283<br> 307=7 mod 20, x^2-5=302+x^2 mod 307<br> 347=7 mod 20, x^2-5=342+x^2 mod 347<br> 349=9 mod 20, x^2-5=(62+x)(287+x) mod 349<br> 367=7 mod 20, x^2-5=362+x^2 mod 367<br> 383=3 mod 20, x^2-5=378+x^2 mod 383<br> 389=9 mod 20, x^2-5=(86+x)(303+x) mod 389
+
3=3 mod 20, x^2-5=1+x^2 mod 3 7=7 mod 20, x^2-5=2+x^2 mod 7 23=3 mod 20, x^2-5=18+x^2 mod 23 29=9 mod 20, x^2-5=(11+x)(18+x) mod 29 41=1 mod 20, x^2-5=(13+x)(28+x) mod 41 43=3 mod 20, x^2-5=38+x^2 mod 43 47=7 mod 20, x^2-5=42+x^2 mod 47 61=1 mod 20, x^2-5=(26+x)(35+x) mod 61 67=7 mod 20, x^2-5=62+x^2 mod 67 83=3 mod 20, x^2-5=78+x^2 mod 83 89=9 mod 20, x^2-5=(19+x)(70+x) mod 89 101=1 mod 20, x^2-5=(45+x)(56+x) mod 101 103=3 mod 20, x^2-5=98+x^2 mod 103 107=7 mod 20, x^2-5=102+x^2 mod 107 109=9 mod 20, x^2-5=(21+x)(88+x) mod 109 127=7 mod 20, x^2-5=122+x^2 mod 127 149=9 mod 20, x^2-5=(68+x)(81+x) mod 149 163=3 mod 20, x^2-5=158+x^2 mod 163 167=7 mod 20, x^2-5=162+x^2 mod 167 181=1 mod 20, x^2-5=(27+x)(154+x) mod 181 223=3 mod 20, x^2-5=218+x^2 mod 223 227=7 mod 20, x^2-5=222+x^2 mod 227 229=9 mod 20, x^2-5=(66+x)(163+x) mod 229 241=1 mod 20, x^2-5=(103+x)(138+x) mod 241 263=3 mod 20, x^2-5=258+x^2 mod 263 269=9 mod 20, x^2-5=(126+x)(143+x) mod 269 281=1 mod 20, x^2-5=(75+x)(206+x) mod 281 283=3 mod 20, x^2-5=278+x^2 mod 283 307=7 mod 20, x^2-5=302+x^2 mod 307 347=7 mod 20, x^2-5=342+x^2 mod 347 349=9 mod 20, x^2-5=(62+x)(287+x) mod 349 367=7 mod 20, x^2-5=362+x^2 mod 367 383=3 mod 20, x^2-5=378+x^2 mod 383 389=9 mod 20, x^2-5=(86+x)(303+x) mod 389
  
 
+
  
 
+
  
 
==역사==
 
==역사==
67번째 줄: 67번째 줄:
 
* [[수학사 연표]]
 
* [[수학사 연표]]
  
 
+
  
 
+
  
 
==메모==
 
==메모==
  
 
+
  
 
+
  
 
==관련된 항목들==
 
==관련된 항목들==
 
* [[정수계수 이변수 이차형식(binary integral quadratic forms)]]
 
* [[정수계수 이변수 이차형식(binary integral quadratic forms)]]
 
+
  
 
+
  
 
==매스매티카 파일 및 계산 리소스==
 
==매스매티카 파일 및 계산 리소스==
87번째 줄: 87번째 줄:
 
* https://docs.google.com/file/d/0B8XXo8Tve1cxVEpGdUlBcFBITFU/edit
 
* https://docs.google.com/file/d/0B8XXo8Tve1cxVEpGdUlBcFBITFU/edit
 
* http://oeis.org/A033205
 
* http://oeis.org/A033205
 +
[[분류:에세이]]

2020년 12월 28일 (월) 02:51 기준 최신판

개요

  • \(K=\mathbb{Q}(\sqrt{-5})\)
  • 판별식 d=-20
  • class number h=2
    • 기약형식 \({x^2+5 y^2,2 x^2+2 x y+3 y^2}\)
  • 타원 모듈라 j-함수 (j-invariant)\[ j(\sqrt{-5})=632000+282880 \sqrt{5}=(50+26\sqrt{5})^3\]\[j(\frac {-1+\sqrt{-5}}{2})=632000-282880 \sqrt{5}=(50-26\sqrt{5})^3\]
  • 힐버트 class field \(K(\sqrt{5})=\mathbb{Q}(\sqrt{-5},\sqrt{5})\)




\(x^2+5y^2\)로 표현되는 400까지의 소수

  • 5, 29, 41, 61, 89, 101, 109, 149, 181, 229, 241, 269, 281, 349, 389



20으로 나눈 나머지가 1이나 9인 400까지의 소수

  • 29, 41, 61, 89, 101, 109, 149, 181, 229, 241, 269, 281, 349, 389




\(x^2+2 x y+3 y^2\)로 표현되는 400까지의 소수

  • 2, 3, 7, 23, 43, 47, 67, 83, 103, 107, 127, 163, 167, 223, 227, 263, 283, 307, 347, 367, 383



20으로 나눈 나머지가 3이나 7인 400까지의 소수

  • 3, 7, 23, 43, 47, 67, 83, 103, 107, 127, 163, 167, 223, 227, 263, 283, 307, 347, 367, 383



\(x^2-5 \pmod p\) 의 분해

  • 20으로 나눈 나머지가 1,3,7,9인 소수 p에 대한 \(x^2-5 \pmod p\)의 분해
  • 나머지가 1 또는 9인 경우에만 일차식으로 분해됨을 볼 수 있음
  • class field theory에 의해 예측할 수 있는 사실
  • 다음 목록은 "소수p, p를 20으로 나눈 나머지, 다항식 x^2-5의 mod p분해"


3=3 mod 20, x^2-5=1+x^2 mod 3 7=7 mod 20, x^2-5=2+x^2 mod 7 23=3 mod 20, x^2-5=18+x^2 mod 23 29=9 mod 20, x^2-5=(11+x)(18+x) mod 29 41=1 mod 20, x^2-5=(13+x)(28+x) mod 41 43=3 mod 20, x^2-5=38+x^2 mod 43 47=7 mod 20, x^2-5=42+x^2 mod 47 61=1 mod 20, x^2-5=(26+x)(35+x) mod 61 67=7 mod 20, x^2-5=62+x^2 mod 67 83=3 mod 20, x^2-5=78+x^2 mod 83 89=9 mod 20, x^2-5=(19+x)(70+x) mod 89 101=1 mod 20, x^2-5=(45+x)(56+x) mod 101 103=3 mod 20, x^2-5=98+x^2 mod 103 107=7 mod 20, x^2-5=102+x^2 mod 107 109=9 mod 20, x^2-5=(21+x)(88+x) mod 109 127=7 mod 20, x^2-5=122+x^2 mod 127 149=9 mod 20, x^2-5=(68+x)(81+x) mod 149 163=3 mod 20, x^2-5=158+x^2 mod 163 167=7 mod 20, x^2-5=162+x^2 mod 167 181=1 mod 20, x^2-5=(27+x)(154+x) mod 181 223=3 mod 20, x^2-5=218+x^2 mod 223 227=7 mod 20, x^2-5=222+x^2 mod 227 229=9 mod 20, x^2-5=(66+x)(163+x) mod 229 241=1 mod 20, x^2-5=(103+x)(138+x) mod 241 263=3 mod 20, x^2-5=258+x^2 mod 263 269=9 mod 20, x^2-5=(126+x)(143+x) mod 269 281=1 mod 20, x^2-5=(75+x)(206+x) mod 281 283=3 mod 20, x^2-5=278+x^2 mod 283 307=7 mod 20, x^2-5=302+x^2 mod 307 347=7 mod 20, x^2-5=342+x^2 mod 347 349=9 mod 20, x^2-5=(62+x)(287+x) mod 349 367=7 mod 20, x^2-5=362+x^2 mod 367 383=3 mod 20, x^2-5=378+x^2 mod 383 389=9 mod 20, x^2-5=(86+x)(303+x) mod 389



역사



메모

관련된 항목들



매스매티카 파일 및 계산 리소스