Up to
加群 の射影分解はの違いを除いて一意的である，すなわち， の2つの射影分解 と が与えられると，それらの間の鎖ホモトピーが存在する．