Traverso’s isogeny conjecture for p -divisible groups

Let k be an algebraically closed field of characteristic p > 0. Let c, d ∈ ℕ. Let b_c,_d ≥1 be the smallest integer such that for any two p-divisible groups H and H' over k of codimension c and dimension d the following assertion holds: If H[p^bcd ] and H'[p^bcd] are isomorphic, then H and H' are isogenous. We cd show (Formula Present)that This proves Traverso’s isogeny conjecture for p-di- visible groups over k.