모듈러 군: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
36번째 줄:
특히, <math>\Gamma(2)=\Lambda\cong S_3</math>는 '''Λ 모듈러 군'''({{llang|en|modular group ''Λ''}})라고 불린다. 이는 [[대칭군]] <math>S_3</math>와 [[동형]]이다.
 
=== 모듈러 군 Γ<sub>01</sub>(''N'') ===
'''모듈러 군 Γ<sub>01</sub>(''N'')'''은 <math>\Gamma</math>의 부분군이며, 다음과 같은 꼴의 원소를 포함한다. 행렬
:<math>\begin{pmatrix}a&b\\c&d\end{pmatrix}</math>
에 대하여,
:<math>a\cong d\cong1</math>
:<math>c\cong0\pmod N</math>
즉, 위와 같이 <math>\Gamma\to\operatorname{PSL}(2;\mathbb Z/N\mathbb Z)</math>와 같은 [[군 준동형사상]]에서, [[상 (수학)|상]]이 [[상삼각행렬]]인 원소들이다. <math>\Gamma(N)</math>은 <math>\Gamma_0(N)</math>의 부분군이다.
 
=== 모듈러 군 Γ<sub>10</sub>(''N'') ===
'''모듈러 군 Γ<sub>10</sub>(''N'')'''은 <math>\Gamma</math>의 부분군이며, 다음과 같은 꼴의 원소를 포함한다. 행렬
:<math>\begin{pmatrix}a&b\\c&d\end{pmatrix}</math>
에 대하여,
:<math>a\cong d\cong1</math>
:<math>c\cong0\pmod N</math>
즉, 위와 같이 <math>\Gamma\to\operatorname{PSL}(2;\mathbb Z/N\mathbb Z)</math>와 같은 [[군 준동형사상]]에서, [[상 (수학)|상]]이 [[상삼각행렬]]인 원소들이다. <math>\Gamma(N)</math>은 <math>\Gamma_0(N)</math>의 부분군이다.
 
== 참고 문헌 ==