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?
2026-04-07 05:38:08.1775540288
Regarding Yoneda description of Ext group
617 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
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. :-)