아벨 범주

호몰로지 대수학에서 **아벨 범주**(Abel範疇, )는 아벨 군의 범주 또는 주어진 환에 대한 가군의 범주와 유사한 성질을 가진 범주이다. 아벨 범주에서는 호몰로지 대수학의 여러 개념들을 정의할 수 있다.

## 정의
범주 \mathcal C에 대하여, 다음 두 조건들은 서로 동치이며, 이를 만족하는 범주를 **아벨 범주**라 한다.
* \mathcal C는 국소적으로 작은 범주이며, 다음과 같은 구조들을 가진다.
** 영 대상 0\in\mathcal C이 존재한다.
** \mathcal C의 임의의 유한 개의 원소 A_1,\dots,A_n에 대하여, 곱 A_1\times A_2\times\cdots\times A_n과 쌍대곱 A_1\oplus A_2\oplus\cdots\oplus A_n이 항상 존재한다.
** 모든 단사 사상은 정규 단사 사상이며, 모든 전사 사상은 정규 전사 사상이다. 즉, 모든 단사 사상은 다른 사상의 핵이고, 모든 전사 사상은 다른 사상의 여핵이다.
* \mathcal C는 다음 성질들을 만족시킨다.
** (준가법성) \mathcal C는 아벨 군의 범주 \operatorname{Ab} 위의 풍성한 범주이다. 즉, 모든 A,B\in\mathcal C에 대하여, \hom(A,B)는 아벨 군이며, 임의의 A,B,C\in\mathcal C 및 h,k\colon A\to B, f,g\colon B\to C에 대하여 (f+g)(h+k)=fh+gh+fk+gk이다.
** (가법성) \mathcal C의 임의의 유한 개의 원소 A_1,\dots,A_n에 대하여, 곱 A_1\times A_2\times\cdots\times A_n과 쌍대곱 A_1\coprod A_2\coprod\cdots\coprod A_n이 항상 존재한다. (준가법성에 따라서, 유한 곱은 유한 쌍대곱과 같다.)
** (준아벨성 ) 모든 사상이 핵과 여핵을 가진다.
** (아벨성) 모든 단사 사상은 정규 단사 사상이며 모든 전사 사상은 정규 전사 사상이다.
두 번째 정의에서, 처음 세 조건만을 만족시키는 범주를 **준아벨 범주**(, 처음 두 조건만을 만족시키는 범주를 **[[가법 범주]]**, 처음 조건만을 만족시키는 범주를 **[[준가법 범주]]**라고 한다.

## 성질
아벨 범주의 개념은 자기 쌍대 개념이다. 즉, 아벨 범주의 반대 범주는 항상 아벨 범주이다. 아벨 범주는 정의에 따라 유한 완비 범주이자 유한 쌍대 완비 범주이지만, 완비 범주나 쌍대 완비 범주일 필요는 없다.

아벨 범주에서는 완전열과 분할 완전열, 완전 함자, 유도 함자 등의 개념을 정의할 수 있으며, 또한 4항 보조정리 · 5항 보조정리 · 뱀 보조정리 · 지그재그 보조정리 등이 성립한다.

### 사상의 분해
아벨 범주 속에서, 임의의 사상 f\colon A\to B은 어떤 단사 사상 \iota와 전사 사상 \pi의 합성
:f=\iota\circ\pi
:\pi\colon A\twoheadrightarrow C
:\iota\colon C\hookrightarrow B
으로 나타낼 수 있다. 또한, 이러한 분해는 유일한 동형 아래 유일하다. 즉, 또다른 이와 같은 분해
:f=\iota\circ\pi=\iota'\circ\pi'
:\pi\colon A\twoheadrightarrow C'
:\iota\colon C'\hookrightarrow B
가 주어졌을 때, 다음 그림을 가환하게 만드는 유일한 동형 사상 i\colon C\to C'이 존재한다.
:
\begin{matrix}
A&\xrightarrow\pi &C&\xrightarrow\iota&B\\
&{\scriptstyle\pi'}\searrow&\downarrow\scriptstyle\exists!i&\nearrow\scriptstyle\iota'\\
&&C'
\end{matrix}

이 경우, \iota를 f의 **[[상 (수학)|상]]**(), \pi를 f의 **여상**(剩像, )이라고 한다.

### 부분 대상
아벨 범주 속에서, 임의의 대상 A의 부분 대상들의 부분 순서 집합 \operatorname{Sub}(A)는 항상 유계 격자를 이루며, 또한 항상 모듈러 격자를 이룬다.

### 크기
임의의 아벨 범주 \mathcal A와 그 대상들의 집합 S \subset \operatorname{ob}(\mathcal A)에 대해, 다음 조건을 만족시키는 충만한 부분 범주 \mathcal A'가 존재한다.

* 작은 아벨 범주이다.
* 포함 함자 \iota_{\mathcal A', \mathcal A}\colon \mathcal A' \hookrightarrow \mathcal A가 완전 함자이다.
* S \subset \operatorname{ob}(\mathcal A')
만일 \mathcal A가 단사 대상(사영 대상)을 충분히 가진다면 추가로 다음 조건을 만족하도록 \mathcal A'를 찾을 수 있다.

* 단사 대상(사영 대상)을 충분히 가진다.
* 포함 함자 \iota_{\mathcal A', \mathcal A}\colon \mathcal A' \hookrightarrow \mathcal A는 단사 대상(사영 대상)을 보존하며 반사한다.

### 미첼 매장 정리
**미첼 매장 정리**()에 따르면, 임의의 작은 아벨 범주 \mathcal A에 대하여, 다음 조건들을 만족시키는 환 R 및 함자
:I\colon\mathcal A\to R\text{-Mod}
가 존재한다.
* I는 충실충만한 함자이다.
* I는 완전 함자이다.
따라서, 임의의 (작은) 아벨 범주는 가군들의 범주로 생각할 수 있으며, 특히 원소나 부분 집합과 같은 집합론적·가군론적 개념을 증명 도중 사용할 수 있다. 위의 정리를 적용하면 작지 않은 아벨 범주에도 적용할 수 있다.

## 예
### 아벨 군
아벨 군들과 군 준동형들의 범주 \operatorname{Ab}는 아벨 범주의 가장 대표적인 예이며, 이는 그로텐디크 아벨 범주를 이룬다. 이는 아벨 범주의 공리들을 다음과 같이 만족시킨다.
* \operatorname{Ab}에서 영 대상은 자명군 \{0\}이다.
* \operatorname{Ab}'에서 이진 곱(직접곱)과 이진 쌍대곱(직합)은 일치한다. (\operatorname{Ab}에서 무한 직접곱과 무한 직합은 서로 다를 수 있다.)
* 모든 단사 사상이 정규 단사 사상임은 아벨 군의 모든 부분군이 정규 부분군임을 의미한다.
* 모든 전사 사상이 정규 전사 사상임은 다음과 같다. 임의의 전사 군 준동형 \phi\colon G\to H은 몫군 H\cong G/(\ker\phi)로 나타낼 수 있다. 즉, \phi는 \ker\phi\hookrightarrow G의 여핵이다.
또한, 아벨 군의 범주의 반대 범주 \operatorname{Ab}^{\operatorname{op}} 역시 아벨 범주를 이룬다.

마찬가지로, 다음과 같은 범주들은 아벨 범주를 이룬다. (그러나 이는 그로텐디크 아벨 범주가 아니다.)
* 유한 생성 아벨 군들의 범주 \operatorname{fgAb}
* 유한 아벨 군들의 범주 \operatorname{finAb}

반면, 모든 군의 범주 \operatorname{Grp}의 경우 정규 부분군이 아닌 부분군이 존재하므로 아벨 범주를 이루지 않는다.

### 가군
보다 일반적으로, 1을 가진 환 R에 대한 왼쪽 가군들과 가군 준동형들의 범주 _R\operatorname{Mod} (또는 오른쪽 가군들의 범주 \operatorname{Mod}_R\cong{}_{R^{\operatorname{op}}}\operatorname{Mod})은 그로텐디크 아벨 범주를 이룬다. 아벨 군은 정수 \mathbb Z에 대한 가군이므로, 이는 아벨 군의 범주를 일반화한 것이다.

R가 왼쪽 뇌터 환이라고 하면, 그 위의 유한 생성 왼쪽 가군들의 범주 _R\operatorname{fgMod} 역시 아벨 범주이다.

### 층
X가 위상 공간이라고 하자. 그렇다면, 이 위에 아벨 군 값을 가진 층들의 범주 \operatorname{Sh}_X^{\operatorname{Ab}} 또한 그로텐디크 아벨 범주를 이룬다. 보다 일반적으로, 임의의 위치 위의, 아벨 군 값의 층의 범주는 그로텐디크 아벨 범주를 이룬다.

반면, 위상 공간 위에 존재하는 벡터 다발들의 범주는 아벨 범주가 아니다. 이는 핵이 아닌 단사 사상이 존재하기 때문이다.

### 가군층
(X,\mathcal O_X)가 환 달린 공간이라고 하자. 그렇다면, \mathcal O_X-가군층들의 범주 \mathcal O_X\text{-Mod}는 그로텐디크 아벨 범주를 이룬다. \mathcal O_X-연접층들의 범주는 아벨 범주를 이루지만 쌍대 완비 범주가 아니다.

만약 X가 스킴이라면, 준연접층의 범주 \operatorname{QCoh}(X) 역시 그로텐디크 아벨 범주를 이룬다.

### 함자 범주
아벨 범주 \mathcal A와 작은 범주 \mathcal C가 주어졌다고 하자. 그렇다면, 함자 범주 \mathcal A^{\mathcal C}=\hom_{\operatorname{Cat}}(\mathcal C,\mathcal A)는 아벨 범주를 이룬다.

아벨 범주 \mathcal A와 \operatorname{Ab}-풍성한 작은 범주 \mathcal C가 주어졌다고 하자. 그렇다면, \operatorname{Ab}-풍성한 함자들의 범주 \hom_{\operatorname{Ab-Cat}}(\mathcal C,\mathcal A) 역시 아벨 범주를 이룬다.

## 역사
데이비드 북스바움은 이 개념을 1955년에 "완전 범주"()라는 이름으로 도입하였다. (이 용어는 오늘날 다른 개념을 뜻한다.)

이후 1957년에 알렉산더 그로텐디크가 이를 "아벨 범주"()라는 이름으로 독자적으로 재도입하였다. 그로텐디크는 이 논문에서 층 코호몰로지와 군 코호몰로지를 아벨 범주의 개념을 사용하여 일관되게 다루는 데 성공하였다. 이 논문은 도호쿠 대학 저널에 출판되었으므로 흔히 "도호쿠 논문"이라고 불린다. 곧 1960년에 피에르 가브리엘()은 박사 학위 논문에서 아벨 범주의 이론을 정리하였다.

이후 솔 루브킨()과 피터 존 프레이드()가 모든 아벨 범주는 어떤 가군 범주 속에 충실한 완전 함자로 매장될 수 있다는 것을 보였으며, 곧 배리 미첼()은 이 함자를 항상 충실충만한 함자로 잡을 수 있음을 보였다.

## 같이 보기
* 삼각 분할 범주

## 각주

* 

## 외부 링크
* 
* 
* 
* 
* 
* 
* 
* 

분류:가법적 범주
분류:호몰로지 대수학
분류:닐스 헨리크 아벨