"순환소수와 이차 수체의 유수"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
6번째 줄: 6번째 줄:
  
 
<h5>개요</h5>
 
<h5>개요</h5>
 +
 +
*  1/7의 순환소수전개를 구하는 과정은 <math>\mathbb{Q}(\sqrt{-7})</math> 의 class number 를 계산하기에 충분한 정보를 담고 있다<br><math>\frac{1}{7}=0.\dot{1}4285\dot{7}</math> 의 경우 <br>
 +
 +
 +
 +
<math>g_0=1,g_1=3,g_2=2,g_3=6,g_4=4,g_5=5,g_6=1,\cdots</math>
 +
 +
<math>y_1=1,y_2=4,y_3=2,y_4=8,y_5=5,y_6=7,\cdots</math>
 +
 +
여기서
 +
 +
<math>\frac{-1+4-2+8-5+7}{11}=1</math> 가 <math>\mathbb{Q}(\sqrt{-7})</math>의 class number이다.
 +
 +
* <math>p \equiv 3 \pmod{4}</math>인 경우에 <math>K=\mathbb{Q}(\sqrt{-p})</math>의 class number 를 구하는 정리
 +
 +
 
  
 
 
 
 
21번째 줄: 37번째 줄:
 
* '''[Girstmair94]''' 참조<br>
 
* '''[Girstmair94]''' 참조<br>
  
−
[[#]]
+
[[디리클레 L-함수]] 에 있는 다음 결과를 이용한다.
  
 
<math>h=-\sum_{k=1}^{p-1}(\frac{k}{p})\frac{k}{p}</math>
 
<math>h=-\sum_{k=1}^{p-1}(\frac{k}{p})\frac{k}{p}</math>
  
−
여기서 <math>{g_k}</math>는 <math>\{1,\cdots,p-1\}</math>의 원소로 <math>g_k \equiv 10^k \pmod p</math> 를 만족시킨다
+
 
 +
 
 +
<math>{g_k}</math>를 <math>g_k \equiv 10^k \pmod p</math> 를 만족시키는 <math>\{1,\cdots,p-1\}</math>의 원소로 정의하자.
  
 
10이  <math>(\mathbb{Z}/p\mathbb{Z})^\times</math>를 생성하므로 
 
10이  <math>(\mathbb{Z}/p\mathbb{Z})^\times</math>를 생성하므로 
55번째 줄: 73번째 줄:
 
 
 
 
  
−
<h5 style="margin: 0px; line-height: 2em;">예</h5>
+
<h5 style="margin: 0px; line-height: 2em;">p=7인 경우의 예</h5>
  
 
*  7의 경우<br><math>\frac{1}{7}=0.\dot{1}4285\dot{7}</math><br><math>\frac{-1+4-2+8-5+7}{11}=1</math><br>[[정수계수 이변수 이차형식(binary integral quadratic forms)]] 에서 확인할 수 있듯이  <math>\mathbb{Q}(\sqrt{-7})</math>의 class number는 1이다.<br>
 
*  7의 경우<br><math>\frac{1}{7}=0.\dot{1}4285\dot{7}</math><br><math>\frac{-1+4-2+8-5+7}{11}=1</math><br>[[정수계수 이변수 이차형식(binary integral quadratic forms)]] 에서 확인할 수 있듯이  <math>\mathbb{Q}(\sqrt{-7})</math>의 class number는 1이다.<br>
−
*  23의 경우<br>  <br><math>\frac{1}{23}=0.\dot{0}43478260869565217391\dot{3}</math><br><math>\frac{-0+4-3+4-7+8-2+6-0+8-6+9-5+6-5+2-1+7-3+9-1+3}{11}=3</math><br>[[정수계수 이변수 이차형식(binary integral quadratic forms)]] 에서 확인할 수 있듯이 <math>\mathbb{Q}(\sqrt{-23})</math>의 class number는 3이다.<br>
 
  
 
 
 
 
66번째 줄: 83번째 줄:
 
 
 
 
  
−
예를 들자면, 
+
<h5 style="margin: 0px; line-height: 2em;">p=23의 경우</h5>
  
−
<math>\frac{1}{7}=0.\dot{1}4285\dot{7}</math> 의 경우 
+
*  23의 경우<br><math>\frac{1}{23}=0.\dot{0}43478260869565217391\dot{3}</math><br><math>\frac{-0+4-3+4-7+8-2+6-0+8-6+9-5+6-5+2-1+7-3+9-1+3}{11}=3</math><br>[[정수계수 이변수 이차형식(binary integral quadratic forms)]] 에서 확인할 수 있듯이 <math>\mathbb{Q}(\sqrt{-23})</math>의 class number는 3이다.<br>
  
 +
 
  
 +
 
  
−
<math>g_0=1,g_1=3,g_2=2,g_3=6,g_4=4,g_5=5,g_6=1,\cdots</math>
+
 
−
 
 
−
<math>y_1=1,y_2=4,y_3=2,y_4=8,y_5=5,y_6=7,\cdots</math>
 
  
 
 
 
 
  
−
 
+
<h5>cyclic numbers</h5>
  
 +
* [[cyclic numbers]]
 
*  7, 17, 19, 23, 29, 47, 59, 61, 97, 109, 113, 131, 149, 167, 179, 181, 193, 223, 229, 233, 257, 263, 269, 313,... 는 10을 원시근으로 갖는 소수<br>
 
*  7, 17, 19, 23, 29, 47, 59, 61, 97, 109, 113, 131, 149, 167, 179, 181, 193, 223, 229, 233, 257, 263, 269, 313,... 는 10을 원시근으로 갖는 소수<br>
 
** [http://www.research.att.com/%7Enjas/sequences/A001913 Cyclic numbers: primes with primitive root 10] 참조<br>
 
** [http://www.research.att.com/%7Enjas/sequences/A001913 Cyclic numbers: primes with primitive root 10] 참조<br>

2011년 12월 4일 (일) 11:14 판

이 항목의 수학노트 원문주소

 

 

개요
  • 1/7의 순환소수전개를 구하는 과정은 \(\mathbb{Q}(\sqrt{-7})\) 의 class number 를 계산하기에 충분한 정보를 담고 있다
    \(\frac{1}{7}=0.\dot{1}4285\dot{7}\) 의 경우 


\(g_0=1,g_1=3,g_2=2,g_3=6,g_4=4,g_5=5,g_6=1,\cdots\)

\(y_1=1,y_2=4,y_3=2,y_4=8,y_5=5,y_6=7,\cdots\)

여기서

\(\frac{-1+4-2+8-5+7}{11}=1\) 가 \(\mathbb{Q}(\sqrt{-7})\)의 class number이다.

  • \(p \equiv 3 \pmod{4}\)인 경우에 \(K=\mathbb{Q}(\sqrt{-p})\)의 class number 를 구하는 정리

 

 

 

순환소수 전개를 통한 class number의 계산
  • 7이상의 소수 \(p \equiv 3 \pmod{4}\) 에 대하여 숫자 "10"이  군 \((\mathbb{Z}/p\mathbb{Z})^\times\)의 원시근(primitive root)이라 하자
  • 예 p=7, p=23
  • 이 경우 \(1/p\)의 순환소수 전개를 통해 다음과 같이 \(K=\mathbb{Q}(\sqrt{-p})\)의 class number h를 계산할 수 있다
    \(\frac{1}{p}=0.\dot{y_1}\cdots\dot{y_{p-1}}\)
    \(h=\frac{\sum_{k=1}^{p-1}(-1)^{k}y_k}{11}\)

(증명)

  • [Girstmair94] 참조

디리클레 L-함수 에 있는 다음 결과를 이용한다.

\(h=-\sum_{k=1}^{p-1}(\frac{k}{p})\frac{k}{p}\)

 

\({g_k}\)를 \(g_k \equiv 10^k \pmod p\) 를 만족시키는 \(\{1,\cdots,p-1\}\)의 원소로 정의하자.

10이  \((\mathbb{Z}/p\mathbb{Z})^\times\)를 생성하므로 

\(h=-\sum_{k=1}^{p-1}(\frac{g_k}{p})\frac{g_k}{p}=\sum_{k=1}^{p-1}(-1)^{k+1}\frac{g_k}{p}\)

한편 \(\frac{1}{p}=0.\dot{y_1}\cdots\dot{y_{p-1}}\) 를 순환소수전개로 얻는다면,

\(y_k=\frac{10g_{k-1}-g_k}{p}\) (\(k=1,\cdots, p-1\)) 이다.

다시 증명으로 돌아가자

 

\(11h=10h+h=\sum_{k=1}^{p-1}(-1)^{k+1}\frac{10g_k}{p}-\sum_{k=1}^{p-1}(-1)^{k}\frac{g_k}{p}=\sum_{k=1}^{p-1}(-1)^{k}\frac{10g_{k-1}-g_k}{p}=\sum_{k=1}^{p-1}(-1)^{k}y_k\)

 

따라서 

 

\(h=\frac{\sum_{k=1}^{p-1}(-1)^{k}y_k}{11}\)  ■

 

 

 

p=7인 경우의 예

 

 

 

p=23의 경우

 

 

 

 

cyclic numbers

 

 

 

역사

 

 

 

메모

 

 

 

관련된 항목들

 

 

수학용어번역

 

 

 

사전 형태의 자료

 

 

리뷰논문, 에세이, 강의노트

 

 

 

관련논문

 

 

관련도서
원본 주소 "https://wiki.mathnt.net/index.php?title=순환소수와_이차_수체의_유수&oldid=13905"