О конгруэнтности унитарных матриц

Ч. Джонсон и С. Фуртадо доказали, что если две унитарные матрицы $*$-конгруэнтны, то они унитарно подобны. Мы устанавливаем аналог этого утверждения для другого типа матричной конгруэнтности, а именно T-конгруэнтности. Кроме того, обсуждается вопрос о том, как проверить T-конгруэнтность заданных матриц, используя лишь конечное число арифметических операций. Библ. – 3 назв.