"유한아벨군과 이산 푸리에 변환"의 두 판 사이의 차이

2013년 1월 12일 (토) 10:09 판

\(G=(\mathbb Z/N\mathbb Z)^{*}\)와 준동형사상 \(f \colon (\mathbb Z/N\mathbb Z)^{*} \to \mathbb C^{*}\)의 경우

\(\hat f(a) := \sum_{t \in (\mathbb Z/N\mathbb Z)^{*}} f(t) e^{2 \pi i a t/N}=\sum_{t \in (\mathbb Z/N\mathbb Z)^{*}} f(t) \zeta^{a t}\)

여기서 \( \zeta = e^{2\pi i/N}\)

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

\(K = \mathbb{Q}(\sqrt{-d})\)

Jacobi symbol

\(f(n)=(\frac{d_K}{n})\)

Fourier transform

\(\hat{f}(n)=\sum_{k\pmod {d_K}} (\frac{d_K}{k})e^{2\pi i kn/|d_K|}\)

\(f(n)=\hat{f}(n)/\hat{f}(1)\)

2012년 11월 2일 (금) 07:57 판 (원본 보기) Pythagoras0 (토론 \| 기여) 잔글 (찾아 바꾸기 – “ * 구글 블로그 검색<br> ** http://blogsearch.google.com/blogsearch?q=” 문자열을 “” 문자열로) ← 이전 편집		2013년 1월 12일 (토) 10:09 판 (원본 보기) Pythagoras0 (토론 \| 기여) 잔글 (찾아 바꾸기 – “<br><math>” 문자열을 “:<math>” 문자열로) 다음 편집 →
27번째 줄:		27번째 줄:
	여기서 <math> \zeta = e^{2\pi i/N}</math>		여기서 <math> \zeta = e^{2\pi i/N}</math>

−	* 성질~~<br>~~<math>g_a(\chi) = \chi(a^{-1}) g_1(\chi)=\bar\chi(a)g_1(\chi)</math>~~<br>~~<math>\chi(n)=\frac{1}{N}\sum_{(a,N)=1}g_a(\chi)e^{-2\pi i n a/N}</math><br>	+	* 성질:<math>g_a(\chi) = \chi(a^{-1}) g_1(\chi)=\bar\chi(a)g_1(\chi)</math>:<math>\chi(n)=\frac{1}{N}\sum_{(a,N)=1}g_a(\chi)e^{-2\pi i n a/N}</math><br>