Timeline for when tensor complex resolves S/I+J?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 13, 2012 at 14:52 | comment | added | Daniel Erman | @today user: Be careful about conflating an ideal $I$ and the corresponding quotient ring $S/I$. The key fact is that $(S/I)\otimes_S (S/J)$ is isomorphic to $S/(I+J)$, which is always true. So I don't think there's anything more to show (after applying Mariano's argument, say). | |
| Jan 13, 2012 at 0:41 | comment | added | today user | Thanks Daniel! Then do we also need to show that $I\otimes J$ is isomorphic to $I+J$? Since we have already just shown that $F\otimes G$ is a minimal free resolution of the tensor product of $I$ and $J$. | |
| Jan 11, 2012 at 20:25 | vote | accept | today user | ||
| Jan 11, 2012 at 12:04 | comment | added | Daniel Erman | I'm having a formatting issue in the third paragraph. If someone knows how to fix it, that'd be great. | |
| Jan 11, 2012 at 12:01 | history | edited | Graham Leuschke | CC BY-SA 3.0 |
escaped some $s
|
| Jan 11, 2012 at 11:56 | history | answered | Daniel Erman | CC BY-SA 3.0 |