Regarding Yoneda description of Ext group

617 Views Asked by At

This question is regarding the Yoneda description of $Ext^{n}$ group of r modules M and N. I want to know that what is the inverse element of an n-extension of M by N. Let $X.= 0 \to N \to X_n \to X_{n-1}\to \ldots \to X_1 \to M \to 0$ be a representative of a class in $Ext^{n}$. I know the equivalence class of $I.=0 \to N \to N \to 0 \to \ldots \to M \to M \to 0$ is the zero element. Let $\overline{X}.= 0 \to N \to X_n \to X_{n-1}\to \ldots \to X_1 \to M \to 0$ with the map from $N \to X_n$ is the negative of the map from $N \to X_n$ in X. and all other maps are same as X.. I want to prove that Baer sum of X. and $\overline{X}.$ is equivalent to $I.$ Any idea of proof?

1

There are 1 best solutions below

3
On BEST ANSWER

You can write the $n$-extension $X$ as the Yoneda composition $A\circ B$ of a $1$-extension $A$ and an $(n-1)$ extension $B$. Then $\overline X$ is the composition $\overline A\circ B$ of the $1$-extension $\overline A$ that you can imagine and the same $(n-1)$-extension $B$ as before. Since the equivalence relation for $n$-extensions is compatible with Yoneda composition and Baer sum (you should check this at some point), to show that the opposite of $A\circ B$ is equivalent to $\overline A\circ B$ it is enough to show that $A$ and $\overline A$ are opposite.

Do that. :-)