Results 1 to 6 of 6

Math Help - integers a vector space over Zmod 2

  1. #1
    Senior Member
    Joined
    Dec 2008
    Posts
    288

    integers a vector space over Zmod 2

    I'm having a little trouble understanding vector spaces over abstract fields and I was wondering are the integers a vector space over the field Z mod 2. thanks for any help
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,317
    Thanks
    697

    Re: integers a vector space over Zmod 2

    when referred to as a field Z2 is typically called F2 (that should look like this: F_2) or sometimes GF_2 (for "galois field").

    this field is finite, so all finite-dimensional vector spaces over F2 are also finite (for example, F2 x F2 has four elements).

    Z is infinite, so Z cannot possibly be a finite-dimensional vector space over F2.

    well, you might say, how about an infinite-dimensional vector space over F2? again, here that is impossible.

    suppose v is ANY vector in an infinite-dimensional vector space over F2.

    then v+v = 1v + 1v = (1+1)v = 0. so our vector space cannot be the integers, because there is only ONE integer n for which n+n = 2n = 0,

    and that is, the integer 0.

    for a finite-dimensional vector space V over a field F, the most profitable way to think of V is: dim(V) copies of F.

    for infinite-dimensional vector spaces the situation is more complicated, because these can display more variety,

    in general, finding a basis for an infinite-dimensional vector space is a very complicated question, although some

    infinite-dimensional spaces are "nice", like F[x], the space of all polynomials in F, which has the basis {1,x,x^2,x^3,.....etc.}

    which is countable.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21

    Re: integers a vector space over Zmod 2

    Something to always check, as Deveno well points out (although implicitly), is that if V and W are isomorphic as vector spaces, they are in particular, isomorphic as abelian groups. And, as Deveno pointed out, \mathbb{Z}_2^{\lambda} for any cardinal \lambda has the property that 2\mathbb{Z}^\lambda=\{0\} which can't be true for \mathbb{Z}.


    EDIT: I feel as though I should clarify, just in case this wasn't clear, the fact that I stated about \mathbb{Z}^\lambda was not because any \mathbb{Z}_2-space is isomorphic to such a space but because any \mathbb{Z}_2-embeds into such a space. Any \mathbb{Z}_2-vector space is isomorphic to a vector space of the form \mathbb{Z}^{\oplus\lambda}.
    Last edited by Drexel28; October 10th 2011 at 02:10 PM.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,317
    Thanks
    697

    Re: integers a vector space over Zmod 2

    personally, i'm a big fan of doing things in this order:

    1). studying R^n and matrices for a little bit.
    2). learning a little group theory.
    3). learning linear algebra proper.
    4). learning some more group theory, a little ring theory, and then tackling R-modules.

    often the order of 2 and 3 is transposed, or 2 is omitted entirely. this often obscures some of the natural motivations for why we care about linear transformations, null spaces, subspaces and images spaces (span sets). abelian groups are very "nice" algebraic structures, and much of the regularity of linear algebra comes from this. in fact, i feel too much emphasis is placed on the underlying field in most people's first look at linear algebra, the only reason we want a field in the first place, is so we have enough algebraic rules for something like row-reduction to work. so even R has "too much structure", working over Q would be "good enough".
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21

    Re: integers a vector space over Zmod 2

    Quote Originally Posted by Deveno View Post
    personally, i'm a big fan of doing things in this order:

    1). studying R^n and matrices for a little bit.
    2). learning a little group theory.
    3). learning linear algebra proper.
    4). learning some more group theory, a little ring theory, and then tackling R-modules.

    often the order of 2 and 3 is transposed, or 2 is omitted entirely. this often obscures some of the natural motivations for why we care about linear transformations, null spaces, subspaces and images spaces (span sets). abelian groups are very "nice" algebraic structures, and much of the regularity of linear algebra comes from this. in fact, i feel too much emphasis is placed on the underlying field in most people's first look at linear algebra, the only reason we want a field in the first place, is so we have enough algebraic rules for something like row-reduction to work. so even R has "too much structure", working over Q would be "good enough".
    I would agree with that. I definitely think people have a tendency to play up all the features of a structure, forgetting that each component of the structure is important. Having done a lot of 'set theory for the working mathematician' I have definitely noticed that a lot of people forget to check cardinalities! You don't know how often someone will ask my why structure A and structure B aren't equivalent (in some concrete category ), and I'll say "They aren't even equipotent!". My anecdotal story is the student who couldn't figure out why \mathbb{R} is cyclic. Or, there's also the classic why can't \mathbb{R} be a finite dimensional \mathbb{Q}-space.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Senior Member
    Joined
    Dec 2008
    Posts
    288

    Re: integers a vector space over Zmod 2

    Thanks for that it was really helpful, thanks very much!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Dual Space of a Vector Space Question
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: April 16th 2011, 03:02 AM
  2. Replies: 2
    Last Post: April 1st 2011, 02:40 AM
  3. Banach space with infinite vector space basis?
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: March 24th 2011, 06:23 PM
  4. Replies: 15
    Last Post: July 23rd 2010, 11:46 AM
  5. Isomorphism beetwenn vector space and sub space
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 30th 2008, 10:05 AM

Search Tags


/mathhelpforum @mathhelpforum