The distance and diagonalization of symmetric matrices over a principal ideal domain

• 主理想整环上对称矩阵的距离与对角化