잉여류: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
잔글편집 요약 없음
19번째 줄:
* <math>H</math>는 <math>G</math>의 [[정규 부분군]]이다.
 
[[라그랑주 정리 (군론)|라그랑주 정리]]에 따르면, 만약 <math>G</math>가 [[유한군]]이라면, 부분군 <math>H\le G</math>의 지표는 다음과 같다.
:<math>|G:H|=|G|/|H|</math>
 
34번째 줄:
:<math>k+H = H+k = \{x\in\mathbb Z\colon x\equiv k\pmod n\} \subseteq G</math>
는 <math>k</math>와 [[합동 산술|합동]]인 정수들의 집합이다. 이 경우 <math>H</math>는 [[정규 부분군]]이므로, 잉여류 공간 <math>G/H = \operatorname{Cyc}(n)</math>은 [[몫군]]을 이루며, 이는 크기 <math>n</math>의 [[순환군]]이다.
 
== 같이 보기 ==
* [[여차원]]
* [[대칭동차 공간]]
* [[대칭 공간]]
* [[이중 잉여류]]
 
== 외부 링크 ==
줄 42 ⟶ 48:
* {{매스월드|id=SubgroupIndex|title=Subgroup index}}
* {{웹 인용|url=http://groupprops.subwiki.org/wiki/Subgroup_of_least_prime_index_is_normal|제목=Subgroup of least prime index is normal|웹사이트=Groupprops, The Group Properties Wiki|언어=en}}
 
== 같이 보기 ==
* [[라그랑주의 정리 (군론)|라그랑주의 정리]]
* [[부분군]]
* [[몫군]]
* [[여차원]]
* [[동차공간]]
* [[대칭 공간]]
 
[[분류:군론]]