## The Trace of a Linear Transformation

Again, let’s take a linear endomorphism on a vector space of finite dimension . We know that its characteristic polynomial can be defined without reference to a basis of , and so each of the coefficients of is independent of any choice of basis. The leading coefficient is always , so that’s not very interesting. The constant term is the determinant, which we’d known from other considerations before. There’s one more coefficient we’re interested in, partly for the interesting properties we’ll explore, and partly for its ease of computation. This is the coefficient of .

So, let’s go back to our formula for the characteristic polynomial:

Which terms can involve . Well, we can get one factor of every time we have , and so we need this to happen at least times to get factors of . But if the permutation sends all but one index back to itself, then the last index must also be fixed, since there’s nowhere else for it to go! So we only have to look at the term corresponding to the identity permutation. This will simplify our lives immensely.

Now we’re considering the product

When we multiply this out, we make choices. At each step we can either take the , or we can take the . We’re interested in the terms where we take the times. There are ways of making this choice, corresponding to which one of the indices we *don’t* take the . Incidentally, we could also think of this in terms of combinations, as .

Anyhow, for each choice of one index to use the matrix entry instead of the variable, we’ll have a term . We add all of these up, summing over — as our notation suggests we should! And now we have the second coefficient of the characteristic polynomial. We drop the negative sign and call this the “trace” of :

where in the last formula we’re using the summation convention again. Incidentally, “trace” should be read as referring to a telltale sign that has left behind, like a hunted animal’s.. um.. “leavings”.

Anyhow, we can now write out a few of the terms in the characteristic polynomial: