모듈러 군: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
36번째 줄:
특히, <math>\Gamma(2)=\Lambda\cong S_3</math>는 '''Λ 모듈러 군'''({{llang|en|modular group ''Λ''}})라고 불린다. 이는 [[대칭군]] <math>S_3</math>와 [[동형]]이다.
=== 모듈러 군 Γ<sub>
'''모듈러 군 Γ<sub>
:<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>
'''모듈러 군 Γ<sub>
:<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>의 부분군이다.
== 참고 문헌 ==
|