Ext from a principal non-zero-divisor quotient
ID: ext-from-a-principal-non-zero-divisor-quotient
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.
New to topics? Read the docs here!