Invertibility forced by a polynomial product identity

ID: invertibility-forced-by-a-polynomial-product-identity

Let be finite square matrices over a field and write with . If , then . Taking determinants proves is an invertible matrix, and rearrangement gives . Thus commutes with . If , then and , proving an explicit eigenvalue transfer. The argument avoids assuming commutation before proving it; it depends on square finite-dimensional matrices, where a right inverse is two-sided.

New to topics? Read the docs here!