모듈러 군: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 잔글 →모듈러 군의 부분군 |
Osteologia (토론 | 기여) |
||
14번째 줄:
== 모듈러 군의 부분군 ==
=== 모듈러 군 Γ(''N'') ===
모듈러 군 <math>\Gamma</math>는 '''주합동 부분군'''({{llang|en|congruence subgroup}})이라는 중요한 부분군들을 가진다. <math>N\ge2</math>가 양의 정수라고 하면, 2×2 정수 행렬의 모든 수를 <math>N</math>에 대한 [[동치류]]들로 치환하는 다음과 같은 [[군 준동형사상]]이 존재한다.
:<math>\Gamma=\operatorname{PSL}(2;\mathbb Z)\to\operatorname{PSL}(2;\mathbb Z/N\mathbb Z)</math>
줄 24 ⟶ 25:
:<math>b\equiv c\cong 0\pmod N</math>
특히, <math>\Gamma(2)=\Lambda\cong S_3</math>는 '''Λ 모듈러 군'''({{llang|en|modular group ''Λ''}})라고 불린다. 이는 [[대칭군]] <math>S_3</math>와 [[동형]]이다.
=== 모듈러 군 Γ<sub>0</sub>(''N'') ===
'''모듈러 군 Γ<sub>0</sub>(''N'')'''은 <math>\Gamma</math>의 부분군이며, 다음과 같은 꼴의 원소를 포함한다. 행렬
:<math>\begin{pmatrix}a&b\\c&d\end{pmatrix}</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>의 부분군이다.
== 참고 문헌 ==
| |||