ジョルダン標準形
に相似となる。モニック多項式の列 , …, は後に続く多項式を割り切るように選ぶことができ、それらは "A" により一意的に決まる。このようにして得られた区分行列 "R" を "A" の有理標準形と呼ぶ（代数閉体上における行列のジョルダン標準形の類似）。