So, in R−Mod, we have the rather short sequence
mathrmExt0(A,B)congHomR(A,B)
mathrmExt1(A,B)congmathrmShortExact(A,B)modequiv, equivalence classes of "good" factorizations of 0inHomR(A,B)congmathrmExt0(A,B), with the Baer sum.
Question:
- mathrmExt2+n(A,B)cong???
While I suppose one could pose a conjugate question in algebraic topology/geometry, where the answer might look "simpler", I'm asking for a more directly algebraic/diagramatic understanding of the higher mathrmExt functors. For instance, I'd expect mathrmExt2(A,B) to involve diagrams extending the split exact sequence ArightarrowAoplusBrightarrowB, but precisely what sort of extension? Or is that already completely wrong?
No comments:
Post a Comment