정규 부분군: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) |
||
7번째 줄:
* <math>\forall g\in G\colon gN=Ng</math>. 즉, [[좌잉여류]]와 [[우잉여류]]가 일치한다.
* <math>\ker\phi=N</math>인 [[군 준동형]] <math>\phi\colon G\to H</math>가 존재한다.
* [[정규화 부분군]]이 <math>G</math> 전체이다. 즉, <math>\operatorname N_G(N)=G</math>이다.
<math>N</math>이 <math>G</math>의 정규 부분군임을 다음과 같이 표기한다.
:<math>N\vartriangleleft G</math>
| |||