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.