Primitive elements in $p$-divisible groups

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.