가우스의 class number one 문제

수학노트
http://bomber0.myid.net/ (토론)님의 2012년 7월 19일 (목) 15:56 판
둘러보기로 가기 검색하러 가기
이 항목의 스프링노트 원문주소

 

 

개요
  • 복소 이차 수체 \(\mathbb{Q}(\sqrt{-d})\) 가 class number 1인 경우 즉 그 정수집합이 UFD가 되는 경우는 다음 9가지가 있음.
    • \(d=1,2,3,7,11,19,43,67,163\)

 

 

 

step 0
  • reduce to \(d=p\equiv 3 \pmod 8\)
    • \(d\equiv 1,2 \pmod 4\) => \(d=1,2\)
    • \(d\equiv 7 \pmod 8\) => \(d=7\)

 

 

 

모듈라 함수

\(\mathfrak{f}(\tau)=\frac{e^{-\frac{\pi i}{24}}\eta(\frac{\tau+1}{2})}{\eta(\tau)}=q^{-1/48} \prod_{n=1}^{\infty} (1+q^{n-\frac{1}{2}})\)

\(\mathfrak{f}_1(\tau)=\frac{\eta(\frac{\tau}{2})}{\eta(\tau)}=q^{-1/48} \prod_{n=1}^{\infty} (1-q^{n-\frac{1}{2}})\)

\(\mathfrak{f}_2(\tau)=\sqrt{2}\frac{\eta(2\tau)}{\eta(\tau)}=\sqrt{2}q^{1/24} \prod_{n=1}^{\infty} (1+q^{n})\)

\(\gamma_2(\tau)=\frac{\mathfrak{f}(\tau)^{24}-16}{\mathfrak{f}(\tau)^8}=\sqrt[3]{j(\tau)}\)

 

\(x^{24}-\gamma_2(\tau)x^8-16=0\)

 

 

 

step 1

 

 

step 2

 

 

step 3
  • \(d=p\equiv 3 \pmod 8\)
  • \(\mathfrak{f}(\sqrt{-p})^2\in\mathbb{Q}(j(\sqrt{-p}))\)
  • \(\tau_{0}=(3+\sqrt{-p})/2\)
  • \(\alpha=\zeta_{8}\mathfrak{f}_2(\tau_0)^2\)

 

 

 

 

 

 

 

역사

 

 

관련된 학부 과목과 미리 알고 있으면 좋은 것들

 

 

 

관련된 항목들

 

 

관련도서

 

 

사전형태의 참고자료

 

 

관련논문과 에세이