Any countable topological $\mathbb F_p$-vector space has a closed discrete basis

Abstract

It is proved that any countable topological vector space over a finite field $\mathbb F_p$ or, equivalently, any countable Abelian topological group of prime exponent has a closed discrete basis.