代数拡大

体の拡大の一種、代数拡大について紹介します。体論をやる上で最も基本的な概念の一つなので、しっかり理解しておきましょう!

定義

L/Kを体の拡大とする。xL(K上)代数的であるとは、あるK係数多項式f(X)K[X]が存在し、f(x)=0となること。また、K上代数的でないとき(K上)超越的という。

要するにxを根にもつK係数多項式があるということです。少しC/Qの例を考えてみましょう。

Q上代数的な複素数の例

  • 1(x1の根)
  • 2(x22の根)
  • 虚数単位 i(x2+1の根)

Q上超越的な複素数の例

  • 円周率 π
  • ネイピア数 e

これらの数を超越数と呼んだりしますね。

次に代数拡大の定義をします。

L/Kを体の拡大とする。任意のxLK上代数的なとき、L/K代数拡大であるといい、そうでないとき超越拡大という。

いくつか例を見てみましょう。

代数拡大の例

まず最初にC/Rを考えてみます。これが代数拡大となることをチェックしてみましょう。任意の複素数zCは実数s,tRを使ってz=s+tiと表せます。ここで、実数係数多項式f(X)=X22sX+s2+t2R[X]zを代入してみるとf(z)=(s+ti)22s(s+ti)+s2+t2=s2+2stit22s22sti+s2+t2=0となるので、f(X)zを根に持ちます。従って任意の複素数はR上代数的であることが分かりました。

このように定義通り確認しようとすると全ての元に対し、それを根に持つ多項式を持ってこないといけないので多少大変です。

実は有限生成な体拡大については生成元が代数的であることを示せれば、それは代数拡大(実はより強く有限次拡大)であるということが知られています。例えば今の例だと、C=R(i)なので、iR上代数的であることをみれば十分だということです。こちらの記事で詳しく解説していますので、是非ご覧ください。

この理由から、Q(2)/QQ(3)/Qなども代数拡大になります。

超越拡大の例

  • C/Q(π,eなどが超越的)
  • C(X)/C(Xが超越的)

最後に

代数拡大の定義と、簡単な例をいくつか紹介しました。体論において、体の拡大が代数拡大か超越拡大かというのは最も大きな分類の一つで、それぞれの分類の中でさらに細分されています(代数拡大の中の分離拡大やガロア拡大、超越拡大の中の純超越拡大など)。こうしたより強い条件を満たす体拡大についてはさまざまな面白い性質が発見されており、その中の一つがかの有名なガロア理論です。本サイトでは(学部レベルの)基本的なガロア理論まわりの内容を紹介していきますので、よろしければ他記事もごらんください!

コメント

タイトルとURLをコピーしました