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

내용 삭제됨 내용 추가됨
19번째 줄:
 
== 합동 부분군 ==
모듈러 군은 '''합동 부분군'''({{llang|en|congruence subgroup}})이라는 일련의 부분군들을 가진다. 일반적으로, '''합동 부분군'''은 (아래에 정의된) <math>\Gamma(N)</math>을 부분군으로 가지는 <math>\Gamma</math>의 부분군 <math>\Gamma(N)\subset G\subset\Gamma(1)</math>이다. 이 경우, 이러한 최소 <math>N</math>을 합동 부분군 <math>G</math>의 '''준위'''({{llang|en|level|레벨}}, {{llang|de|Stufe|슈튜페}})라고 한다.
 
흔히 쓰이는 합동 부분군으로는 <math>\Gamma(N)</math>, <math>\Gamma_0(N)</math>, <math>\Gamma_1(N)</math>이 있다. 이들은 다음과 같은 관계를 가진다.