体に関する基本的なこと

home > 代数学 >

このページのPDF版

サイトマップ

体に関して，重要な概念をいくつか紹介します．群論ですでに勉強した内容と重複するトピックも多いでしょう．重要な概念や証明を要するものは，後で再び取り上げる予定ですので，この記事はガイドライン程度に思い，全部理解しようとしなくても大丈夫です．

またこの後，体に関する基本的事柄を順番に漏れなく取り上げることはしません．物理のかぎしっぽ代数分野の当面の目標は，ガロア理論を勉強することですので，そのために必要な最小限の知識を中心に記事は進んでいく予定です．

環やイデアルを体と同時並行的に取り上げる教科書も多くありますが，最初はなるべく環の概念を使わずに議論を進める予定です．

重要な体

幾つかの集合は非常に頻繁に使われるため，記号が慣用的に決まっています．

有理数体
実数体
複素数体
体に何か元 $a \notin F$ を付け加えるとき，を付け加えることでできた新たな体をと書きます．(これは『拡大体』と呼ばれるもので，意味については拡大体で説明します．)
剰余体 $Z/p,Z_{p},F_{p}$ (次節で説明します．)

整数の剰余体

整数全体の素数による剰余類 Z/p は体になります．これを整数の 剰余体 ，もしくは p分体 と呼びます．剰余体が体になることを，自分で確かめてみてください．

[a]([b]+[c])=[a][b+c]=[a(b+c)]=[ab+ac]=[ab]+[ac]=[a][b]+[a][c]

記号は， Z/p の他に $Z_{p}, F_{p}$ などと書くこともあります．

[*]	ちなみにが素数のとき，からを抜いたものは体にならず，乗法群にしかなりません．記号では $(Z/p)^{\times }$ と書き，『のバチ』と呼んだりします．

体と方程式

多項式 $f(x)=a_{0}x^{n}+a_{1}x^{n-1}+...+a_{n-1}x+a_{n}$ を考えてみましょう．私たちは， f(x)=0 を満たす解に興味があるわけですが，解は方程式の係数 $a_{i}$ だけによって決まります．(変数が異なる方程式 $f(y)=b_{0}y^{n}+b_{1}y^{n-1}+...+b_{n-1}y+b_{n}$ でも，係数に関して $a_{i}=b_{i}$ ならば解が等しくなることは明らかでしょう)．

特に抽象的な方程式論の立場からは，これらの 係数がどの体に含まれるか が非常に重要です．もし係数 $a_{i}$ がすべて体に含まれる数ならば， f(x) を 体F上の方程式 と言います．

また，方程式の 解がどの体に含まれるか も非常に重要です．例えば方程式 $x^{2}+x+1=0$ は，有理数体の中には解を持ちません．実数の範囲内にも解を持ちません．ですから，有理数体や実数体上に解を探すならば『解なし』と言うよりほかありません．しかし，もしも解の範囲を複素数体にまで広げて考えれば $x=\frac{-1+i\sqrt{3}}{2}$ という解が存在します．このように，方程式の『解のある・なし』も，どの体に解を探すかによって変わってくるのです．解が含まれる体を知ることで，方程式の可解性や解の性質が分かったりします．

先ほどの $x^{2}+x+1=0$ の例に見たように，体上の方程式(つまり係数が全ての元である方程式)の解は上にあるとは限りませんが，よりも大きな体にまで捜索範囲を広げれば，必ず解が見つかります．最大限，複素数体の範囲にまで捜索範囲を広げれば，必ず解が見つかることが代数学の基本定理によって保証されています．私達は方程式を解くことに興味がありますから，このような事情により，今後，方程式論では体の拡大の話題が多くなります．

極論すれば，抽象的な立場からの方程式論は体論であると言い切っても良いでしょう．