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

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

is a monomorphism of algebraic spaces.

Proof. Immediate from the definitions. $\square$

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).