合同 (行列)

数学において、（可換体上の）正方行列 A, B が合同 (congruent) であるとは、可逆行列 P が存在して

${\displaystyle B={}^{t}\!PAP}$

となることをいう。ここで ^t は転置を表す。

行列の合同は同値関係である。

• 行列の相似
• 行列の同値
• シルヴェスターの慣性法則
• 二次形式
• 双線型形式