Lemma 77.9.2. In the situation of Definition 77.9.1.

1. The algebraic space $X$ is a pseudo $G$-torsor if and only if for every scheme $T$ over $B$ the set $X(T)$ is either empty or the action of the group $G(T)$ on $X(T)$ is simply transitive.

2. A pseudo $G$-torsor $X$ is trivial if and only if the morphism $X \to B$ has a section.

Proof. Omitted. $\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).