By a theorem of Mattuck [*Abelian Varieties over $p$-Adic Ground Fields*, Annals of Mathematics, Second Series, Vol. 62, No. 1 (Jul., 1955), pp. 92-119], for an Abelian variety $A$ of dimension $g$ over a $p$-adic local field $K$ with ring of integers $O\_K$, there is an exact sequence $0 \to O\_K^g \to A(K) \to \{\mathrm{finite}\} \to 0$.


Is there an analogue of this theorem for Abelian varieties over $\mathbf{F}\_q(\!(t)\!)$ (e.g. with $O\_K^g$ replaced by a pro-$p$-group)? The only thing I found is a remark in [Milne, [*Arithmetic Duality Theorems*](http://jmilne.org/math/Books/ADTnot.pdf), Remark I.3.6, bottom of p. 45]. For elliptic curves, there is Proposition 10.2.26 (Filtration of $E(K)$) in [Liu, *Algebraic Geometry and
Arithmetic Curves*, 2nd ed.].



analogue of Theorem of Mattuck for Abelian varieties over $\mathbf{F}_q(\!(t)\!)$
By [Serre, *Lie Algebras and Lie Groups*], p. 116, Theorem and p. 118, Corollary 2, there is an open subgroup of $A(K)$ which is a pro-$p$-group. Therefore, it suffices to show that the torsion subgroup of $A(K)$ is finite, because then there is an exact sequence (algebraically and topologically) $$0 \to P \to A(K) \to F \to 0$$ with $P$ a torsion-free pro-$p$-group and $F$ finite (shrink the pro-$p$-group such that it contains no torsion). By potential semistable reduction, one can assume $A/K$ semi-stable, and since it is clear for tori, $A/K$ of good reduction. Then use [Clark, Pete L. and Xarles, Xavier: [*Local bounds for torsion points on abelian varieties*](http://alpha.math.uga.edu/%7Epete/cx6.pdf). In: Can. J. Math., **60**(3) (2008), 532–555], Proposition 10 to show that the torsion subgroup of $A(K)$ is finite.


Note that in contrast to $p$-adic local fields, $A(K)/p$ is not finite, but uncountably infinite. (Use flat cohomology and the Kummer sequence for $A/K$ giving $$0 \to A(K)/p \to \mathrm{H}^1\_\mathrm{fppf}(K,A[p]) \to \mathrm{H}^1(K,A)[p] \to 0$$ and [Milne, *Arithmetic Duality Theorems*], Theorem III.7.8.)


By [Serre, *Galois cohomology*], §1.1 exercise 1), $P$ is isomorphic to an infinite product of copies of $\mathbf{Z}\_p$.


