Suppose the rational canonical form of is , with monic nonconstant invariant factors of a linear operator satisfying . Each block has minimal polynomial and characteristic polynomial , because a cyclic operator has equal minimal and characteristic polynomials. The determinant of a block diagonal matrix is the product of block determinants, giving . A polynomial kills the direct sum exactly when it kills each block, equivalently when every divides it. Thus is their least common multiple, which the divisibility chain reduces to . On the zero vector space both polynomials are conventionally one.
Articles by others on the same topic
There are currently no matching articles.