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.