잉여류: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
28번째 줄:
지표가 2인 부분군은 항상 [[정규 부분군]]이다. 보다 일반적으로, <math>p</math>가 <math>|G|</math>의 최소 [[소인수]]라면, 지표가 <math>p</math>인 부분군은 항상 [[정규 부분군]]이다.
== 예 ==
정수의 덧셈군 <math>G = \mathbb Z</math> 속의, <math>n</math>의 배수들로 구성된 부분군
:<math>H = n\mathbb Z</math>
을 생각하자. 그렇다면, <math>k\in\mathbb Z</math>의 잉여류
:<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>의 [[순환군]]이다.
== 외부 링크 ==
| |||