交换主理想环矩阵合同的一个充要条件
교환주이상배구진합동적일개충요조건
A Necessary and Sufficient Condition for Matrix Congruent over a Commutative Principal Ideal Domain