今日のテーマ:
本講義の第一回を思い出せば、 はさらに分解されることがわかる。 (PID は一意分解環(UFD)であったことに注意)
定理のもう一つの系として、行列のジョルダンの標準型を 取り上げよう。
可換体 上の行列 が与えられているとする。 このとき、
上の補題から、すぐにジョルダンの標準型が得られるが、詳細は レポート問題に譲ろう。