전사 사상: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) |
||
60번째 줄:
[[군 (수학)|군]]과 [[군 준동형]]의 범주 <math>\operatorname{Grp}</math>에서는 다음이 성립한다.
* 전사 사상은 [[전사 함수]]인 [[군 준동형]]이다.
* 전사 군 준동형 <math>q\colon G\twoheadrightarrow Q</math>가 분할 전사 사상이 될 필요충분조건은 <math>G\cong\ker q\rtimes Q</math>가 되는 것이다. 즉, [[짧은 완전열]] <math>1\to\ker q\to G\to Q\to1</math>이 [[분할 완전열]]이 되어야 한다.
* 모든 전사 사상은 정규 전사 사상이다.
| |||