Hello everyone. Sorry if the question is too basic.
I have a finite field $\mathbb{F}_q$ and with $k,n\in\mathbb{N}$ we define $C\subseteq \mathbb{F}_q^n$ as a $k$-dimensional linear subspace, calling $C$ a linear code.
Now we can also say that the basis for $C$ provides an isomorphism $\mathbb{F}_q^k \to C$. Does this mean that $\text{Span}(\text{Basis}(C))=\mathbb{F}_q^k$?
Can we say that for $C\subseteq\mathbb{Z}_2^8$ with $\{(1,0,0,0,0,0,0,0),(0,1,0,0,0,0,0,0),(0,0,1,0,0,0,0,0),(0,0,0,1,0,0,0,0)\}$ providing an isomorphism to $\mathbb{Z}_2^4$? That is, we are saying in this case $k=4…