Пусть А — квадратная матрица порядка п, элементы которой суть рациональные или рациональные гауссовы числа. <...> Описан метод, проверяющий возможность диагона-лизовать А посредством конгруэнции и использующий при этом конечное число арифметических операций (и, в комплексном случае, операций сопряжения). <...>