About: Horseshoe lemma

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