アーベル圏

**アーベル圏**（アーベルけん、）とは（コ）チェイン複体のホモロジー/コホモロジーと層のコホモロジーの双方を展開するのに十分な構造を備えた圏である。

アーベル圏となる圏の具体例としてはアーベル群の圏や環上の加群の圏、アーベル圏上の（コ）チェイン複体の圏、およびアーベル圏に値を取る前層や層の圏が挙げられる。

アーベル圏の著しい性質として**加法圏**になる事、すなわちアーベル圏の対象間の射のクラス\mathrm{Hom}(A,B)がアーベル群になる（事に加え、いくつかのよい性質を満たす）事が挙げられる。

アーベル圏が小さい圏であればアーベル圏は加群の圏に埋め込める（ミッチェルの埋め込み定理）。よって特に加群の圏で成立する事実、例えば5項補題や蛇の補題のようにホモロジー代数を展開する上で必須となる補題を満たす。

マックレーンはグロタンディークが1958年の論文でアーベル圏を定義したとするが、別の文献によれば、アイレンベルグの弟子のが1955年の博士論文で「」の名称でこの概念を提案し、これを知ったグロタンディークが「アーベル圏」という名前でこの概念を広めた。

## 加法圏
上述のようにアーベル圏の著しい性質として加法圏になる事が挙げられるので、本節ではアーベル圏を導入する準備として、加法圏の定義とその性質を述べる。

### 定義
加法圏は以下のように定義される：

### 特徴づけ
加法圏の1番目の条件は以下のようにも言い換えられる：加法圏の２番目の条件は以下のようにも言い換えられる：ここで複積とは以下のように定義される概念である：  A \oplus B \underset{\iota_B}{\overset{p_B}{\rightleftarrows}}  B
がとの**複積**（）であるとは、以下を満たす事を言う：
* p_A \circ \iota_A =\mathrm{id}_A
* p_B \circ \iota_B =\mathrm{id}_B
* \iota_A \circ p_A + \iota_B \circ p_B = \mathrm{id}_{A \oplus B}}}実は次が成立する：

## アーベル圏
本節ではまずアーベル圏の定義を述べ、次にアーベル圏が加法圏になる事を見る。そしてアーベル圏上のホモロジー代数について述べ、最後にアーベル圏が小さい圏であれば加群の圏に埋め込める事を見る。

### 定義
アーベル圏は以下のように定義される。
環をfixするとき、左-加群の圏はアーベル圏である。よって特に\mathbb{Z}-加群の圏、すなわちアーベル群の圏はアーベル圏である。それ以外の具体例は後述する。

### 像と余像
アーベル圏\mathcal{C}では射f~:~A \to Bの射の核と余核の存在が保証されているので、以下の定義ができる：
\mathcal{C}が-加群の圏の場合はの余核はC=B/f(A)なので、c ~:~ B \to B/f(A)の核は通常の意味でのの像f(A)に一致する。一般のアーベル圏の場合も、像は圏論的な意味での像の定義を満たす。

像と双対的に余像も定義できる：

「核の余核」という定義より、\mathcal{C}が-加群の圏の場合、余像は通常の意味での余像A/\mathrm{Ker}f に一致する。一般のアーベル圏の場合も圏論的な意味での余像の定義も満たす。

### 単射と全射
アーベル圏では単射と全射を定義でき、これらはそれぞれモニック射、エピック射に一致する：

### アーベル圏は加法圏
アーベル圏の重要な性質として、アーベル圏が加法圏になる事が挙げられる：

アーベル圏の定義から、零対象の存在性と積の存在性は明らかに従うので、\mathrm{Hom}(A,B)にアーベル群の構造が入ることのみ示せば良い。ここでは\mathrm{Hom}(A,B)上の加法の定義を述べるにとどめ、加法がアーベル群の公理を満たすことの証明は略す。

#### 準備
\mathrm{Hom}(A,B)に加法を定義するためにいくつか記号を定義する。アーベル圏\mathcal{C}の対象、に対し、と自身との積をA \overset{p_1}{\leftarrow} A \times  A \overset{p_2}{\rightarrow} A とし、f_1,f_2 ~:~C \to Aを2つの射とするとき、

: f_1 \times f_2 ~:~C \to A \times A  such that   p_1 \circ (f_1\times f_2) = f_1 ,   p_2 \circ (f_1\times f_2) =  f_2  

となるものが積の普遍性から一意に存在する。同様に余積A \overset{\iota_1}{\rightarrow} A \amalg  A \overset{\iota_2}{\leftarrow} A と2つの射g_1,g_2 ~:~A \to Bに対し、射

: g_1 \amalg g_2 ~:~A \amalg A \to B such that  (g_1\amalg g_2) \circ \iota_1 = g_1  ,  (g_1\amalg g_2) \circ \iota_2 = g_2   

となるものが余積の普遍性から一意に存在する。

#### 加法の定義
、をアーベル圏\mathcal{C}の2つの対象とすると、自然な写像

: A \amalg  B \to A \times B 
は同等射になる。そこでこれら二つを同一視し、2つの射 f,g~:~A \to B  に対し、

: f +_L g := (f \amalg g) \circ (\mathrm{id}_A \times \mathrm{id}_A) ~:~ A \to B
: f +_R g :=  (\mathrm{id}_A \amalg \mathrm{id}_A) \circ (f \times g) ~:~ A \to B

とすると、以下が成立する：

上記の定理からアーベル圏は加法圏である事が従う。

### ホモロジー代数
アーベル圏には零対象があり、しかも像、核、および余核を定義できるので、アーベル圏\mathcal{C}上の'''チェイン複体''' (A_i, \partial_i)_{i \in \mathbb{Z}} を
: \cdots \overset{\partial_{i+2}}{\to} A_{i+1} \overset{\partial_{i+1}}{\to} A_i \overset{\partial_{i}}{\to} A_{i-1} \to \cdots  such that \partial_{i-1} \partial_i=0 for \forall i
により定義でき、さらにその完全性
: \mathrm{Im} \partial_{i+1} = \ker \partial_i   for \forall i
を定義できるなど、ホモロジー代数を展開するに十分な性質を満たしている。

特にホモロジー代数で必須となる以下の補題はアーベル圏でも成り立つ：
* 5項補題
* 蛇の補題
* ジグザグ補題
* Horseshoe lemma

### -加群の圏への埋め込み
アーベル圏はとは限らないので、一般的にはアーベル圏の対象に対して「の元」という言葉は意味を持たない。しかしアーベル圏が小さい圏であれば、アーベル圏は-加群の圏に埋め込むことができ、したがって埋め込み先で「の元」を考える事ができる：

ここで「完全」は以下のように定義する：

なお、関手が完全であれば、３項のみならず任意の長さの完全系列に対して同様の事が成り立つ事を容易に示せる。

上記の定理からわかるように、アーベル圏の図式に関する定理を示したい場合は-加群に埋め込んだ上でその定理を証明する事ができる。よって-加群の図式に対して成り立つ性質、例えば前述の５項補題や蛇の補題は任意のアーベル圏で成立する。

## 具体例
前述のように環に対し左-加群の圏はアーベル圏であり、特にアーベル群の圏はアーベル圏である。また有限生成なアーベル群の圏や捩れアーベル群の圏もアーベル圏であるが、捩れなしのアーベル群の圏は（余核は捩れなしとは限らないので）アーベル圏ではない。よってアーベル圏の充満部分圏はアーベル圏とは限らない。

アーベル圏の定義は射の向きを反対にしても不変なので、以下が成立する：
はアーベル圏である。
}}

前述のように左-加群の圏はアーベル圏なので、上記の定理から右-加群の圏もアーベル圏である。

アーベル圏上でチェイン複体を定義できる事をすでに見たが、チェイン複体のなす圏はアーベル圏になる：アーベル圏の双対もアーベル圏になる事から\mathcal{C}上のコチェイン複体の圏もアーベル圏になる。以上の事から-加群上のホモロジーやコホモロジーをアーベル圏に一般化できる。

アーベル圏上の前層や層もアーベル圏になるので、層係数のコホモロジーもアーベル圏上で展開できる：アーベル圏の前層がアーベル圏になるのは下記の事実から従う：はアーベル圏である。}}

## 注

### 出典

### 注釈

## 文献

### 参考文献
*
*
*
*

### 原論文

* 
* 

### その他の文献
*
*
* 
* 
* 
* 

## 関連項目
*導来圏
*ホモロジー代数
*加法圏