Skip to main content
3 of 5
edited tags
Greg Stevenson
  • 8.7k
  • 1
  • 40
  • 38

elementary Ext^1 intuition

I am wondering what sort of basic basic intuitive meaning Ext1(M,N) has.
As a base case: if M and N are say, (finite-dimensional) vector spaces (with a compatible group/algebra action), and M and N are indecomposable inequivalent (so Hom(M,N)={0}), can I somehow conclude that Ext1(M,N) is zero?

All I can get from Weibel/Wikipedia is that Ext1(M,N) is a group under the Baer sum operation, and is in bijection with the set of solutions {X} to the short exact sequence 0 --> N --> X --> M --> 0. I don't know how to use this second meaning, but it seems the most hands-on.

Full disclosure: If this sounds like a homework exercise, it (almost) was -- past tense. Although, the problem/text/instructor had no desire for use of Ext or Hom, I just want to know how to use these functors (better). I could give character references (even from some past Berkeley grads) to allay fears....

I would be happy to have a good reference to look this up myself. I hear Rotman's first book was good, but I've only read negative responses to the new edition (and the old one isn't for sale anywhere I've seen), and Weibel is apparently too abstract for me, in some way. I'll post a separate question for that, in fact.

alekzander
  • 411
  • 1
  • 8
  • 14