Let be a field of prime characteristic .
Let be an abelian variety of dimension . Let be a prime number.
For the kernel is a finite -group of rank . We define
We have . If , then is an étale formal k-group?.
We define
This is a free module of rank over and also a Galois module.
If , then is a -divisible group of height . In this case we define
as the Dieudonné module of . It is an F-lattice? (defined in Demazure, lectures on p-divisible groups, IV.1, isogenies) over , and in particular a free module of rank over .
For any prime , the assignation
is a functor.
Created on May 28, 2012 at 00:04:22. See the history of this page for a list of all contributions to it.