記事ソース/最小分解体・代数的閉体
メニュー現在 8 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
記事ソース/最小分解体・代数的閉体†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容======================================
最小分解体・代数的閉体
======================================
体 $F$ 上、既約な $n$ 次多項式 $f(x)$ を考えます。
<tex>
f(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+...+a_{1}x+a_{0} \ \ (a_{i} \in F) \tag{1}
</tex>
既約ですから $f(x)$ は $F$ 上ではこれ以上因数分解できませんが、 $F$ の拡大体 $E$ 上では、一次関数の積の形に因数分解可能かも知れません。複素数体にまで拡大すれば必ず因数分解可能であることが 代数学の基本定理_ によって保証されているのですから、この予想は的外れではないでしょう。
拡大体 $E$ 上で、多項式が一次関数の積の形に因数分解可能な場合、そのような $F$ の拡大体 $E$ を『 $f(x)$ の $F$ 上の *分解体* 』と呼びます。 $F$ と複素数体の間には、一般に無限に分解体がありますが、特に分解体で最小のものを *最小分解体* と呼びます。『 $f(x)$ をバラバラに因数分解可能できる最小の拡大体』という意味です。多項式の解がどの体上にあるかは個々の多項式によって異なりますから、最小分解体は、 *個々の方程式に対して一つずつ決まる* ものです
方程式の解でもとの体に含まれないものを、必要最小限だけ添加して得られる拡大体が最小分解体だと考えることもできます。
有理数体 $Q$ 上の方程式に対して、最小分解体は必ず存在し、一意的に決まることが知られています。ここでは証明は省略します。 代数学の基本定理_ によって少なくとも複素数体は $Q$ 上のどんな方程式に対しても分解体になるわけですから、最小分解体の存在は明らかでしょう。
代数的閉体、代数的閉包
----------------------------------------------------------------------
体 $F$ の全ての代数方程式 $f(x)$ が $F$ 上に解を持つとき、 $F$ を *代数的閉体* と呼びます。
有理係数の方程式が無理数の解を持ったり、実係数の方程式の解が複素数になったりしますから、有理数体や実数体は代数的閉体ではありません。しかし、複素数体上の方程式は解を全て複素数体上に持ちますから、 *複素数体は代数的閉体です* 。 代数学の基本定理_ は、複素数体が代数的閉体であることを主張していると読み換えることも出来ます。
次の三つの条件は、代数的閉体の定義として、どれも同値なものです。つまり代数的閉体は『これ以上体の拡大をしなくても、方程式を解くのに一人で困らない体』なのです。
1. 代数的閉体はこれ以上、代数的に拡大できません。
2. 代数的閉体上の多項式 $f(x)$ に対し、 $f(a)=0$ を満たす数 $a$ (つまり方程式の解)は、全て代数的閉体に含まれます。
3. 代数的閉体上の多項式 $f(x)$ は、代数的閉体上、一次式の積の形に因数分解できます。
次の定理も重要です
.. important::
有限体は代数的閉体にはなりません。
.. admonition:: proof
有限体 $F$ の位数を $q$ とすると、 $F-\{ 0\} $ は $q-1$ 次の巡回群となり、 $F$ の任意の元は $x^{q}=x$ を満たします。すると、例えば $x^{q}-x+1=0$ を満たす解は存在しません。よって有限体は代数的閉体にはなりえません。■
ある体の拡大体が代数的閉体になっているとき、その拡大体を *代数的閉包* と呼びます。 複素数体は、有理数体や実数体の代数的閉包です。
.. _代数学の基本定理: http://www12.plala.or.jp/ksp/algebra/FundamentalTheorem/
@@author:Joh@@
@@accept: 2006-06-24@@
@@category: 代数学@@
@@id: SplitField@@
|
