## Finite flat commutative group schemes embed locally into abelian schemes

Let be a finite flat commutative group scheme over a fixed locally noetherian base scheme . In this brief note, I want to explain the proof of the following theorem due to Raynaud.

**Theorem.** There exists, Zariski-locally on , an abelian scheme such that embeds as a closed -subgroup of …