Def:************ Let and is a polynomial given by:
for . Then is the operator defined by:
Def: If , then is the polynomial defined by
Th: Suppose and . Then
Th: Every operator on a finite dimensional, nonzero, complex vector space has an eigenvalue.
Th: Suppose a finite dimensional complex vector space and . Then has an upper-triangular matrix with respect to some basis of .
Th:* Suppose has an upper-triangular matrix with respect to some basis of . Then is invertible iff all the entries on the diagonal of that upper-triangular matrix are nonzero.
Th: Suppose and is an eigenvector of with eigenvalue . If , then .