아벨 범주: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
69번째 줄:
 
=== 가군 ===
보다 일반적으로, 1을 가진 환 <math>R</math>에 대한 [[왼쪽 가군]]들과 [[가군 준동형]]들의 범주 <math>_R\operatorname{Mod}</math> (또는 [[오른쪽 가군]]들의 범주 <math>\operatorname{Mod}_R\cong{}_{R^{\operatorname{op}}}\operatorname{Mod}</math>)은 [[단사 대상을 충분히 가지는]] 아벨 범주를 이룬다. [[아벨 군]]은 정수 <math>\mathbb Z</math>에 대한 가군이므로, 이는 아벨 군의 범주를 일반화한 것이다.
 
<math>R</math>가 [[왼쪽 뇌터 환]]이라고 하면, 그 위의 [[유한 생성 가군|유한 생성]] [[왼쪽 가군]]들의 범주 <math>_R\operatorname{fgMod}</math> 역시 아벨 범주이다.