$\mathbb{Z_6}$ is considered a $\mathbb{Z_6}$ free module since it has a basis $\{1\}$ also known as a generator. My question is, don't free modules need a basis over a field? $\mathbb{Z_6}$ is not a field.
My other question is how do we know that a vector space over a field can form a basis?