О матрицах с коквадратом $J_m(1)\oplus J_m(1)$

Если коквадраты комплексных матриц $A$ и $B$ подобны и в спектрекоквадратов имеется хотя бы одно число с модулем $1$, то $A$ и $B$не обязательно конгруэнтны. Предположим, что такое собственноезначение $\lambda_0$ ровно одно. В этом случае проверить конгруэнтность $A$и $B$ с помощью рационального алгоритма можно было до сих пор тольков двух ситуациях: (1) $\lambda_0$ - простое или полупростое собственноезначение; (2) жорданова структура, отвечающая $\lambda_0$, естьединственная жорданова клетка. Предлагается рациональный алгоритмдля проверки конгруэнтности в ситуации, когда жорданова структурадля $\lambda_0$ есть прямая сумма двух жордановых клеток одинаковогопорядка.Библиография: 6 названий.