史密斯标准形 数学中史密斯标准形SNF是适用于所有元素都位于主理想域PID的矩阵的标准形不必是方阵史密斯标准形是对角矩阵可以从原始矩阵左右乘可逆方阵得到特别地整数构成一个PID所以总可以计算出任何整数矩阵的史密斯标准形史密斯标准形对于处理PID上的有限生成模尤其是推导自由模之商的结构时非常有用史密斯标准形得名于爱尔兰数学家Henry John Stephen Smith