Horseshoe lemma
ホモロジー代数において、horseshoe lemma は、simultaneous resolution theorem と呼ばれることもあるが、2つの対象 formula_1 と formula_2 の分解を formula_1 の formula_2 による拡張の分解に関係づけるステートメントである。それは次のようなものである。対象 formula_5 がformula_1 の formula_2 による拡張であれば、formula_5 の分解は、分解の "n" 番目の項が formula_1 と formula_2 の分解における "n" 番目の項の余積に等しいように帰納的に構成することができる。補題の名前は補題の仮定を描く図式の形に由来する。