Lemma 77.16.1. Let $B \to S$ as in Section 77.3. Let $(U, R, s, t, c)$ be a groupoid in algebraic spaces over $B$. The algebraic space $G$ defined by the cartesian square

is a group algebraic space over $U$ with composition law $m$ induced by the composition law $c$.

## Comments (0)