Polynomial reduction of matrix powers
ID: polynomial-reduction-of-matrix-powers
By polynomial division, write with . Because is a monic polynomial, this division works even over a commutative ring. Evaluating at makes the multiple of vanish, leaving . This explains the reduction in two-coefficient reduction of matrix powers without multiplying out every intermediate matrix.
Over a field, the minimal polynomial divides and gives the strongest such universal reduction: use the polynomial remainder modulo instead. For the scalar matrix , the characteristic polynomial is , while the minimal polynomial is only . Every matrix power is then a scalar multiple of .
New to topics? Read the docs here!