射影加群

数学において、射影加群(しゃえいかぐん、）とは、
表現可能関手  が完全となるような加群  のことである。 自由加群の一般化に相当する。
ホモロジー代数学における基本的な概念のひとつであり、で導入された。

動機 
一般の加群  に対して表現可能関手  は左完全である。
つまり任意の短完全列

に対して

は完全である。
この関手  が完全となる、つまり

が完全となる加群  のことを射影加群と呼ぶ。

定義 
 を単位元をもつ環とし、以下では加群はすべて左  加群、射はすべて左  加群の準同型を指すことにする。
加群  が射影加群である、あるいは射影的とは次の同値な条件のいずれかが成り立つことをいう。

 関手  が完全である、つまり任意の短完全列   に対して  も短完全列である
  はある自由加群の直和因子と同型である
 任意の全射  に対して  も全射である
 任意の加群  に対して  
 任意の加群  と正の整数  に対して 
 任意の全射  と射  に対して  となる射  が存在する

より一般にアーベル圏  の対象 P は関手  が完全なときに、射影的という。

例 
 環  の直和  に対して、 は射影的な  加群であるが、自由加群ではない。

性質 
 環  は半単純 ⇔ すべての左  加群は射影的
 はすべて射影加群 ⇔  は射影加群
 可換局所環上の有限生成射影加群は自由加群
 体係数多項式環上の有限生成射影加群は自由加群 （:en:Quillen-Suslin theorem）

射影分解と射影次元 
加群  に対し、各  が射影加群であるような次の完全列

を  の射影分解という。特にすべての  に対して  が射影被覆となるときは極小射影分解という。任意の加群には自由分解（上記で射影加群を自由加群に置き換えたもの）が存在し、したがって射影分解も存在する。すべての  に対し  であるような射影分解を長さ  の射影分解という。そのような  が存在する場合その最小値を  の射影次元といい、存在しない場合は射影次元は  という。ただし、 の射影次元は  とする。射影次元は  と書かれる。これは  の極小射影分解の長さに等しい。-加群  と整数  に対して以下は同値。
 .
 任意の -加群  に対して、
 任意の  と任意の -加群  に対して、

関連項目 
 Ext群
 入射加群
 平坦加群
 射影被覆

脚注

参考文献 
 
  (Review by S. MacLane)
 
 
  数学 sugaku1947.58.413

加群
加群論
数学に関する記事