11

Let $R$ be a commutative ring with unit and $I$ and $J$ are nonzero ideals of $R$. Do we have a nice description for $\mathrm{Ext}^1_R(R/I,R/J)$?

What do I mean by a nice description? For example $$\mathrm{Tor}_1^R(R/I,R/J)=(I\cap J)/IJ,$$ so I would say that this is a nice description. So can we find something like this for $\mathrm{Ext}$, say for $J=0$? We do have a description for $\mathrm{Ext}$ when $J=I$, $$\mathrm{Ext}^1_R(R/I,R/I)=\mathrm{Hom}(\mathrm{Tor}^1_R(R/I,R/I), R/I)$$

Zev Chonoles
  • 129,973
messi
  • 1,297
  • 5
    Let $M$ be any $R$-module and $I$ an ideal. Then for each element $m\in M$, there is an $R$-linear map $g_m: I \rightarrow M$ given by $g_m(i) = im$. Let $M_I := {g_m \mid m \in M}$. Then $M_I$ is an $R$-submodule of $M$ and $$\operatorname{Ext}^1_R(R/I, M) \cong \operatorname{Hom}_R(I,M) / M_I.$$ Is that a nice description? – neilme Apr 26 '13 at 07:12
  • @neilme: Why don't you post this as an answer? – Martin Brandenburg Apr 26 '13 at 08:27
  • @neilme, Since "nice description" is vague, i cannot say it is not "nice". I knew this description. But the problem in this description is that $Hom(I,R)$ is not that "easy" to describe. Do we have a good description of $Hom(I,R)$ for say a nice ring like Gorenstein ring? – messi Apr 26 '13 at 09:25
  • @neilme, In my previous comment i meant $Hom(I,M)$. – messi Apr 26 '13 at 10:26
  • 4
    In order to get a better answer, you have to specify what you mean by "nice". – Martin Brandenburg Apr 26 '13 at 22:54
  • @neilme Can you give a reference for this computation? Also, is there a way to turn an equivalence class of morphisms in $\text{Hom}_R(I,M)$ into an explicit short exact sequence? I don't see how I could do this. – 54321user Aug 09 '16 at 22:58
  • 1
    @user251222 Reference? I dunno; it just comes from Homming the sequence $0 \rightarrow I \rightarrow R \rightarrow R/I \rightarrow 0$ into $M$. The map from $M$ to $\text{Hom}_R(I,M)$ sends $m$ to $g_m$, so your sequence of four splits into two short exact sequences, the second one of which is $0 \rightarrow M_I \rightarrow \text{Hom}_R(I,M) \rightarrow \text{Ext}^1_R(R/I,M) \rightarrow 0$. As for your second question, I don't know offhand. – neilme Aug 09 '16 at 23:33

0 Answers0