5項補題

数学、特にホモロジー代数学やアーベル圏の理論の応用において、5項補題（ごこうほだい、）、ファイブ・レンマは、可換図式についての重要で広く用いられる補題である。5項補題はアーベル圏"だけでなく"例えば群の圏においても成り立つ。
5項補題は2つの他の定理、four lemmas を合わせたものと考えることができる。この2つは互いに双対である。
ステートメント.
任意のアーベル圏（アーベル群の圏や与えられた体上のベクトル空間の圏など）や群の圏において以下の可換図式を考える。
5項補題は次のものである。2つの行が完全で、"m" と "p" が同型射で、"l" がエピ射で、"q" がモノ射であれば、"n" も同型射である。
2つの4項補題は以下のものである。<br>
(1) 可換図式
の行が完全で "m" と "p" がエピ射で "q" がモノ射ならば、"n" はエピ射である。
(2) 可換図式
の行が完全で "m" と "p" がモノ射で "l" がエピ射ならば、 "n" はモノ射である。
証明.
これから行う証明で使われる手法は一般に (diagram chasing) と呼ばれる。2つの4項補題を別々に証明することによって5項補題を証明する。
diagram chasing を行うために、ある環上の加群の圏において考える。そうすることで図式にある対象の"元"について話すことができ、図式の射をそれらの元に作用する"関数"（実際は準同型）と考えることができる。すると射がモノ射であることと単射であることは同値であり、エピ射であることと全射であることは同値である。同様にして、完全性を扱うために、通常の写像の意味で核と像を考えることができる。ミッチェルの埋め込み定理のおかげで、証明は任意の（小さい）アーベル圏にもなお適用することができる。これは任意の小さいアーベル圏はある環上の加群の圏として表現可能であるという定理である。群の圏に対しては、下記の加法的な表記を乗法的な表記に変えるだけでよい。可換性が全く使われないことに注意せよ。
さて、(1) を証明するために、"m" と "p" が全射で "q" が単射であると仮定する。
次に、(2) を証明するために、"m" と "p" が単射で "l" が全射と仮定する。
今2つの4項補題を合わせることで5項補題全体が証明される。
応用.
5項補題はしばしば長完全列に適用される。与えられた対称のホモロジーやコホモロジーを計算するとき、大体はホモロジー／コホモロジーのわかっているより単純な部分対象を使って、もとの対象の、わかっていないホモロジー群を含む長完全列を得る。これだけではわかっていないホモロジー群を決定するには十分でないが、もとの対象と部分対象を射を通じてよくわかっている対象と比べれば、それぞれの長完全列の間の射が誘導され、したがって5項補題をわかっていないホモロジー群を決定するのに使うことができる。