A finite rational algorithm that verifies the diagonalizability of a square matrix by congruence

Resumo

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.