Timeline for Theorem on Formal Schemes
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 28, 2019 at 22:01 | comment | added | user267839 | @abx: ah yes, you are right, sorry for dumb statement. I think the argument for QUESTION 1 is that we consider for $\phi: A \to H^0(O_Z)$ the ideal $\widehat{\mathcal{M}}:= \phi(\mathcal{M}) \cdot H^0(O_Z)$ generated by image of $\mathcal{M}$ and find a $n >0$ with $\widehat{\mathcal{M}}^n=0$ (such $n$ exists because $H^0(O_Z)$ Artin), And this means exactly that the kernel is primary to $\mathcal{M}$. That is it,right? | |
| Oct 28, 2019 at 7:13 | comment | added | abx | "every kernel is prime ideal": why??? $H^0(\mathcal{O}_Z)$ is certainly not a domain. | |
| Oct 28, 2019 at 2:34 | history | asked | user267839 | CC BY-SA 4.0 |