Аннотация:
Коквадрат невырожденной комплексной матрицы $A$ определяется как ${A^-}{}^{\mathrm T} A$ в теории $T$-конгруэнций и как $A^{-*}A$ в теории эрмитовых конгруэнций. Существует еще одно произведение подобного рода, а именно, $\bar A^{-1}A$. В статье обсуждается следующий вопрос: можно ли и это произведение интерпретировать как коквадрат в рамках какой-то теории конгруэнций? Какова эта теория, и как в ней выглядит каноническая форма?
Библ. 5.