Timeline for Is the primitive element theorem a cohomological statement?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 21, 2013 at 20:11 | vote | accept | Bruno Joyal | ||
| Mar 21, 2013 at 3:01 | answer | added | Steven Landsburg | timeline score: 13 | |
| Mar 21, 2013 at 2:58 | comment | added | Bruno Joyal | This is the sort of thing that I have in mind: For a Dedekind domain $A$, every projective $A$-module is free if and only if $\text{Pic}(A) = H^1(X, \mathcal O_X^*) = 0$ (where $X=\text{Spec }A$). | |
| Mar 21, 2013 at 2:57 | comment | added | Steven Landsburg | Mariano: Presumably the statement is that $H^1(Spec(R),GL_n)=0$ for all $n$. | |
| Mar 21, 2013 at 2:54 | comment | added | Mariano Suárez-Álvarez | What vanishing statement is the same as "projective=free over a PID"? | |
| Mar 21, 2013 at 2:52 | history | asked | Bruno Joyal | CC BY-SA 3.0 |