Recall that a [[p-divisible group scheme]] of height $h$ is a codirected diagram $(G_l,i_l)$ where $G_l$ is a group scheme of height $p^{h}l$ and the $i_l::G_l\to G_{l+1}$ are morphisms of group schemes such that $$G_l\stackrel{i_l}{\to}G_{l+1}\stackrel{p^l}{\to}G_{l+1}$$ is exact. ## References * the references at [[simplicial scheme]]