Vector space over a finite field
= Vector space over a finite field
If $\mathbb F_q$ is a finite field, a vector space of finite dimension $d$ over $\mathbb F_q$ has $q^d$ elements. Every infinite-dimensional vector space over $\mathbb F_p$ is an infinite elementary abelian $p$-group under addition.