Lemma 39.10.3. Situation as in Definition 39.10.2, The action $a$ is free if and only if

$G \times _ S X \to X \times _ S X, \quad (g, x) \mapsto (a(g, x), x)$

is a monomorphism.

Proof. Immediate from the definitions. $\square$

There are also:

• 2 comment(s) on Section 39.10: Actions of group schemes

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).