ホモロジー代数における完全系列（かんぜんけいれつ、）あるいは完全列（かんぜんれつ）とは、環上の加群や群などの系列で各射の像空間が次の射の核空間と正確に合致するという意味で完全であるものをいう。R 加群 "X" と写像 "f": "X" → "X" ("i" ∈ Z) からなる（有限または無限）系列において、なるとき、系列は "X" において完全（exact）であるという。また、系列のすべての R 加群において完全であるとき、その系列を完全系列（exact sequence）と呼び、と表記する。なお、系列が "X" において完全であるならば、その定義から明らかにが成り立つ（逆は一般に成り立たない）。例えば、アーベル群の系列で、"f": Z → Z が 2 倍写像 ("x" → 2"x"), "p" を標準射影とすると、これは完全である。実際、2"x" = 0 となる "x" は 0 であり、かつ 0 に限られる（"f" は単射である）ので 0 → Z は完全である。また、"f

出典:wikipedia