冪零行列
を冪零行列の標準形という。ここで n1, ... , nk は与えられた自然数 s に対して n1 + ... + nk = s を満たす自然数である。
標準化の対象になる s 次行列を M としたとき、ρ r = rank M - rank M と置けば、ni = p なる i の個数は全部で ρp - ρp+1 個ある。この ρi の値によって作られる冪零行列の標準形は、ni の順番を除いて一意的である。以下、ρiの値に基づく(s次の)標準形を N[ρ1, ..., ρs] と書く。また、M の次数を s とすれば、ρi の定義から直接に ∑ρi = s となるから、次数 s における相異なる標準形の個数は、整数 s を分割する方法の個数である。例えば、次数 4 における標準形は、