## 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:

[…] we can define to be the trace of this matrix, and to be its determinant. If , we’ve got an eigenpair. Possibly related […]

Pingback by Eigenpairs « The Unapologetic Mathematician | March 13, 2009 |

[…] is the trace of an endomorphism. Given a matrix, it’s the sum of the diagonal entries. Since the […]

Pingback by Hom Space Duals « The Unapologetic Mathematician | October 13, 2010 |

[…] is, the character is “the trace of the representation”. But why this is interesting is almost completely opaque at this […]

Pingback by The Character of a Representation « The Unapologetic Mathematician | October 14, 2010 |

[…] with dimension and start with . Inside this, we consider the subalgebra of endomorphisms whose trace is zero, which we write and call the “special linear Lie algebra”. This is a subspace, […]

Pingback by Special Linear Lie Algebras « The Unapologetic Mathematician | August 8, 2012 |

[…] for all in the cases of and the special linear Lie algebra — the latter because the trace is invariant under a change of […]

Pingback by Automorphisms of Lie Algebras « The Unapologetic Mathematician | August 18, 2012 |