エルミート標準形
より一般的に、成分が整数であるような m×n 行列がエルミート標準形(HNF)であるとは、
0 ≤ r ≤ n を満たすような r、および
単調増加関数 f: [r + 1, n] → [1, m]
が存在し、M のはじめの r 列がゼロで、r + 1 ≤ j ≤ n に対し
mf(j)j > 0。
i > f(j) のときは、mij = 0。
k < f(j) のときは、mf(j)j > mkj ≥ 0。
が成立することを言う。