Recall that a p-divisible group? GG has the defining properties that pid G:G→Gp \,id_G:G\to G is an epimorphism with finite kernel satisfying G=∪ jkerp jid GG=\cup_j ker\, p^j \, id_G.
Now let AA be any commutative algebraic kk-group such that pid A:A→Ap\, id_A:A\to A is an epimorphism. Then
is a pp-divisible group.