아벨 군: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) |
||
111번째 줄:
:<math>\operatorname{Ab}\to\operatorname{Grp}</math>
의 왼쪽 [[수반 함자]]가 존재하며, 이는 군을 그 [[아벨화]]에 대응시킨다.
또한, 아벨 군의 범주에서 [[유사환]]의 범주로 가는 [[충실충만한 함자]]
:<math>\operatorname{Ab}\to\operatorname{Rng}</math>
가 존재한다. 이는 아벨 군 <math>(G,+,0)</math>를 모든 곱이 0인 [[유사환]] <math>(G,+,\cdot,0)</math>, <math>g\cdot h=0\forall g,h\in G</math>으로 대응시킨다.
=== 모형 이론적 성질 ===
| |||