26.体の有限次拡大と線型写像
線型写像の行列表示
体上のベクトル空間に対し、-加群としての準同型を特に線型写像(linear mapping)と呼ぶ。即ちはに対しを満たす。今の次元をそれぞれとして基底を取る。ベクトル空間の元は基底を固定することでの元による一意的な表示を持つが、その表示を用いての元を縦ベクトルの集合と次のように同一視できる。例えばは、による表示を用いて
により同一視する。この同一視(縦ベクトル表示)を通して、線型写像はどのように表されるだろうか。のによる表示をとする。このとき
が成り立つため、次の同一視
を得る。右辺の
を行列の行列(matrix)という。行列をからへの写像と見なせば、これはを縦ベクトル表示を通して表したものと考えることが出来る。そこでを線型写像の行列表示(matrix representation)と呼ぶ。逆に行列を与えれば線型写像を構成できるため、行列の行列全体(で表す。)ととは同一視できる。(必ず基底を示しておくこと。)
さてのときを考え、を仮定しよう。線型写像は行列表示を持つとする。の元が別の基底により表されるとき、行列表示はどのように変化するだろうか。の基底による表示をとし、新たな基底はと表せるとする。まず
より、縦ベクトル表示は行列を用いて
となる。ここでは基底を基底に写す変換であることから、逆行列(掛けて単位行列となる行列環における逆元)が存在する。このときの基底による縦ベクトル表示は、基底による縦ベクトル表示にを作用させたものとなる。つまり
となることがわかる。故にの基底による行列表示はである。
線型写像の特性方程式
有限次拡大における線型写像の行列表示について考えよう。とし、の上の基底をとする。線型写像は行列表示を持つのでこれをとおく。さて、の特性方程式
を考えると、この多項式は基底の取り方に依らない。実際別の基底を取れば、として
より従う。そこでこれをと表しの特性方程式と呼ぶ。このような基底の取り方に依らない対象を調べることが、数学の研究では往々にして課題となる。
ここでに対してをのトレース(trace)と呼びと表す。またをのノルム(norm)と呼びで表す。
の行列表示は単位行列である。また線型写像の行列表示をとすれば、に対しての行列表示はとなる。従って
が分かる。特にに対して(回和)が成り立つ。また
も分かる。が同型であるときが成り立つからノルムはゼロでない。
特に重要な線型写像としてによる倍写像がある。この行列表示をとする。このとき対応により写像を得るが、これは「-代数の準同型」でもある。つまりとして次が成り立つ。
- が成り立つ。
- が成り立つ。
- を単位行列としてが成り立つ。
上の用語をそのままにも適応し、を同様に定める。例えばに対してなどが成り立つ。なおとは、特にへの元を代入した結果は等しいが、の元を代入すると等しくない。
さてケーリー・ハミルトンの定理よりが従うが、これはがで成り立つことを意味し、故にが成り立つ。なぜ特性方程式を考えるのかと疑問に思う人もいるかもしれない。しかし一般に最小多項式を求めることは簡単ではないが、特性方程式は愚直に計算できる式にもかかわらずを根に持つことが嬉しい。もっとも余分な情報を持ち過ぎているのも事実であり、そういったものをそぎ落としていくと分離性、正規性の本質が見えてくる。
せっかくなのでにおけるの特性方程式を求めてみよう。基底の行き先を計算するととなるからの行列表示は
となる。特性方程式はだから確かにを根に持つ。
所感
書いているうちに長くなったので今回はここまで。分離性や正規性が出てくる理由を説明したくて特性方程式を考えてみたけど蛇足に終わりそうな気がしないでもない。単純拡大の状況でどうにかなるのか? その辺の知識があやふやだからこうして書き下してみているのだけれど、見切り発車で進めるべきではなかったかも。
節の番号振りをPDFに合わせることにした。
ざっくり学ぶ可換環論のPDFを更新しました
zakkuring.0.2.0.pdfをDocs.comに挙げました。今まで書いた分は全部載せて、可換図式とかちゃんと書いたり色々加筆修正しています。3章書き終わったら0.3.0かなぁ。
あとダウンロードの際、特にアカウントは必要ないように変えました。よくよく考えたら意味のない縛りだった。
下の埋め込みは適度に圧縮が掛かっているみたいで画像が滲んでしまいますが、ダウンロードしたものは綺麗です。
LuaLaTeXのフォントの取り扱いについて
目下zakkuring.0.2.0.pdfを製作中ですが、和文フォントを変えるテストを色々やったので忘れないようにメモしておく。
まず0.1.0.pdfのプリアンブルは次の通り
\usepackage{luatexja}
\usepackage[no-math]{fontspec}
% 欧文フォント用の設定
\setmainfont[Ligatures=TeX]{Libertinus Serif}
\setsansfont[Ligatures=TeX]{Libertinus Sans}
% 和文フォント用の設定
\usepackage[match]{luatexja-fontspec}
\usepackage[yu-win]{luatexja-preset} % 游フォントのプリセット
これで書き方が良いのか全く分からないけど、基本的には大丈夫だと思う。
で、タイトル用にGN's Sideの「きんいろサンセリフ」を使ってみることに。
まず分かったのは.ttfファイルは.texファイルと同じ場所に置く必要があるということ。
できれば./fonts/
下とかに纏めておきたいが、色々調べて試すものの上手く行かない。
どこかのパスが通ってないか、書き方が悪いのか。ともかく上記の和文フォント用の設定に
\newjfontfamily\TextJKin{GN-Kin-iro_SansSerif.ttf}
を追加し、\TextJKin{あいうえお}
とか打ち込めばきちんと表示される。
ところが、この方法で英数字を表示しようとすると上手く行かない。 どうやらluatex-jaでは欧文フォントと和文フォントを別々に取り扱っているらしく、その適応範囲を変える方法がどこかにあるとは思うけど見つからない。 仕方ないので
\newfontfamily\TextKin{GN-Kin-iro_SansSerif.ttf}
を欧文フォント用の設定に追加して、別々に指定すれば一応は動く。
何もせずに.ttfが直接扱えるのでフォントの指定は楽にはなったけど、結局何やってるのか良く分からないのは変わらないかなぁ。 ま、安定版が出たら解説pdfが出てくるでしょ(ニッコリ