Timeline for Degree of finite group schemes
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 19, 2012 at 7:27 | vote | accept | Veen | ||
| May 18, 2012 at 17:44 | answer | added | Kestutis Cesnavicius | timeline score: 4 | |
| May 18, 2012 at 17:10 | history | edited | Veen | CC BY-SA 3.0 |
added 19 characters in body
|
| May 18, 2012 at 17:09 | comment | added | Veen | @Keenan: that's a good point, I simply forgot the locally noetherian assumption. | |
| May 18, 2012 at 16:24 | comment | added | Keenan Kidwell | Maybe you want to assume your $\pi$ is finite locally free instead of just finite flat, if your $S$ might not be locally Noetherian. I feel like $\pi_*\mathscr{O}_G$ might not be locally free if $\pi$ is not locally of finite presentation. | |
| May 18, 2012 at 10:28 | comment | added | Keerthi Madapusi | The proof should be the same as for Lagrange's theorem: $H$ acts freely on $G$ by translations, making $G$ an $H$-torsor over $G/H$. | |
| May 18, 2012 at 8:00 | history | edited | Olivier Benoist |
edited tags
|
|
| May 18, 2012 at 7:51 | history | asked | Veen | CC BY-SA 3.0 |