第10回目の主題 :
生成元と関係式についての扱いについてもう少し補足しておこう。
環 が与えられているとする。 -加群 が で生成されていて、それらが 関係式
(関係R) |
(関係 ) |
((関係 R) の を に変えたもの)をみたす。
の核は で生成される。
-加群 が 個の元 で生成されて、それらは関係式 (R) をみたしたとする。 を上記のように構成したとき、 -加群の準同型
で を満たすものがただひとつ 存在する。この は必然的に全射である。
普遍性は代数の問題を考える上でキーになることが多い。 例えば、上の命題ような普遍性を持つ は (適当な意味の)同型を除いて一意であることが証明できる。
(Rexample) |
として、 をそれぞれ のクラスで決めたものである。 (この は今の場合には と同型である。)
PID 上の有限生成加群 の構造は命題7.7のようによくわかっていて、 とくに は必ず有限表示であった。 の部分加群 が与えられたとき、 剰余加群 に対して命題7.7 を用いることにより、次のことがわかる。
上の命題は、 ネーター環上の任意の有限生成加群の任意の部分加群はまた有限生成である、 という性質の特別の場合である。
可換 PID 上の 有限生成加群の構造は、「単因子論」として知られる ものと表裏一体の関係にある。これは次の理由による: 命題 10.2 によると、 一般に、環 の元を成分に持つ行列
が与えられれば構成 10.1 で有限表示 -加群 が定まるのであった。 他方、 系6.2ですでに、 任意の有限表示 -加群はこのような形に書けることがわかっている。 つまり、有限表示 -加群を調べることは行列 をよく調べることと 深く関係している。 が可換 PID であるとき、 の生成元の取り換え (T1)-(T3) を 有限回繰り返せば、生成元の基本関係式が単項にできるのであった。 それらの操作は に右から「基本行列」を有限個掛けて新たな行列 を 得ることに対応する。 関係式 自体が「単項」になっているとは限らないが、適当な変換 ( に左から基本行列を有限個掛けることに対応)により、新たな行列 で「単項」なものを用意できる。詳しくは本講義の教科書等を参考のこと。
で定義し、 のクラスを で表すことにする。このとき、
とおくと、 であることを示しなさい。