Em álgebra homológica, o lema da ferradura, também chamado de teorema da resolução simultânea, é uma afirmação que relaciona as resoluções de dois objetos e às resoluções de prorrogações de por . Diz que se um objeto é uma extensão de por , então uma resolução de pode ser construído indutivamente com o n-ésimo item na resolução igual ao coproduto dos n-ésimos itens nas resoluções e . O nome do lema vem da forma do diagrama que ilustra a hipótese do lema.Henri Cartan and Samuel Eilenberg Homological algebra, Princeton University Press, 1956.M. Scott Osborne, Basic homological algebra, Springer-Verlag, 2000.
Categoria:Álgebra