유한체 위의 타원곡선에 대한 가우스 정리

개요

• 유한체 <math>\mathbb{F}_p</math> 위에 정의된 사영평면 <math>\mathbb{P}^2(\mathbb{F}_p)</math>에서 방정식 <math>x^3+y^3+z^3=0</math>의 해의 개수 <math>M_p</math>는 다음과 같이 주어진다
• <math>p\equiv 2\pmod 3</math>이면, <math>M_p=p+1</math>
• <math>p\equiv 1\pmod 3</math>이면, <math>M_p=p+1+A</math>. 여기서 <math>A</math>는 <math>A\equiv 1 \pmod 3</math>와 적당한 정수 <math>B</math>가 존재하여 <math>4p=A^2+27B^2</math>를 만족하는 유일한 정수

테이블

\begin{array}{c|cccc} p & p \bmod 3 & A & p+1+A & M_p \\ \hline 2 & 2 & 0 & 3 & 3 \\ 3 & 0 & 0 & 4 & 4 \\ 5 & 2 & 0 & 6 & 6 \\ 7 & 1 & 1 & 9 & 9 \\ 11 & 2 & 0 & 12 & 12 \\ 13 & 1 & -5 & 9 & 9 \\ 17 & 2 & 0 & 18 & 18 \\ 19 & 1 & 7 & 27 & 27 \\ 23 & 2 & 0 & 24 & 24 \\ 29 & 2 & 0 & 30 & 30 \\ 31 & 1 & 4 & 36 & 36 \\ 37 & 1 & -11 & 27 & 27 \\ 41 & 2 & 0 & 42 & 42 \\ 43 & 1 & -8 & 36 & 36 \\ 47 & 2 & 0 & 48 & 48 \end{array}

메모

• http://mathoverflow.net/questions/76198/gauss-theorem-and-weil-conjecuters-for-elliptic-curves
• http://www.austms.org.au/Gazette/2008/Sep08/TechpaperBrown.pdf

관련된 항목들

• 이차형식 x^2+27y^2 항목 참조

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

• https://docs.google.com/file/d/0B8XXo8Tve1cxMk5maUxLYTBJSVE/edit

관련도서

• Silverman, Joseph H. 1992. Rational Points on Elliptic Curves. Springer.
  • IV.2. A Theorem of Gauss