10.行列環とケーリー・ハミルトンの定理
今回は行列について学ぶが、多くは事実の紹介のみにとどめる。詳しく知りたい人は大学の線型代数の講義を聞きに行くか、腐るほど存在する教科書の中から好みのものを選んで読み込むと良い。あまり是非を書きたくないが数学科向けなら齋藤正彦、佐武一郎、斎藤毅(以下はこれを参考にした)、ラングなどが定番だろう。古ければ良いとも限らず、言葉遣いなど新書の方が合う場合もある。もっとも本企画で用いるのは素朴な高校の行列(今やるんだっけ?)とか中学の連立方程式に若干毛の生えた程度のものなので、「そういうものか」程度に構えていればよい。というか自分も線型代数はいまだに良く分からない。
行列と行列式
を環とする。に対し、
を次正方行列(matrix)という。やなどと表すこともある。全体をと表す。成分毎の和及び積
により非可換な環を為す。つまり環の条件のうち積の交換性が成り立たないモデルとなる。ゼロ行列()は和を変えない0となり、単位行列()は積を変えない1となる。積の計算は行・列の漢字(まっすぐになってる二本線)に注目して「左の横成分・右の縦成分の内積を取る」と覚える。
例えばなら積は
となる。
はと「良く似ている」のだが、ここでは触れない。しかし似ているが故に非可換環であっても可換環論において重要な役割を果たす。*1便宜上と定めると良いらしい。
行列式(determinant)を帰納的に定める。まずとする。に対してはの行列を除いた行列をとして
と定める。
他にも色々定義方法があり、時としてその表示が大切なこともあるが、その辺は上記の参考文献に預けよう。以下にその性質を挙げる。
- が成り立つ。
- の転置に対しが成り立つ。
- の列の一つをに変えた行列を、を加えた行列をとする。また倍した行列をとする。このときが成り立つ。
- の二列を入れ替えた行列をとすればが成り立つ。
例えばのときは
と計算できる。
自己準同型環と忠実加群
任意の環が-代数と見なせたように、任意の-加群は-加群と見なせる。-加群に対し、から自身への-加群としての準同型(endomorphism)全体をと表す。は各点毎の和を和、合成を積として非可換環となる。この環を自己準同型環と呼ぶ。
ところでに対して準同型を対応させる写像は環の準同型を与える。実際
となる。逆に-加群に対して環の準同型が与えられたとき、と定めることでは-加群となる。*2この対応は一対一であるため、この意味で加群は環の表現論(への環準同型)だと言われている。
なお上の準同型よりも自然に-加群となることを注意しておきたい。
さて先ほど定義した行列環は、実は自己準同型環と同型になる。具体的にはが、行列に対して
を対応させることで成り立つ。
このタイミングで以下を定めておく。-加群が忠実(faithful)であるとは、対応する自己準同型環への環準同型が単射であることをいう。即ちが任意ので成り立つならが成り立つ。(は常に成り立つことを思い出しておく。)
ケーリー・ハミルトンの定理、行列式のテクニック
良く知られているケーリー・ハミルトンの定理*3は体(例えば)上の結果だが、適当な(しかし地味に面倒な)議論をすることで任意の環に対して述べることができる。
定理 (ケーリー・ハミルトンの定理) を環、を行列とする。の特性方程式(characteristic equation)を
により定める。このときがにおいて成り立つ。特にの最高次係数はとなる。*4
例えばなら
の特性多項式は
となる。を計算すれば確かにゼロ行列となることが分かる。
補題 は有限生成-加群。を準同型とする。は-加群としての準同型だが、の元と思える。このときある多項式が存在してが(-加群と思えたのだった)において成り立つ。特にとして最高次係数がのものを取れる。
(証明)まずとすればと表せる。と置く。ケーリー・ハミルトンの定理よりが成り立つが、環の同型を考えればも成り立つ。ここでの第成分を、それ以外をとした元をとする。をに対応させれば全射準同型を得る。このときとは一致するから、も従う。
補題 (行列式のテクニック) を環、をイデアル、を有限生成-加群とする。準同型がを満たすなら、ある多項式が存在して、を満たし、かつがにおいて成り立つ。
(証明)先ほどと同様だが、とした時にとして取れることからが従う。
多項式環への代入も可換の場合しか定義してないので上記も本当は証明になっていない。が、例えばが和と合成により為す部分環(これは可換になる)あるいはのへの作用から定まる-加群を考えれば正統化できる。このとき写像としてが零写像と一致することも言える。いずれにせよこれらの議論を真に正当化するのは中々骨が折れる作業になるけれども「ちゃんと書くことはできる」ということを理解していてほしい。授業や教科書でも殆ど語られないことだと思う。
所感
非可換の多項式もそれはそれでえげつなくて面白い。