アーベル圏

アーベル圏（アーベルけん、アーベルの名にちなむが、「abelian」の語頭は小文字を用いる。本項執筆者が確認した範囲では、#Rotman p.303、#Mitchell p.33. #MacLane p.198で小文字であった。）とは（コ）チェイン複体のホモロジー/コホモロジーと層のコホモロジーの双方を展開するのに十分な構造を備えた圏である。

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

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

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

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

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

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

 特徴づけ 
加法圏の1番目の条件は以下のようにも言い換えられる：加法圏の２番目の条件は以下のようにも言い換えられる：ここで複積とは以下のように定義される概念である：実は次が成立する：

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

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

 像と余像 
アーベル圏では射の射の核と余核の存在が保証されているので、以下の定義ができる：
が-加群の圏の場合はの余核はなので、の核は通常の意味でのの像に一致する。一般のアーベル圏の場合も、像は圏論的な意味での像の定義を満たす。

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

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

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

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

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

 準備 
に加法を定義するためにいくつか記号を定義する。アーベル圏の対象、に対し、と自身との積をとし、を2つの射とするとき、

   such that  , 

となるものが積の普遍性から一意に存在する。同様に余積と2つの射に対し、射

  such that , 

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

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


は同等射になる。そこでこれら二つを同一視し、2つの射に対し、




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

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

 ホモロジー代数 
アーベル圏には零対象があり、しかも像、核、および余核を定義できるので、アーベル圏上のチェイン複体を
  such that  for 
により定義でき、さらにその完全性
   for 
を定義できるなど、ホモロジー代数を展開するに十分な性質を満たしている。

特にホモロジー代数で必須となる以下の補題はアーベル圏でも成り立つ：
 5項補題#河田 p.193
 蛇の補題#河田 p.189
 ジグザグ補題
 Horseshoe lemma#Rotman p.349.

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

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

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

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

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

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

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

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

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

 注 

 出典 

 注釈 

 文献 

 参考文献 

 原論文 




 その他の文献 






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

Category:ニールス・アーベル
Category:加法圏
Category:数学に関する記事
Category:数学のエポニム
Category:圏の類