  We introduce the notion of primitive elements in arbitrary truncated
$p$-divisible groups. By design, the scheme of primitive elements is finite and
locally free over the base. Primitive elements generalize the "points of exact
order $N$," developed by Drinfeld and Katz-Mazur for elliptic curves.
