さて、 は K[t] 上有限生成な捩れ加群です。*1そこで話を一般化して、単項イデアル整域 R 上の有限生成捩れ加群 M についての話をします。*2 *1:一見アタリマエなのですが、練習問題としておきましょう。 *2:本当はあまり一般化したくないのですが、これをや…

K を体として、n 次正方行列 が与えられたとき、それはアタリマエですが線型写像 を引き起こします。そしてそのことは、 に不定元 t を で作用させることにより、 を K[t]-加群と看做せるのだ、ということは以前お話した通りです。そこで A の Jordan 標準形…