5-0. 環上の加群の定義
環 上の左加群 とは、
加法群 に環 から への作用、
が定められていて、線型空間でお馴染みの次の公理を満たすものを言う。最初の 1), 2) は ノート 4 にある群の作用の公理に他ならない。
任意の , 任意の にたいし、
1)
2)
3)
4)
※ 環が体であるときは線型空間に他ならない。
※ 群作用のときと同じように右加群も定義できる。
※ を環とし、加法群 が 両側加群であるとは,次の 三つの条件が成り立つことをいう:
1) は 上の左加群である.
2) は 上の右加群である.
3) 任意の に対して, が成り立つ.
//
二つの左 加群 に対して、写像 が 準同型 (または 線型) とは、任意の , 任意の に対し、
を満たすことを言う。写像 が全単射であれば、同型写像というのも、同型写像が存在すれば、 を同型というのもいままでと同じである。
線型空間のときの部分空間の定義と同じように、 を 左加群としたとき、 が の 部分加群であるとは、 が 加法群として の部分群で、かつ、 の要素に を作用させた結果が、 で閉じているということである。
は空集合にはならず必ず を含むことも同じである。
また、部分 加群が存在すれば、加法について剰余群が定義でき、剰余群も 加群になることは簡単にわかる。準同型定理も同様に成立する。
※ 環 の乗法を作用とみなせば、環自身も (左) 加群とみなすことができる。このとき、 の部分 加群とは、左イデアルに他ならない。一般に左イデアル に対して剰余加群 は左 加群である。//
基底をもつ 加群のことを「 自由加群」と呼ぶ。なお「基底」を「自由基底」と呼ぶこともある。可換環の自由加群であれば、線型代数の「次元定理」と同じように基底の濃度は一つに定まるが、非可換で有限基底の場合には一般には成立しない。また、 自由加群の基底の濃度は、「次元」とは呼ばず、「階数」と呼ばれ、 などと表記される。
5-1. 有限生成加群の構造定理 (有限生成アーベル群の基本定理)
有限生成アーベル群の基本定理をやる前に準備として行列のスミス標準形 (単因子) をみる。これは、線型代数で習う行列の基本変形と同じだが、行列の要素が可換環だというのが違う。定数倍する範囲が、いま考えている環で単元に限られている。ここでは整数で以下の例でやってみる。整数なので単元は しかない。
行列の要素の最大公約数は明らかに 1 だからそのままで、1 行目の要素を基本変形で 0 にする。
1 列目の他の要素も 0 にする。
一行一列を除いた行列の最大公約数は 2 である。
今度は最大公約数は 4
このようにして、対角化ができることは、今の手順から帰納法ですぐに証明できる。また、対角上の数字が割り切れるように並ぶのは、単項イデアル整域であることから当然である。階数 (rank) に関しては全く通常の基本変形と同じである。
常に同じように並ぶ一意性はどうやって証明するのだろう?
一番下の行列から の小行列をすべて取り出してみる。
この三つの行列の行列式の最大公約数は 2 である。そうすると、変形前の元の行列から同じようにすべての小行列を取り出し、その最大公約数を求めると同じ 2 になっていることを証明できればよい。基本変形は可逆な操作で対応する変換行列はユニタリである。コーシー・ビネの定理を使っても証明できるが、行列を行 (列) ベクトルで記述してみれば、行や列を一回互換しても行列式は符号が変わるだけであることはすぐにわかり、また、任意行 (列) の定数倍を他の行 (列) に加えても行列式の値は変わらないことはすぐわかる (行列式の行 (列) についての多重線形性と、等しい 2 行 (2列) を持つ行列式の値は偶置換と奇置換の集合の間にはペアとなる可逆な射があることから零になるので)。つまり、任意のサイズの小行列式を集めてイデアルを作ってもどのサイズでもその小行列式のイデアルは基本変形で不変なのである。そしてイデアルは単項イデアルであるのだから生成元は最大公約数として一意に決まる。//
可換環 が PID (単項イデアル整域) であるとき、有限生成の 自由加群 の部分加群 はまた有限生成であることを証明する。
※ 有限次元の線型空間の部分空間は有限次元であることは保証されていたが、一般の自由加群では保証されていない。しかし、可換環 がネーター環であれば、有限生成 (階数が有限ということ) の 自由加群の部分加群もまた有限生成であることが保証されることを証明できる。ネーター環はまだやっていないので、ここでは可換環 が PID (単項イデアル整域) の場合について証明する。PID のイデアルは単項生成なので、当然有限生成であり、ネーター環の特別な場合である。
※ 念のためだが、「有限生成」といっているのは、ユークリッド空間の次元が 3 といっているようなもので、有限生成ならば、アーベル群が有限であるということは一般には成立しない。
(証明)
有限生成自由加群 の階数 に関する帰納法で、その部分加群が階数
で有限生成であることを証明する。
のとき、 を の基底とすれば、
と書ける。部分加群
について、
の場合は明らかに有限生成である。したがって
とする。すると として、
と書けるが、 は の単項イデアルであることがわかる。なぜなら、部分加群であることの定義から、 ならば、
なので、 ならば
であり、さらに任意の について
であるから、 ならば
となるからである。環が単項イデアル整域であるので、 は単項イデアルとなり、
のように書ける。
ここで の基底は であることを証明する。任意の は、また の元であるので、
と書けるが、 より、
と表すことができ、したがって
となる。したがって は を生成できる。さらに
ならば
であるが、 は整域であることと、
より
となって一次独立であることも言え、 は 部分加群の基底である。以上より の場合については成立する。
次に、自由加群 の階数が、 だとし、基底を で表せば、 の任意の要素は
と書くことができる。
またその任意の部分加群を とする。
いま、
とし、 番目の座標を取り出すことと同一視してよい自然射影 を考える (準同型写像である)。 の核を考えてみると、
となっており、 は の部分加群である。部分加群の共通分はまた部分加群であることが簡単に証明でき、したがって、
は の部分加群である。ここで
であり、 の階数は であるので、これに帰納法の仮定を適用すると、 の部分加群 は
個の要素を基底として有限生成できる。
準同型定理により、
が成立する。
で、
であるので、
となるが、 と同じ証明で、 は単項イデアルとなり、
と書ける。
ここで、 であれば、
となり、帰納法の仮定から題意は成立するので、 とする。
の任意の要素を とすれば、
とおける。
であるから、
となって、
と書けることから、
となり、 個の要素で任意の の要素を生成できる。さらに線形独立性を確認するために、
とすると、
整域であることと、
から
,
その他の係数についても、帰納法の仮定によりすべて零になる。以上より、PID の環上の階数 の自由加群の部分加群は有限生成であることが証明された。//
PID 上の有限生成加群 (アーベル群) の構造定理を書くのに、有限生成加群は、有限生成 加群と同型であるという事実を利用する。
※ アーベル群の要素 を何でもいいから考えると、
( 個)
を整数 を使って と書くことは、可逆なペアが必ず作れる (他の言葉遣いとしては、全単射、逆写像が存在するなど) 操作であって、したがって、任意の有限生成アーベル群は、整数を環とするその上での有限生成な加群と同型である。//
そうすると、PID 上の有限生成加群 は、次の形と同型である。
ここで は より大きい自然数で 各 は を割り切る。
というものである。
を の「捻れ部分」という。「捻れ部分」は中国剰余定理を使って素数位数の巡回群に更に分解できる。
最後の
( 個)
を「自由部分」という。自由部分はもちろん有限生成された加群が有限位数ならば存在しない。
例えば位数
の有限アーベル群だったら、次の数字を割り切れるように約数を並べられる組み合わせとしては、
2, 2, 2
2, 4
8
つまり、
となる。この可能な数って整数 の分割数である。 は を素数分解したときの の指数である。指数が複数の場合は である。なんでそうなるのか考えてみると、なるほどそうなる。//
線型写像 (準同型写像) は基底が定まっていれば、行列で表すことができる。線型写像 は、 行 列の行列 で表すことができる。
(有限生成アーベル群の基本定理の証明)
有限生成アーベル群 の生成系を とする (生成系であれば、全空間を張るが、一次独立とは限らない)。
いま、写像 を
で定める。ただし、
は を標準基底 ( のこと) で表したときの座標である。
写像 が線型写像 (準同型写像) であることは、すぐにわかる。また写像が全射であることも明らかである (もし、この写像が全単射であれば、有限生成アーベル群 は、 と同型ということであり、これは、 が「自由部分」のみで表せるということである。そこで、 は単射ではないとする)。
は、 の部分空間である。 準同型定理により、
となる。
を PID 上の有限生成加群とみなせば、すでに前の記事で証明したように、その部分空間は有限生成となるので、 も有限生成である。その生成系を
として、写像
を
で定めると、この写像も全射である。すなわち 。
は、 に含まれるので、 から への自明な包含写像をもち、 は への写像と見なして構わないので (つまり、
)、
となる。前の記事で示したように、行列 に基本変形を施していけば、いわゆるスミス (単因子) 標準形になる。それは、もとの基底をうまく変換すれば、準同型写像 (線型写像)
がスミス (単因子) 標準形で行列表現できることを示している。すると、わかりやすいように、 を変換された基底の座標表示として仮に表してみると、
のようになる。ここで はイデアルを表す。この変換された基底間の対応は、もちろん元の基底間の対応と同型である。
有限生成アーベル群 は、
であったから、
となる。//
5-2. ジョルダン標準形
を体 上の 次元線型空間とする。 の 自己準同型写像を とする。線型写像の行列表示は の基底の取り方に依存するが、基底を上手く選択することで、行列表示をなるべく簡単にすることを考える。
一変数多項式環 による への作用を
と定める。つまり、自然数 について、 を 個の の合成とし、 を恒等写像とする。多項式
に対し 自己準同型写像 を
として定めるということである。また、与えられた基底での の行列表示 については
で定める。
※ 結局、線型空間のベクトル への作用は、 の場合の作用が決まりさえすれば良いことがわかる。作用の定義から例えば、
となる。//
それで、この作用が定義されると、 線型空間 は 加群でもあるということになる。 の基底 は、 加群としても生成系であり、したがって 加群は有限生成である。また は一変数多項式環なので単項イデアル整域 (PID) である。したがって、 加群には有限生成加群の構造定理が適用できる。ここで、 を 加群としてみた場合に「自由部分」は存在せず、「ねじれ部分」のみである。なぜなら、 の次元は有限次元の であることから、 の次元は となり、多項式 の次数がこれを超えると、写像 は一次従属となり、多項式の係数が零でないものについて
となるものが存在し、 の零でない vector をすべて零化してしまうからである。以上から、 加群とみた には、 「単項イデアル整域上の有限生成加群の構造定理」により次の同型が存在する。
実際に特性多項式の単因子 を求めてみるとわかるが、一般に最初のいくつかの は定数 になる。
なので、単因子が単元の場合は、 加群の構造には何の寄与もないので無視して構わない。以上から、
としてよい。
これからは、 が「代数的閉体」とする。ガウスの代数学の基本定理により、 の多項式は必ず既約である一次式に分解できる。したがって、 は、次のように一次式に既約分解できる。
ここで、 はどの二つも互いに相異なるとすれば、イデアル
はどの二つも互いに素であるので、中国の剰余定理から、
となる。
次に上記の直和分解の各直和因子
を考察するにあたり、簡単化のため、
とおいて、これを の線型部分空間 (固有空間) と同型なものとみなす。ガロア理論でもやったように の次元は で、基底は、
とおいて
と定めることができる (順序を逆向きにしているのは、こうしないと通常見るジョルダン細胞の形にならないため)。
それで 、この部分線型空間 への作用、
について、この基底における行列表示を求めれば、
したがって、 つまり、
の行列表示は
となって、ジョルダン細胞 (ブロック) の行列表示となる。
※ 固有値一般については、線型代数のノートを参照。
※ 単因子(スミス標準形) を得るために三つの基本行列変形を
に対して行うのは、整数が多項式に変わるだけの話である。ただし、行、列の単元倍は複素数体の多項式の場合、零を除く定数項であることに注意する。そうすると、単因子多項式が行列の対角成分に得られる。対角成分の多項式 すべてかけあわせれば、元の行列の行列式であるから、結局、すべての単因子多項式の積は固有多項式に等しくなることはすぐにわかる。一方、対角成分の最後の単因子多項式は最小多項式であることが容易にわかる。
- 作者: 堀田良之
- 出版社/メーカー: 裳華房
- 発売日: 1987/09/01
- メディア: 単行本
- クリック: 3回
- この商品を含むブログ (5件) を見る