3.2.4.4系 3.2.4.4. \( A, B, S \in M_n \) が与えられ、\( A \) が非退化（nonderogatory）であるとする。もし \( AB = BA^T \) ならば、\( B \) は対称行列である。...

3.2.4.2定理 3.2.4.2. \( A \in M_n \) が非退化であるとする。もし \( B \in M_n \) が \( A \) と可換であるならば、次数が高々 \( n-1 \) の多項式 \( p(t) \) が存在...

3.2.4.1定義 3.2.4.1. 複素正方行列が非退化（nonderogatory）であるとは、その固有値のそれぞれが幾何重複度 1 をもつ場合をいう。ジョルダン行列におけるある固有値の幾何重複度は、その固有値に対応するジョルダンブロッ...