2013-06-13 完全対 math アーベル群の準同型 に対し, は完全列. よって が完全列ならば, は完全列. また が完全列ならば, また が完全列ならば, は同型. 定理 完全列 は完全列 を誘導する.