射影加群

数学において、射影加群(しゃえいかぐん、）とは、
表現可能関手 が完全となるような加群 のことである。 自由加群の一般化に相当する。
ホモロジー代数学における基本的な概念のひとつであり、で導入された。
動機.
一般の加群 に対して表現可能関手 は左完全である。
つまり任意の短完全列
に対して
は完全である。
この関手 が完全となる、つまり
が完全となる加群 のことを射影加群と呼ぶ。 
定義.
 を単位元をもつ環とし、以下では加群はすべて左 加群、射はすべて左 加群の準同型を指すことにする。
加群 が射影加群である、あるいは射影的とは次の同値な条件のいずれかが成り立つことをいう。
より一般にアーベル圏 formula_4 の対象 "P" は関手 formula_5 が完全なときに、射影的という。
射影分解と射影次元.
加群 に対し、各 が射影加群であるような次の完全列
を の射影分解という。特にすべての に対して が射影被覆となるときは極小射影分解という。任意の加群には自由分解（上記で射影加群を自由加群に置き換えたもの）が存在し、したがって射影分解も存在する。すべての に対し であるような射影分解を長さ の射影分解という。そのような が存在する場合その最小値を の射影次元といい、存在しない場合は射影次元は という。ただし、 の射影次元は とする。射影次元は と書かれる。これは の極小射影分解の長さに等しい。-加群 と整数 に対して以下は同値。