1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Trace(matrix) = 0 and the dimension of subspace

  1. Nov 29, 2008 #1
    1. The problem statement, all variables and given/known data

    Claim: Matrices of trace zero for a subspace of M_n (F) of dimension n^2 -1 where M_n (F) is the set of all nxn matrices over some field F.

    2. Relevant equations

    Tr(M_n) = sum of diagonal elements

    3. The attempt at a solution

    I view the trace Tr as a linear transformation Tr: M_n (F) -> F. I find the dimension of the subspace spanned by M_n (F) by using the fact:

    dim M_n (F) = dim Tr [M_n (F)] + dim null [M_n (F)]

    Since dim M_n (F) = n^2, we have

    n^2 = dim Tr [M_n (F)] + dim null [M_n (F)]

    I'm confused on what's in the right part of the above equation:

    Isn't dim Tr [M_n (F)] = 0 since Tr [M_n (F)] = 0?

    Shouldn't dim null [M_n (F)] =n^2 - dim Tr [M_n (F)] = n^2 - 1?

    Also, I know that the subspace is generated by the following matrices: A, B, and [A,B] (the commutator of A and B).

  2. jcsd
  3. Nov 29, 2008 #2
    You said

    > Isn't dim Tr [M_n (F)] = 0 since Tr [M_n (F)] = 0?

    No, dim Tr [M_n (F)] = 1 since Tr [M_n (F)] = F
    You have confused M_n (F) (all nxn matrices over F) with its subset of trace zero matrices. And a (non degenerate) field over itself obviously has dimension 1 because it's spanned by its element 1 (multiplicative identity). So you get indeed

    dim null [M_n (F)] =n^2 - dim Tr [M_n (F)] = n^2 - 1
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook