모듈라 군(modular group)

이 항목의 스프링노트 원문주소

• 모듈라 군(modular group)

 

 

간단한 소개

• \(\operatorname{SL}(2,\mathbb{Z})\)
  
  • 정수계수 \(2\times 2\) 행렬로 행렬식이 1인 원소
  • \(\begin{pmatrix} a & b \\ c & d \end{pmatrix}\in\operatorname{SL}(2,\mathbb{Z}) \iff ad-bc=1\)
• 복소상반평면에 작용하는 \(\operatorname{SL}(2,\mathbb{Z})\) 의 원소들로 만들어지는 뫼비우스변환

\(z\mapsto\frac{az+b}{cz+d}\)

들이 이루는 군 를 모듈라군이라 함.

• 결과적으로 \(\Gamma=\operatorname{PSL}(2,\mathbb{Z})=\operatorname{SL}(2,\mathbb{Z})/\{\pm I\}\) 가 됨.
• http://demonstrations.wolfram.com/TheActionOfTheModularGroupOnTheFundamentalDomain/

 

 

 

생성원과 presentation

• 모듈라군의 다음 두 원소로 생성됨.

\(S: z\mapsto -1/z\)

\(T: z\mapsto z+1\)

• 행렬로 표현하면 다음과 같다.
  \(S=\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} \), \(T=\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} \)
  
• presentation 은 다음과 같이 주어짐.
  \(\Gamma \cong \langle S, T \mid S^2, (ST)^3 \rangle\)
  

 

 

fundamental domain

• 모듈라군에 의한 복소상반평면의 fundamental domain은 아래 그림에서 하얀색과 검은색 삼각형 한쌍으로 구성됨
  
  • 즉, \((2,3,\infty)\) - 삼각형 두 쌍으로 이루어짐
• 아래 그림의 영역은 다음과 같이 주어짐
  \(R = \left\{ z \in H: \left| z \right| > 1,\, \left| \,\mbox{Re}(z) \,\right| < \frac{1}{2} \right\}\)
  

 

[[Media:|]]

 

• \((2,3,\infty)\)- 삼각형이 모듈라군의 presentation \(\Gamma \cong \langle S, T \mid S^2, (ST)^3 \rangle\) 에 등장하는 숫자와 같음을 볼 수 있음.
  
  • 이에 대해서는 http://en.wikipedia.org/wiki/Triangle_group 참조.

 

 

\(\operatorname{SL}(2,\mathbb{Z})\)의 Abelianization과 숫자 12

• \(\operatorname{SL}(2,\mathbb{Z})_{ab}=C_{12}\)
  
  • \(\Gamma \cong \langle S, T \mid S^2, (ST)^3 \rangle\) 과 \(\bar{S}\bar{T}=\bar{T}\bar{S}\) 를 이용하여, 다음과 같음을 보일 수 있음.
  • \(\{I, \bar{T}, \bar{T}^2, \bar{S}, \bar{S}\bar{T}, \bar{S}\bar{T}^2, -I, -\bar{T}, -\bar{T}^2, -\bar{S}, -\bar{S}\bar{T}, -\bar{S}\bar{T}^2\} \)

 

 

congruence 부분군

\(\Gamma(N) = \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL_2(\mathbf{Z}) : \begin{pmatrix} a & b \\ c & d \end{pmatrix} \equiv \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \pmod{N} \right\}\)

\(\Gamma_0(N) = \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL_2(\mathbf{Z}) : \begin{pmatrix} a & b \\ c & d \end{pmatrix} \equiv \begin{pmatrix} {*} & {*} \\ 0 & {*} \end{pmatrix} \pmod{N} \right\}\)

\(\Gamma_1(N) = \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL_2(\mathbf{Z}) : \begin{pmatrix} a & b \\ c & d \end{pmatrix} \equiv \begin{pmatrix} 1 & {*} \\ 0 & 1 \end{pmatrix} \pmod{N} \right\}\)

 

\(\Gamma(2) = \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL_2(\mathbf{Z}) : \begin{pmatrix} a & b \\ c & d \end{pmatrix} \equiv \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \pmod{2} \right\}\)

 

 

 

2010년 국제수학자대회 로고

[/pages/3003492/attachments/1370130 logo.jpg]

The logo for ICM 2010 depicts the standard fundamental domain for the modular group SL(2,Z) acting on the upper half plane. The formula written along the circular arc is a famous conjecture of the Indian mathematician Srinivasa Ramanujan proved by Pierre Deligne in 1973. The quotation in Sanskrit at the bottom of the logo is from the Rig Veda an ancient Indian religious work dating back to more than 1000 years before the start of the Christian era. It translates as "May good ideas come to us from everywhere."

• http://www.icm2010.org.in/welcome.php

 

 

관련된 항목들

• 비유클리드 기하학
• Farey series
• 쌍곡기하학

 

수학용어번역

• 단어사전 http://www.google.com/dictionary?langpair=en%7Cko&q=
• 발음사전 http://www.forvo.com/search/

• 대한수학회 수학 학술 용어집
  
  • http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=kor_term&fstr=모듈라
  • http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=modular[1]
  • http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=

• 남·북한수학용어비교
• 대한수학회 수학용어한글화 게시판

 

 

사전 형태의 자료

• http://ko.wikipedia.org/wiki/

• http://ko.wikipedia.org/wiki/모듈라군
• http://en.wikipedia.org/wiki/modular_group
• http://www.wolframalpha.com/input/?i=modular_group

• http://en.wikipedia.org/wiki/
• http://www.wolframalpha.com/input/?i=
• NIST Digital Library of Mathematical Functions
• The On-Line Encyclopedia of Integer Sequences
  
  • http://www.research.att.com/~njas/sequences/?q=

 

 

관련논문

• http://www.jstor.org/action/doBasicSearch?Query=
• http://www.ams.org/mathscinet
• http://dx.doi.org/

 

 

관련도서

• 도서내검색
  
  • http://books.google.com/books?q=
  • http://book.daum.net/search/contentSearch.do?query=
• 도서검색
  
  • http://books.google.com/books?q=
  • http://book.daum.net/search/mainSearch.do?query=
  • http://book.daum.net/search/mainSearch.do?query=