정규 부분군: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 봇: 틀 이름 및 스타일 정리 |
|||
8번째 줄:
* <math>\ker\phi=N</math>인 [[군 준동형]] <math>\phi\colon G\to H</math>가 존재한다.
* [[정규화 부분군]]이 <math>G</math> 전체이다. 즉, <math>\operatorname N_G(N)=G</math>이다.
* [[정규핵]]이 자기 자신이다. 즉, <math>\operatorname{Core}_G(N)=N</math>이다.
<math>N</math>이 <math>G</math>의 정규 부분군임을 다음과 같이 표기한다.
:<math>N\vartriangleleft G</math>
| |||