対称行列
対称行列に合同な任意の行列はそれ自身対称である。すなわち、X が対称ならば任意の正方行列 A に対して AXA は対称である。
対称行列は正規行列である。