"가우스 합"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
| 1번째 줄: | 1번째 줄: | ||
| − | <h5 style="line-height: 3.428em | + | <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> |
* <math>p</math> 는 소수<br><math>a=1</math>이고 <math>\chi(t)=$\left(\frac{t}{p}\right)</math> 일 때, 가우스합은 다음과 같이 주어짐<br><math>g_1(\chi) := \sum_{a \in \mathbb Z/p\mathbb Z} \left(\frac{a}{p}\right)e^{2 \pi i a/p}=\sum_{a \in \mathbb Z/p\mathbb Z} \left(\frac{a}{p}\right) \zeta^a}=\sum_{a=1}^{p-1} \left(\frac{a}{p}\right) \zeta^a}</math><br> | * <math>p</math> 는 소수<br><math>a=1</math>이고 <math>\chi(t)=$\left(\frac{t}{p}\right)</math> 일 때, 가우스합은 다음과 같이 주어짐<br><math>g_1(\chi) := \sum_{a \in \mathbb Z/p\mathbb Z} \left(\frac{a}{p}\right)e^{2 \pi i a/p}=\sum_{a \in \mathbb Z/p\mathbb Z} \left(\frac{a}{p}\right) \zeta^a}=\sum_{a=1}^{p-1} \left(\frac{a}{p}\right) \zeta^a}</math><br> | ||
| 29번째 줄: | 29번째 줄: | ||
| − | <h5 style="line-height: 3.428em | + | <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> |
* 더 일반적인 가우스합을 정의할 수 있음 | * 더 일반적인 가우스합을 정의할 수 있음 | ||
| − | * <math>a\in (\mathbb Z/N\mathbb Z)^{*}</math>와 | + | * <math>a\in (\mathbb Z/N\mathbb Z)^{*}</math>와 준동형사상 <math>\chi \colon (\mathbb Z/N\mathbb Z)^{*} \to \mathbb C^{*}</math>에 대하여 가우스합을 다음과 같이 정의함 |
<math>g_a(\chi) := \sum_{t \in (\mathbb Z/N\mathbb Z)^{*}} \chi(t) e^{2 \pi i a t/N}=\sum_{t \in (\mathbb Z/N\mathbb Z)^{*}} \chi(t) \zeta^{a t}</math> | <math>g_a(\chi) := \sum_{t \in (\mathbb Z/N\mathbb Z)^{*}} \chi(t) e^{2 \pi i a t/N}=\sum_{t \in (\mathbb Z/N\mathbb Z)^{*}} \chi(t) \zeta^{a t}</math> | ||
| 60번째 줄: | 60번째 줄: | ||
| − | + | ||
<h5>관련된 다른 주제들</h5> | <h5>관련된 다른 주제들</h5> | ||
| 100번째 줄: | 100번째 줄: | ||
* 구글 블로그 검색 [http://blogsearch.google.com/blogsearch?q=%EA%B0%80%EC%9A%B0%EC%8A%A4%ED%95%A9 http://blogsearch.google.com/blogsearch?q=가우스합] | * 구글 블로그 검색 [http://blogsearch.google.com/blogsearch?q=%EA%B0%80%EC%9A%B0%EC%8A%A4%ED%95%A9 http://blogsearch.google.com/blogsearch?q=가우스합] | ||
* 트렌비 블로그 검색 http://www.trenb.com/search.qst?q= | * 트렌비 블로그 검색 http://www.trenb.com/search.qst?q= | ||
| − | |||
| − | |||
2009년 11월 4일 (수) 16:46 판
간단한 소개
- \(p\) 는 소수
\(a=1\)이고 \(\chi(t)=$\left(\frac{t}{p}\right)\) 일 때, 가우스합은 다음과 같이 주어짐
\(g_1(\chi) := \sum_{a \in \mathbb Z/p\mathbb Z} \left(\frac{a}{p}\right)e^{2 \pi i a/p}=\sum_{a \in \mathbb Z/p\mathbb Z} \left(\frac{a}{p}\right) \zeta^a}=\sum_{a=1}^{p-1} \left(\frac{a}{p}\right) \zeta^a}\)
\(g_1(\chi) = \begin{cases} \sqrt{p}, & p \equiv 1 \pmod{4}, \\ i \sqrt{p}, & p \equiv 3 \pmod{4}. \end{cases}\)
- 약간 다른 정의로 다음을 사용하기도 함
\(\sum_{r=0}^{p-1} e^{2\pi i r^2/p}\)
- 이 두 정의가 같음을 보이자
\(\sum_{a=1}^{p-1} \left(\frac{a}{p}\right) \zeta^a=\sum_{r=0}^{p-1} e^{2\pi i r^2/p}\)
(증명)
\(A=\sum_{a\in QR} \zeta^a=\frac{1}{2}\sum_{r=1}^{p-1} e^{2\pi i r^2/p}\)
\(B=\sum_{a\in QNR} \zeta^a\)
\(A+B=-1\)
\(A-B=\sum_{a=1}^{p-1} \left(\frac{a}{p}\right) \zeta^a\)
\(2A+1=\sum_{a=1}^{p-1} \left(\frac{a}{p}\right) \zeta^a\) (증명끝)
더 일반적인 가우스합
- 더 일반적인 가우스합을 정의할 수 있음
- \(a\in (\mathbb Z/N\mathbb Z)^{*}\)와 준동형사상 \(\chi \colon (\mathbb Z/N\mathbb Z)^{*} \to \mathbb C^{*}\)에 대하여 가우스합을 다음과 같이 정의함
\(g_a(\chi) := \sum_{t \in (\mathbb Z/N\mathbb Z)^{*}} \chi(t) e^{2 \pi i a t/N}=\sum_{t \in (\mathbb Z/N\mathbb Z)^{*}} \chi(t) \zeta^{a t}\)
여기서 \( \zeta = e^{2\pi i/N}\)
- 성질
\(g_a(\chi) = \chi(a^{-1}) g_1(\chi)=\bar\chi(a)g_1(\chi)\)
\(\chi(n)=\frac{1}{N}\sum_{(a,N)=1}g_a(\chi)e^{-2\pi i n a/N}\) - \(a=1\)이고 \(\chi(t)=$\left(\frac{t}{p}\right)\) 일 때, 맨 위에 정의한 가우스합을 다시 얻게 됨
정17각형의 작도 문제의 해결 과정에서 나타나는 가우스합
- \(\zeta=e^{2\pi i \over 17}\) 로 두자. 이 값을 대수적으로 구하는 것이 목표.
- \((3^1, 3^2,3^3, 3^4, 3^5, 3^7, 3^8, 3^9, 3^{10}, 3^{11}, 3^{12}, 3^{13}, 3^{14}, 3^{15}, 3^{16}) \equiv (3, 9, 10, 13, 5, 15, 11, 16, 14, 8, 7, 4,12, 2, 6, 1) \pmod {17}\)
- 이 순서대로 2로 나눈 나머지에 따라서 분류
- \(A_0 = \zeta^{9} + \zeta^{13} + \zeta^{15} + \zeta^{16}+\zeta^{8} + \zeta^{4} + \zeta^{2} +\zeta^{1}\)
- \(A_1 = \zeta^3 + \zeta^{10} + \zeta^{5} + \zeta^{11}+\zeta^{14} + \zeta^{7} + \zeta^{12} +\zeta^{6}\)
- \(A_0+A_1= -1\) 임은 쉽게 알 수 있음
- \(A_0-A_1\) 는 가우스합이므로 \(A_0-A_1=\sqrt{17}\)
- \(A_0 = \frac{-1 + \sqrt{17}}{2}\) , \(A_1= \frac{-1 - \sqrt{17}}{2}\)
관련된 다른 주제들
관련도서 및 추천도서
- A Classical Introduction to Modern Number Theory(Graduate Texts in Mathematics) (v. 84)
- Kenneth Ireland, Michael Rosen
- 도서내검색
- 도서검색
참고할만한 자료
- http://ko.wikipedia.org/wiki/가우스합
- http://en.wikipedia.org/wiki/Quadratic_Gauss_sum
- [1][2]http://en.wikipedia.org/wiki/
- Gaussian sums, Dedekind sums and the Jacobi triple product identity
- Robert SCZECH, Kyushu Journal of Mathematics, Vol. 49 (1995) , No. 2 233-241
블로그
- 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q=가우스합
- 트렌비 블로그 검색 http://www.trenb.com/search.qst?q=