数学において、（可換体上の）正方行列 A, B が合同 (congruent) であるとは、可逆行列 P が存在して
となることをいう。ここで t は転置を表す。
行列の合同は同値関係である。
この項目は、線型代数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。
