Let $A$ be a $K$-algebra, and $0 \to M' \to M \to M'' \to 0 $ be an exact sequence of $A$-modules that splits. Show that
$$ 0 \to \operatorname{Ext}^n_A(X,M') \to \operatorname{Ext}^n_A(X,M) \to \operatorname{Ext}^n_A(X,M'') \to 0$$ and
$$ 0 \to \operatorname{Ext}^n_A(M',X) \to \operatorname{Ext}^n_A(M,X) \to \operatorname{Ext}^n_A(M'',X) \to 0$$
are exact sequences of $K$-modules that split, for all $A$-modules $X$ and all $n\geq0$.
I'm unsure how to approach this problem. Do I have to unwind the definition of the corresponding induced maps to prove that the sequences are exact? I have tried using the long exact sequence induced by the short one, but I got nowhere.
Best Answer
You have two options.
Every functor preserves split monomorphisms and split epimorphisms. This means that if you take the LES induced from the SES the corresponding maps will remain split mono and split epi. This shows that the boundary morphisms will be zero, so the LES is just a collection of the desired SES for each $n$.
Any additive functor preserves split exact sequences. This is because a split exact sequence is up to isomorphism a sequence of the form $$0 \rightarrow X \xrightarrow{\operatorname{in}_X} X\oplus Y \xrightarrow{\operatorname{pr}_Y} Y \rightarrow 0$$ which is precisely the kind of data we assume the functor to preserve. So you might also simply use the fact that the Ext functors are additive.