A Finite Rational Algorithm that Verifies the Diagonalizability of a Square Matrix by Congruence

摘要

Let A be a square matrix of order n whose entries are rational or rational Gaussian numbers. A method is described that verifies the possibility of diagonalizing A by means of congruence and uses a finite number of arithmetic (and, in the complex case, conjugation) operations.