完全系列

ホモロジー代数における完全系列（かんぜんけいれつ、）あるいは完全列（かんぜんれつ）とは、環上の加群や群などの系列で各射の像空間が次の射の核空間と正確に合致するものをいう。
定義.
R 加群 "X""i" と写像 "f""i": "X""i" → "X""i"+1 ("i" ∈ Z) からなる（有限または無限）系列
において、formula_2 となるとき、系列は "X""n" において完全（exact）であるという。特に、次の事実が成り立つ：
系列がすべての R 加群 "X""i" において完全であるとき、その系列を完全系列（exact sequence）と呼び、
などと表記する。なお、系列が "X""n" において完全であるならば、その定義から明らかに
が成り立つ（逆は一般に成り立たない）。
例.
例えば、アーベル群の系列
で、"f": Z → Z が 2 倍写像 ("x" → 2"x"), "p" を標準射影とすると、これは完全である。実際、2"x" = 0 となる "x" は 0 であり、かつ 0 に限られる（"f" は単射である）ので 0 → Z は完全である。また、"f", "p" はアーベル群の準同型で、im("f") = 2Z = ker("p") であることは明らかである。最後に Z/2Z → 0 は Z/2Z の全ての元を 0 とする準同型で、その核は Z/2Z 全体となるが、"p" は全射であるからこれも完全である。
一般に、考えているアーベル圏における零対象を 0 であらわすとき、
が完全であることはそれぞれ "f" が単射、"g" が全射であることと同値である。"f": "A" → "B" がアーベル圏の射（たとえば群の圏における群準同型、加群の圏における準同型など）であるとき
は完全列である。
1 を単位群とし、群 "G" に対し、Aut("G") をその自己同型群、"Z"("G") を中心、Inn("G") を内部自己同型群、Out("G") = Aut("G")/Inn("G") を外部自己同型群とすると
なる完全列を得る。
短完全列.
特に、0 → "A" → B → C → 0 あるいは同じことだが
なるかたちの完全系列を短完全列 と呼ぶ。このとき、"A" は "B" の部分対象と同一視され、"C" は商対象 "B"/"A" と同一視される。短完全列が分裂するあるいは分解するとは、切断あるいは断面 と呼ばれる写像 "s": "C" → "B" で
となるものが存在することを言う。
長完全列.
チェイン複体の短完全列に蛇の補題あるいはジグザグ補題を適用すれば、ホモロジーの間の長完全列（自然数で添え字づけられた完全列）が得られる。