合同 (行列)
数学において、(可換体上の)正方行列 A, B が合同 (congruent) であるとは、可逆行列 P が存在して
B = t P A P {\displaystyle B={}^{t}\!PAP}
となることをいう。ここで は転置を表す。
行列の合同は同値関係である。