記事ソース/分離拡大体
メニュー現在 7 名がオンラインです。 最新の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の記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容
=======================================
分離拡大体
=======================================
すでに 既約と可約_ で、次の定理を見ました。ただし、註にも書いたことですが、この定理がなりたつのは体の標数が $0$ のときだけだという点に注意してください。
.. admonition:: theorem
標数 $0$ の体上で既約な方程式 $f(x)$ は、重解を持ちません。
証明は既に与えてありますが、標数が零ではない体の場合も考えてみるために、まず次節で、 $f(x)$ の導関数 $f'(x)$ を使って方程式の重解の有無を判別する方法を導入します。
標数０の場合
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
体 $F$ 上の多項式 $f(x)$ が $m$ 重解 $\alpha$ を持ち、 $f(x)=(x-\alpha )^{m}g(x)$ と書けるとすると、その微分は $f'(x)=(x-\alpha )^{m-1}g(x)+(x-\alpha )^{m}g'(x)$ となり、やはり $(x-\alpha )$ を因数に持ちます。よって、この場合 $f(\alpha )=f'(\alpha )=0$ が成り立ちます。 $f(x)$ と $f'(x)$ はどちらも $F$ 上の多項式ですが、公約元 $(x-\alpha )$ を持ちますので、既約ではありません。
一方、 $f(x)$ が 重解を持たないならば、 $f(x)$ と $f'(x)$ は公約元を持たず、 $f(x)$ の解 $\alpha$ に対しても、一般には $f'(\alpha ) \ne 0$ となります。
標数≠０の場合
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
標数 $p \ (\ne 0)$ の体 $F$ を考えます。つまり、 $F$ の元 $x$ は全て $px=0$ を満たすということです。この体 $F$ 上で、方程式 $f(x)=x^{p}+a$ を考えて見ましょう。これは確かに既約ですが、標数が $p$ であることより、その導関数は $f'(x)=px^{p-1} \equiv 0$ となってしまいます。つまり、既約であっても、標数が零でなければ、導関数が零となる場合があるということです。
導関数が $0$ の場合、既約な方程式が重解を持つ可能性のあることは、 標数_ の記事で式 $(1)$ として導いた次の公式からも分かります。
<tex>
x^{n}+a^{n} = (x+a)^{n}
</tex>
左辺は既約ですが、右辺は $-a$ が $n$ 重根であることを示しています。標数が $0$ でない体の場合は要注意です！！
まとめ
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ここまで出てきた事柄を整理します。全部書くとややこしいので、フローチャート式の図にしてみました。 $f(x)=0$ の解を $a$ としています。標数の場合分けと論理関係に注意してください。
.. image:: Joh-CharacterVer2.gif
既約な多項式 $f(x)$ で、その解 $a$ に対して $f'(a)\ne 0$ となるものを *分離多項式* と呼びます。分離多項式は重解を持ちません。逆に、既約であっても $f'(a)= 0$ となるものを *非分離多項式* と呼びます。図中、標数 $0$ の場合を青い矢印で、標数 $\ne 0$ の場合を赤い矢印で示しました。標数に関わりなく成り立つ関係は、黒い矢印で示しました。上の段の、 *青い矢印で結ばれた三つの条件は、どれも分離多項式の条件として同値なもの* です。また、標数が零でない体上では、既約であっても $f'(a) \ne 0$ が言えません。 **既約な多項式が非分離となるのは体の標数が非零の場合だけ** です。
.. important::
標数 $0$ ならば、既約な多項式は全て分離多項式です。
分離拡大体は重解を持たないのですから、適当な分解拡大体上で、一次式の積にバラバラに因数分解できるはずです。分離拡大体は、重解を持たない既約方程式の *解を添加して得られる拡大体だ* とも言えます。
<tex>
f(x)=c(x-{\alpha}_{1})(x-{\alpha}_{2})\cdot \cdot \cdot (x-{\alpha}_{n})
</tex>
.. [*] 既約な方程式の話に微分が出てきましたが、これは単に多重解に対応する因数分解の部分 $(x-\alpha )^{m}$ の次数を一個下げるために顔を出してきた道具であって、ここで急に解析学が関係してくるわけではありません。分離多項式の心とは『重解を持たない既約多項式である』ということです。
.. [*] 最小多項式だとか、方程式が因数分解できるかとか、そのような話題で急に拡大体を分類し始めたのには、この後、方程式論に体論を利用してやろうという狙いがあるからです。いま抽象的な概念がしっくり来ない人も、ガロア理論の章で五次方程式に解の公式が無いことを示す予定ですから、そのような具体例を勉強したあとで復習すると用語の意味がはっきりするかも知れません。
分離的・非分離的
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
体 $F$ の代数的な元 $a$ を考えましょう。代数的であるとは、 $a$ を解とする代数方程式が $F$ 上にあるということです。いま、 $F$ 上の $a$ の最小多項式 ${\rm Irr}(a,F)$ が分離多項式であるとき、 *aはF上分離的である* といいます。最小多項式が非分離的ならば、 $a$ は $F$ 上非分離的である、と言います。
最小多項式が分離的か非分離的かで、元が分離的か非分離的かを定義するわけです。
分離拡大体
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
体 $F$ の拡大体 $E$ において、 $E$ の元が全て $F$ 上分離的であるとき、 $F$ を $E$ の *分離拡大体* と言います。 $E$ の元は全て、 $F$ 上の分離多項式の解として表わされるということです。逆に、 $E$ 上にひとつでも $F$ 上非分離的な元が入っていれば、 $E$ は $F$ の *非分離拡大体* であると言います。
分離拡大は、代数的拡大の特別な場合と言えます( 代数的拡大体_ 参照)。ですから、 *全ての分離拡大体は代数的拡大体です* が、その逆は言えません。代数的拡大体であっても、体の標数が非零ならば非分離的なものがあります。
ある体の代数的拡大体が全て分離拡大体になる場合、この体を *完全体* と呼びます。有理数体、実数体などは完全体です。このあと、ガロア理論の章では標数 $0$ の体ばかりを考えますから、基本的に非分離拡大体など出てきません。のちほど勉強する ガロア拡大体_ も、分離拡大体の一種です。
.. [*] この後の議論では、有理数体 $Q$ の代数的拡大体ばかり考えますので、そこに出てくる代数的拡大体は全て分離的です。標数が $0$ ではない体上の方程式を考えることは滅多にありませんので、実際問題、あまり非分離という事態を気にすることはありません。しかしせっかくですので、言葉の定義と概念は正確に覚えておきましょう。
分離閉包
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
体 $F$ 上の代数方程式の解を全て含む $F$ の拡大体 $\Omega$ を代数的閉包と呼ぶことは、既に 最小分解体と代数的閉体_ で見ました。 $\Omega$ の元のうち、 $F$ 上分離的な元だけによる集合を *分離閉包* と呼びます。
ここでは証明は省略しますが、分離閉包も体になります
.. _ガロア拡大体: http://www12.plala.or.jp/ksp/algebra/GaloisExtension/
.. _既約と可約: http://www12.plala.or.jp/ksp/algebra/Reducible/
.. _代数的拡大体: http://www12.plala.or.jp/ksp/algebra/AlgebraicExtension/
.. _標数: http://www12.plala.or.jp/ksp/algebra/Characteristics/
.. _最小分解体と代数的閉体: http://www12.plala.or.jp/ksp/algebra/SplitField/
@@author:Joh@@
@@accept: 2006-06-25@@
@@category: 代数学@@
@@id: SeparableExtension@@
|
