26
$\begingroup$

Definition of a vector space:

Let $V$ be a set and $(\mathbb{K}, +, \cdot)$ a field.

$V$ is called a vector space over the field $\mathbb{K}$ if:

V1: $(V, +)$ is a commutative group

V2: $\forall \lambda, \mu \in \mathbb{K} \land \forall x, y \in V:$

  1. $1 \cdot x = x$
  2. $\lambda \cdot (\mu \cdot x) = (\lambda \cdot \mu) \cdot x$
  3. $(\lambda + \mu) \cdot x = \lambda \cdot x + \mu \cdot x$
  4. $\lambda \cdot (x + y) = \lambda \cdot x + \lambda \cdot y$

My question:

If you have a vector space over a finite field $\mathbb{K}$, is the set $V$ always finite?

My examples

An example for a finite vector space is

$V = (\mathbb{Z}/2\mathbb{Z})^n, n \in \mathbb{N}$ over the field $\mathbb{Z}/2 \mathbb{Z}$.

I've tried to find a infinite vector space (I mean the number of vectors should be infinite) over a finite field. I chose $\mathbb{Z}/2 \mathbb{Z}$ as my field and $V = \mathbb{R}^2$. But in this case V2.3 doesn't work:

$\lambda = \mu = 1, x = \begin{pmatrix}1\\2\end{pmatrix}$:

$(\lambda + \mu) \cdot x = (1+1)\cdot x = \begin{pmatrix}0\\0\end{pmatrix} \cdot x = 0 \neq \begin{pmatrix}2\\4\end{pmatrix} = 1 \cdot x + 1 \cdot x$

  • 0
    Yes, $\{1, X, X^2, ..., X^n, ... \}$ is an infinite subset of $\mathbb{K}[X]$.2012-09-07

4 Answers 4

28

Yes to your comment below Ahriman's, Moose.

These are not the only examples, though: if $\,\Bbb F=\Bbb F_p\,$ is the prime finite field of order a prime $\,p\,$, then $\,\Bbb F\times \Bbb F\times...\,$ is an infinite vector space over $\,\Bbb F\,$.

In short: a vector space over a finite field is finite iff it is finite dimensional.

  • 0
    @ChrisEagle , that seems to be a matter of naming. I'd rather go in this with the russians' definition: a direct, unrestricted product they call it *cartesian product* (never mind now whether interior or exterior), whereas the direct product is the restricted one (e.g., to "infinite vectors" all the coordinates of which are zero but for a finite number) . The difference between what you call "product" and "sum" seems to be this one, though I'm not sure I'd call it that way.2012-09-07
9

The direct sum $F=\bigoplus_{i\in I} \Bbb F$ is a vector space over $\Bbb F$ of dimension equal to the cardinality of I. Thus you can get a vector field of any dimension, for every field.

2

$\frac{\mathbb{Z}}{2\mathbb{Z}}[X]$ is a vector space but is not finite since it contains $1, X, X^2, ...$

1

If a commutative ring $R$ with unity contains a field $F$, then $R$ is a vector space over $F$. Thus it suffices to find an infinite commutative ring with unity that has a finite field as a subfield. One example is $F[x]$ for any finite field $F$.

  • 0
    Well, I mea$n$t commutative rings with unity that do contain a field. I'll edit to make it more clear2012-09-07