"가우스 합"의 두 판 사이의 차이

2009년 8월 13일 (목) 09:47 판

소수 \(p\)가 주어져 있을때, 준동형사상 \(\chi \colon \mathbb Z/p\mathbb Z \to \mathbb C^{*}\) 에 대하여 가우스
유한군의 표현론
순환군의 표현론
에 대하여 가우스

\(g_a(\chi) := \sum_{t \in \Z/p\Z} \chi(t) e^{2 \pi i a t/p}\)

\(g_1(\chi) = \begin{cases} \sqrt{p}, & p \equiv 1 \pmod{4}, \\ i \sqrt{p}, & p \equiv 3 \pmod{4}. \end{cases}\)

\(\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}\)

@@ 1번째 줄: / 1번째 줄: @@
 <h5>간단한 소개</h5>
+* 소수 <math>p</math>가 주어져 있을때, 준동형사상 <math>\chi \colon \mathbb Z/p\mathbb Z \to \mathbb C^{*}</math> 에 대하여 가우스
+* [[유한군의 표현론]]
+* [[순환군과 유한아벨군의 표현론|순환군의 표현론]]
+* 에 대하여 가우스
 <math>g_a(\chi) := \sum_{t \in \Z/p\Z} \chi(t) e^{2 \pi i a t/p}</math>
+<math>g_1(\chi) = \begin{cases} \sqrt{p}, & p \equiv 1 \pmod{4}, \\ i \sqrt{p}, & p \equiv 3 \pmod{4}. \end{cases}</math>
@@ 109번째 줄: / 116번째 줄: @@
 * 트렌비 블로그 검색 http://www.trenb.com/search.qst?q=
+<br>
-<h5>이미지 검색</h5>
-* http://commons.wikimedia.org/w/index.php?title=Special%3ASearch&search=
-* http://images.google.com/images?q=
-* [http://www.artchive.com/ http://www.artchive.com]
-<h5>동영상</h5>
-* http://www.youtube.com/results?search_type=&search_query=