より一般的に、成分が整数であるような "m"×"n" 行列がエルミート標準形(hnf)であるとは、