Let be an
matrix over
. Prove that
.
Say is in Jordan canonical form, where
is the Jordan block of size
with eigenvalue
. Now
. By this previous exercise,
is upper triangular with diagonal entries
. In particular, the determinant of this direct sum is just
, since the product is over all the eigenvalues of
(with multiplicity).