Extracting the Determinant from the Characteristic Polynomial
First let’s look at the formula for the characteristic polynomial in terms of the matrix entries of :
Now we’re interested in , which is exactly what we calculate to determine if the kernel of is nontrivial. But the kernel of is the eigenspace corresponding to eigenvalue , so this should have something to do with the characteristic polynomial at . So let’s see what happens.
This is just times our formula for the determinant of . But of course we know the dimension ahead of time, so we know whether to flip the sign or not. So just take the characteristic polynomial, evaluate it at zero, and flip the sign if necessary to get the determinant.
There’s one thing to note here, even though it doesn’t really tell us anything new. We’ve said that is noninvertible if and only if its determinant is zero. Now we know that this will happen if and only if the constant term of the characteristic polynomial is zero. In this case, the polynomial must have a root at , which means that the -eigenspace of is nontrivial. But this is just the kernel of is nontrivial. Thus (as we already know) a linear transformation is noninvertible if and only if its kernel is nontrivial.