>>651の図式を完全列(exact sequence)と呼ぶ。