Lema de Schanuel

Un lema de álgebra homológica que compara dos sucesiones exactas cortas que terminan en el mismo módulo con términos medios proyectivos (o libres), afirmando una isomorfía estable entre los módulos de sílceros correspondientes: K ⊕ P' ≅ K' ⊕ P.