Let $A$ be an elementary abelian p-group and let $\mathbf a\in(a_1,\dots,a_r)\in A^r$. Then the $a_i$ form a basis for $A$ if they generate $A$ and if they are linearly independent in the sense that
Wikidata ID: Q810193