1

I am trying to do two things. First, come up with an explicit example of a vector space over a finite field (checking the axioms for vector space would be helpful). Second, come up with an explicit example of a linear transformation from that domain to a vector space over an infinite field (I'm having trouble understanding if a linear transformation necessitates both the domain and codomain to be vector spaces over the same field).

Any help in stating these examples would be appreciated.

EDS
  • 592
  • Any Field is a vector space over itself. – lulu Jan 02 '18 at 03:34
  • You mean that the transformation is linear over the finite field? – rschwieb Jan 02 '18 at 03:36
  • 1
    You need to keep the same ground field for your linear transformations. – Randall Jan 02 '18 at 03:38
  • It is not clear what you might mean by a linear map between vector spaces over different fields. One defining property of a linear map is that $L(\alpha \vec v)=\alpha L(\vec v)$ so we need to know how to multiply by $\alpha$ on both spaces. Of course, your finite field might be a subfield of the infinite field...but that's not a very interesting example (as you are then regarding the target vector space as being defined over the subfield). – lulu Jan 02 '18 at 03:40
  • @rschwieb yes, some T: V -->W with V finite, W infinite. – EDS Jan 02 '18 at 03:53
  • @lulu of course, that should have been obvious to me. As for your second comment, I am confused. What do you mean by "defined over the subfield"? – EDS Jan 02 '18 at 03:55
  • here is an example: let $\mathbb F=\mathbb F_p(t)$ be the (infinite) field of rational functions over some finite field. Then $\mathbb F$ can be thought of as a one dimensional vector space over itself or as an infinite dimensional vector space over $\mathbb F_p$. Thus the identity map $\mathbb 1: \mathbb F\to \mathbb F$ can be viewed as a linear map from a vector space over $\mathbb F_p$ to a vector space over vector space over $\mathbb F$. – lulu Jan 02 '18 at 11:20

2 Answers2

1

One of the great things about linear algebra is that almost all the stuff you do with linear algebra over the reals extends to any field (including finite fields).

Let's start by considering the finite field $\mathbb{Z} / \mathbb{3Z}$, and consider the cartesian product of this with itself (i.e. vectors with two entries from the field of integers mod 3). We're looking at $(\mathbb{Z} / \mathbb{3Z})^2$.

Do the axioms hold?

  1. Is it an abelian group under addition? Yes. Addition commutes (and is associative) and is closed, there is an identity (zero vector), and by existence of additive inverses there exists a unique inverse for every vector.

  2. Left and right distributivity by scalar multiplication holds.

  3. For $u, v$ in the space, is $au+bv$ in the space, where $a, b \in \mathbb{Z} / \mathbb{3Z}$? You can verify that this holds as well.

As user Randall said (I directly quote), you need to keep the same ground field for your linear transformations. Linearity is always with respect to a field, because the axioms for linearity rely on addition and scalar multiplication in that field. (Sometimes, people will even use the word K-linear to denote a linear map with respect to a field K, which should convince you that linearity is really tied to some notion of a base field.)

I would also like to make clear that the language of "vector subspaces" also makes perfect sense in a vector space over a field. Consider $(\mathbb{Z} / \mathbb{3Z})^3$ (vectors with 3 entries) and then consider the subspace consisting of all vectors with zero in the third entry. (In plain old $\mathbb{R}^3$, this is just a plane spanned by two axes.) You can verify that this subspace is a vector space.

BRSTCohomology
  • 1,156
0

Let $\mathbb{F}$ be any field. Define $V^n$ to be the set of all $n$-component vectors with entries from $\mathbb{F}$. Given slot-wise addition and scaling, this is an $\mathbb{F}$-vector space. You won't be shocked that any f.d. $\mathbb{F}$-vector space of dimension $n$ is isomorphic to $V^n$.

Randall
  • 18,542
  • 2
  • 24
  • 47