Permutation groups on countable vector spaces over prime fields

Abstract

We describe all closed permutation groups which act on the set of vectors of a countable vector space $V$ over a prime field of odd order and which contain all automorphisms of $V$. In particular, we prove that their number is finite. These groups correspond, up to first-order interdefinability, precisely to all structures with a first-order definition in $V$.