Let $A/\mathbb{F}_q$ be an abelian variety where $q=p^r$.
The **$p$-rank** of an abelian variety is the dimension of the geometric $p$-torsion as a $\mathbb{F}_p$-vector space: $$p\operatorname{-rank}(A) = \dim_{\mathbb{F}_p}( A(\overline{\mathbb{F}}_p)[p] ).$$ The $p$-rank is at most the dimension of $A$, with equality if and only if $A$ is ordinary.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by Kiran S. Kedlaya on 2021-03-07 13:23:47

**Referred to by:**

**History:**(expand/hide all)

- 2021-03-07 13:23:47 by Kiran S. Kedlaya (Reviewed)
- 2021-03-07 13:22:25 by Kiran S. Kedlaya
- 2016-10-29 19:22:32 by Christelle Vincent (Reviewed)

**Differences**(show/hide)