the Barsotti-Tate group of an abelian variety

Recall that a p-divisible group G has the defining properties that pid G:GG is an epimorphism with finite kernel satisfying G= jkerp jid G.

Now let A be any commutative algebraic k-group such that pid A:AA is an epimorphism. Then

A(p):= jkerp jid AA(p):=\cup_j ker \,p^j \,id_A

is a p-divisible group.

Revised on June 9, 2012 14:29:18 by Stephan Alexander Spahn (