Published online by Cambridge University Press: 20 November 2018
If the Hasse invariant of a $P$ -divisible group is small enough, then one can construct a canonical subgroup inside its $P$-torsion. We prove that, assuming the existence of a subgroup of adequate height in the $P$-torsion with high degree, the expected properties of the canonical subgroup can be easily proved, especially the relation between its degree and the Hasse invariant. When one considers a $P$-divisible group with an action of the ring of integers of a (possibly ramified) finite extension of ${{\mathbb{Q}}_{P}}$ , then much more can be said. We define partial Hasse invariants (which are natural in the unramified case, and generalize a construction of Reduzzi and Xiao in the general case), as well as partial degrees. After studying these functions, we compute the partial degrees of the canonical subgroup.