2
$\begingroup$

Let $p$ be a prime number and $R$ be a Noetherian local ring of characteristic $p$ with residue field $k$. Let $G$ be a finite etale subgroup scheme over $R$ of order $p$. Suppose that the etale $k$-group scheme $G_{s}:=G \times_{S}$Spec$(k)$ is isomorphic to the constant group $\mathbb{Z} / p\mathbb{Z}$. Then is it true that $G$ is itself isomorphic to $\mathbb{Z}/p\mathbb{Z}$ as $R$-groups? (Note that $R$ may not be Henselian).

Thanks...

$\endgroup$

1 Answer 1

5
$\begingroup$

Take $p=3$, and take an étale double cover $X\to S=\mathrm{Spec}(R)$. Let $E$ be a copy of $S$, and $G=E\coprod X$. It is easy to see that there is a unique $S$-group scheme structure on $G$ with $E$ as unit section. Now there are plenty of examples where $X$ is nontrivial but is trivial over the closed point.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.