Одновременная диагонализуемость пары матриц: подобия и конгруэнции

Пусть $A$ и $B$ – невырожденные юнитоиды с простыми каноническими углами, причем их коквадраты коммутируют. Найдены соотношения, которым должны удовлетворять матрицы $C$ и $P$ любой пары $(C, P)$, конгруэнтной паре $(A, B)$. В теории конгруэнций эти соотношения могут рассматриваться как своеобразный заменитель обычной перестановочности.
Библ. 2.