Definition 39.4.5. Let $S$ be a scheme. Let $(G, m)$ be a group scheme over $S$.

1. We say $G$ is a smooth group scheme if the structure morphism $G \to S$ is smooth.

2. We say $G$ is a flat group scheme if the structure morphism $G \to S$ is flat.

3. We say $G$ is a separated group scheme if the structure morphism $G \to S$ is separated.

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