Lemma 39.19.2. Let $S$ be a scheme. Let $(U, R, s, t, c)$ be a groupoid scheme over $S$.

For any subset $W \subset U$ the subset $t(s^{-1}(W))$ is set-theoretically $R$-invariant.

If $s$ and $t$ are open, then for every open $W \subset U$ the open $t(s^{-1}(W))$ is an $R$-invariant open subscheme.

If $s$ and $t$ are open and quasi-compact, then $U$ has an open covering consisting of $R$-invariant quasi-compact open subschemes.

**Proof.**
Part (1) follows from Lemmas 39.3.4 and 39.13.2, namely, $t(s^{-1}(W))$ is the set of points of $U$ equivalent to a point of $W$. Next, assume $s$ and $t$ open and $W \subset U$ open. Since $s$ is open the set $W' = t(s^{-1}(W))$ is an open subset of $U$. Finally, assume that $s$, $t$ are both open and quasi-compact. Then, if $W \subset U$ is a quasi-compact open, then also $W' = t(s^{-1}(W))$ is a quasi-compact open, and invariant by the discussion above. Letting $W$ range over all affine opens of $U$ we see (3).
$\square$

## Comments (0)