#rst2hooktail_source
======================================
体に関する基本的なこと
======================================
体に関して、重要な概念をいくつか紹介します。群論ですでに勉強した内容と重複するトピックも多いでしょう。重要な概念や証明を要するものは、後で再び取り上げる予定ですので、この記事はガイドライン程度に思い、全部理解しようとしなくても大丈夫です。
またこの後、体に関する基本的事柄を順番に漏れなく取り上げることはしません。物理のかぎしっぽ代数分野の当面の目標は、ガロア理論を勉強することですので、そのために必要な最小限の知識を中心に記事は進んでいく予定です。
環やイデアルを体と同時並行的に取り上げる教科書も多くありますが、最初はなるべく環の概念を使わずに議論を進める予定です。
重要な体
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
幾つかの集合は非常に頻繁に使われるため、記号が慣用的に決まっています。
1. 有理数体 $Q$
2. 実数体 $R$
3. 複素数体 $C$
4. 体 $F$ に何か元 $a \notin F$ を付け加えるとき、 $a$ を付け加えることでできた新たな体を $F(a)$ と書きます。(これは『拡大体』と呼ばれるもので、意味については 拡大体_ で説明します。)
5. 剰余体 $Z/p,Z_{p},F_{p}$ (次節で説明します。)
整数の剰余体
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
整数全体 $Z$ の素数 $p$ による剰余類 $Z/p$ は体になります。これを整数 $p$ の *剰余体* 、もしくは *p分体* と呼びます。剰余体が体になることを、自分で確かめてみてください。
<tex>
[a]([b]+[c])=[a][b+c]=[a(b+c)]=[ab+ac]=[ab]+[ac]=[a][b]+[a][c]
</tex>
記号は、 $Z/p$ の他に $Z_{p}, F_{p}$ などと書くこともあります。
.. [*] ちなみに $p$ が素数のとき、 $Z/p$ から $0$ を抜いたものは体にならず、乗法群にしかなりません。記号では $(Z/p)^{\times }$ と書き、『 $Z/p$ のバチ』と呼んだりします。
体と方程式
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
多項式 $f(x)=a_{0}x^{n}+a_{1}x^{n-1}+...+a_{n-1}x+a_{n}$ を考えてみましょう。私たちは、 $f(x)=0$ を満たす解 $x$ に興味があるわけですが、解は方程式の係数 $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$ に含まれる数ならば、 $f(x)$ を *体F上の方程式* と言います。
また、方程式の *解がどの体に含まれるか* も非常に重要です。例えば方程式 $x^{2}+x+1=0$ は、有理数体 $Q$ の中には解を持ちません。実数 $R$ の範囲内にも解を持ちません。ですから、有理数体や実数体上に解を探すならば『解なし』と言うよりほかありません。しかし、もしも解の範囲を複素数体にまで広げて考えれば $x=\frac{-1+i\sqrt{3}}{2}$ という解が存在します。このように、方程式の『解のある・なし』も、どの体に解を探すかによって変わってくるのです。解が含まれる体を知ることで、方程式の可解性や解の性質が分かったりします。
先ほどの $x^{2}+x+1=0$ の例に見たように、体 $F$ 上の方程式(つまり係数が全て $F$ の元である方程式)の解は $F$ 上にあるとは限りませんが、 $F$ よりも大きな体にまで捜索範囲を広げれば、必ず解が見つかります。最大限、複素数体の範囲にまで捜索範囲を広げれば、必ず解が見つかることが 代数学の基本定理_ によって保証されています。私達は方程式を解くことに興味がありますから、このような事情により、今後、方程式論では体の拡大の話題が多くなります。
極論すれば、抽象的な立場からの方程式論は体論であると言い切っても良いでしょう。
位数
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
体の元の数を *位数* と呼びます。位数が有限か無限かによって、 *有限体* 、 *無限体* の区別があります。有理数体、実数体、複素数体などは無限体です。
部分体・拡大体・中間体
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
体 $F$ に対し、体 $G$ が次の包含関係にあるとき、 $G$ を $F$ の *部分体* と呼びます。
<tex>
G \subset F
</tex>
逆に、 $F$ に対し体 $E$ が次の包含関係にあるとき、 $E$ を $F$ の *拡大体* と呼びます。単に *拡大* と呼ぶこともあります。
<tex>
F \subset E
</tex>
体 $F$ が、 $G$ の拡大体であって同時に $E$ の部分体であるとき、 $F$ は $G,E$ のちょうど中間に位置する体になっています。これを $G,E$ の *中間体* と呼びます。
<tex>
G \subset F \subset E
</tex>
準同型写像・同型写像
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
準同型写像はすでに群論で勉強したと思います。体は加法と乗法の両方に対して群となりますので、体の準同型 $\phi$ は次の二つの関係を両方満たす必要があります。
<tex>
\phi (a+b)=\phi (a)+\phi (b)
</tex>
<tex>
\phi (ab)=\phi (a)\phi (b)
</tex>
特に、写像が全単射の場合を同型写像と呼ぶことも群論と同じです( 準同型写像_ を復習してください)。
.. _代数学の基本定理: http://www12.plala.or.jp/ksp/algebra/FundamentalTheorem/
.. _準同型写像: http://www12.plala.or.jp/ksp/algebra/Homomorphic/
.. _拡大体: http://www12.plala.or.jp/ksp/algebra/Extension/
@@author:Joh@@
@@accept: 2006-06-21@@
@@category: 代数学@@
@@id: FieldBasic@@
記事ソース/体に関する基本的なこと の変更点
