実は最近まで Jordan 標準形というのがなんなのかわかっていなかった. ただ要は行列のデータを k[T]-module のデータとよみかえ, PID 上有限生成加群の構造定理を実行したものがまさに Jordan 標準形の理論と対応するという理解を得た. 関数解析的なフレーム…