가군: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) |
||
50번째 줄:
가 존재한다. 만약 <math>R</math>가 가환환일 경우, 좌우 구분 없이 <math>\operatorname{Mod}_R</math>로 쓴다.
<math>R\text{-Mod}</math>와 <math>\text{Mod-}R</math> 둘 다 [[아벨 범주]]를 이룬다. 가군의 범주에 존재하는 주요 연산은 다음과 같다.
{| class=wikitable
|-
! [[영 대상]]
| 자명 가군 <math>\{0\}</math>
|-
| [[곱 (범주론)|곱]] || [[직접곱]] <math>\prod_{i\in I}M_i</math> (유한곱은 [[직합]]과 같음)
|-
| [[쌍대곱]] || [[직합]] <math>\bigoplus_{i\in I}M_i</math> (유한 직합은 직접곱과 같음)
|-
| 텐서곱 || 가군의 텐서곱 <math>\bigotimes_{i\in I}M_i</math>
|}
== 종류 ==
| |||