2
$\begingroup$

Let $\pi: G \rightarrow S$ be a finite flat group scheme over a locally noetherian connected base scheme $S$. Its degree is defined as the rank of the locally free $\mathcal O_S$-module $\pi_* \mathcal O_G$. Let $H \subset G$ be a closed subgroup scheme of $G$ which is also finite flat over $S$.

I want to show that the degree of $H$ divides the degree of $G$. How does one do this? I guess this must be easy but I'm somehow stuck.

Improve this question
$\endgroup$
3
  • 1
    $\begingroup$ 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$. $\endgroup$
    – Keerthi Madapusi
    Commented May 18, 2012 at 10:28
  • $\begingroup$ 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. $\endgroup$
    – Keenan Kidwell
    Commented May 18, 2012 at 16:24
  • $\begingroup$ @Keenan: that's a good point, I simply forgot the locally noetherian assumption. $\endgroup$
    – Veen
    Commented May 18, 2012 at 17:09

1 Answer 1

Reset to default
4
$\begingroup$

This can be seen from the existence of the quotient $G/H$ as a finite flat $S$-scheme (and an $H$-torsor). One shows that the natural map $G \rightarrow G/H$ is finite flat of order $[H : S]$; the conclusion then follows from the product formula $[G : S] = [G : G/H] [G/H : S]$. Let me give you a reference where all this is spelled out in detail (and which I am basically copying):

Tate, John. Finite flat group schemes. Modular forms and Fermat's last theorem (Boston, MA, 1995), 121–154, Springer, New York, 1997.

What you need is section (3.5) (see also (3.4) and (3.1)).

Improve this answer
$\endgroup$
1
  • $\begingroup$ That's the perfect reference, thanks a lot! $\endgroup$
    – Veen
    Commented May 19, 2012 at 7:27

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .