「完全系列」の版間の差分

: <math>A \stackrel{f}{{}\hookrightarrow{}} B \stackrel{g}{{}\twoheadrightarrow{}} C</math>

なるかたちの完全系列を'''短完全列''' {{lang|en|(short exact sequence)}} と呼ぶ。このとき、''A'' は ''B'' の部分対象と同一視され、''C'' は商対象 ''B''/''A'' と同一視される。短完全列が分裂するあるいは分解するとは、'''切断'''あるいは'''断面''' {{lang|en|(''section'')}} と呼ばれる写像 ''s'': ''C'' &rarr; ''B'' で

となるものが存在することを言う。