For a non-zero-divisor , the free resolution gives degree-zero kernel and degree-one cokernel, and all higher Ext functors vanish. Directly in an injective resolution of the second variable, multiplication by is surjective in every term: the map taking to extends to . Thus is a short exact sequence of complexes and gives the same result. The displayed Hom functor is covariant in ; changing it to changes the variable that is resolved.
Articles by others on the same topic
There are currently no matching articles.