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