26.体の有限次拡大と線型写像
線型写像の行列表示
体上のベクトル空間に対し、-加群としての準同型を特に線型写像(linear mapping)と呼ぶ。即ちはに対しを満たす。今の次元をそれぞれとして基底を取る。ベクトル空間の元は基底を固定することでの元による一意的な表示を持つが、その表示を用いての元を縦ベクトルの集合と次のように同一視できる。例えばは、による表示を用いて
により同一視する。この同一視(縦ベクトル表示)を通して、線型写像はどのように表されるだろうか。のによる表示をとする。このとき
が成り立つため、次の同一視
を得る。右辺の
を行列の行列(matrix)という。行列をからへの写像と見なせば、これはを縦ベクトル表示を通して表したものと考えることが出来る。そこでを線型写像の行列表示(matrix representation)と呼ぶ。逆に行列を与えれば線型写像を構成できるため、行列の行列全体(で表す。)ととは同一視できる。(必ず基底を示しておくこと。)
さてのときを考え、を仮定しよう。線型写像は行列表示を持つとする。の元が別の基底により表されるとき、行列表示はどのように変化するだろうか。の基底による表示をとし、新たな基底はと表せるとする。まず
より、縦ベクトル表示は行列を用いて
となる。ここでは基底を基底に写す変換であることから、逆行列(掛けて単位行列となる行列環における逆元)が存在する。このときの基底による縦ベクトル表示は、基底による縦ベクトル表示にを作用させたものとなる。つまり
となることがわかる。故にの基底による行列表示はである。
線型写像の特性方程式
有限次拡大における線型写像の行列表示について考えよう。とし、の上の基底をとする。線型写像は行列表示を持つのでこれをとおく。さて、の特性方程式
を考えると、この多項式は基底の取り方に依らない。実際別の基底を取れば、として
より従う。そこでこれをと表しの特性方程式と呼ぶ。このような基底の取り方に依らない対象を調べることが、数学の研究では往々にして課題となる。
ここでに対してをのトレース(trace)と呼びと表す。またをのノルム(norm)と呼びで表す。
の行列表示は単位行列である。また線型写像の行列表示をとすれば、に対しての行列表示はとなる。従って
が分かる。特にに対して(回和)が成り立つ。また
も分かる。が同型であるときが成り立つからノルムはゼロでない。
特に重要な線型写像としてによる倍写像がある。この行列表示をとする。このとき対応により写像を得るが、これは「-代数の準同型」でもある。つまりとして次が成り立つ。
- が成り立つ。
- が成り立つ。
- を単位行列としてが成り立つ。
上の用語をそのままにも適応し、を同様に定める。例えばに対してなどが成り立つ。なおとは、特にへの元を代入した結果は等しいが、の元を代入すると等しくない。
さてケーリー・ハミルトンの定理よりが従うが、これはがで成り立つことを意味し、故にが成り立つ。なぜ特性方程式を考えるのかと疑問に思う人もいるかもしれない。しかし一般に最小多項式を求めることは簡単ではないが、特性方程式は愚直に計算できる式にもかかわらずを根に持つことが嬉しい。もっとも余分な情報を持ち過ぎているのも事実であり、そういったものをそぎ落としていくと分離性、正規性の本質が見えてくる。
せっかくなのでにおけるの特性方程式を求めてみよう。基底の行き先を計算するととなるからの行列表示は
となる。特性方程式はだから確かにを根に持つ。
所感
書いているうちに長くなったので今回はここまで。分離性や正規性が出てくる理由を説明したくて特性方程式を考えてみたけど蛇足に終わりそうな気がしないでもない。単純拡大の状況でどうにかなるのか? その辺の知識があやふやだからこうして書き下してみているのだけれど、見切り発車で進めるべきではなかったかも。
節の番号振りをPDFに合わせることにした。