体と自己同型写像(1)
ここからは『ガロア理論の頂を踏む』に従って証明を見ていき、体上の代数の同型を使って証明が書けるところは書いていきたいと思います。前に書いた証明と同じ内容になってしまう場合もあります。
定理 5.1
が体
から体
への同型写像であり、
、
が
を含むとき
に対して
が成り立ちます。
[証明]
、
が成り立ちます。
は
であるから
が成り立ちます。
であることから が成り立ちます。よって任意の
に対して
が成り立ちます。
のとき
であることから が成り立ちます。
、
のとき
が成り立ちます。よって任意の に対して
が成り立ちます。[証明終わり]
を
を含む体とします。
に対して
が
上の代数の準同型で
であるものとするとき
の元の中で次数が最小(で最高次の係数
が
)であるものを
の
上の最小多項式と呼びます。以下の定理の中では
でなくてもよいものとします(定義がいろいろあるようです)。
は体
の部分環(部分代数)であるので整域となります。
なので
は
の素イデアルとなります。
定理 5.2
(
)が
であるとき
が
上の既約多項式である。
が
の
上の最小多項式である。
[証明] とおきます。
( )
が
上の既約多項式で
とします。
は
の極大イデアルで
(たとえば
は
)であるから
となります。
に対して
となる
が存在します。
となります。よって
の次数は最小となり、
は
の
上の最小多項式となります。
( )
が
の
上の最小多項式であるとします。
は単項イデアル整域なので
となる
が存在します。
なので
となる
が存在します。
より
となり
となります。
とすると
は
の素イデアルなので
または
となります。
とすると
、
となります。同様に
とすると
、
となります。よって
は既約多項式となります。[証明終わり]
定理 5.3
の
上の最小多項式が
次式
であるとすると
は体になり、元の表し方は1通りとなります。
[証明] 上の定理の証明より 、
は既約多項式となります。
は単項イデアル整域なので
のイデアルは
(
) と表すことができます。
とすると
となる
が存在します。
は既約多項式なので
または
となり
は
の極大イデアルとなります。
より
の部分代数
は体となります。
を
の商体とすると
となります。
以下は以前書いた証明と同様となります。
とおきます。
となります。
とおきます。
を
で割った余りを
とすると
、
または
となります。
となります。よって
となります。
(
) とすると
とおくと
となります。
は
次式なので
となって
となります。よって
は
上1次独立となり
の
上の基底となります。よって
という表し方は一意的となります。[証明終わり]
次の定理が後の議論と関係しているので、前に戻って次の定理を書いておきます。
定理 3.6
を既約多項式とします。
が
で割り切れないとき、
と
は
上で互いに素となります。
で
が
で割り切れるとき、
が
で割り切れるか、
が
で割り切れるか、どちらかが成り立ちます。
と
が共通の根を1つでも持てば、
は
で割り切れます。
の次数が1次以上、
の次数未満のとき、
と
は共通の根を持ちません。
は重根を持ちません。
[証明]
1. は単項イデアル整域なので
のイデアルは
(
) と表すことができます。
とすると
となる
が存在します。
は既約多項式なので
または
となり
は
の極大イデアルとなります。(単項イデアル整域の既約元で生成されるイデアルは極大イデアル)
とすると、
なので
または
となります。
とすると
となります。
2. 、
とします。(1) より
とすると
となります。
となる
が存在します。
となります。(極大イデアルは素イデアル)
3. とします。(1) より
とすると
となります。
となる
が存在します。
、
とすると
となって矛盾。よって
となります。
4. 、
、
とします。(3) より
と
が共通の根を持てば
となります。
なので
となって矛盾。よって
と
は共通の根を持ちません。
5. に対して
(
の導多項式) を作ることを微分と言います。
が成り立ちます。
が重根を持つと仮定します。
、
、
とします。
が成り立ちます。
と
は共通の根
を持ちます。一方、
となるので (4) より
と
は共通の根を持たないので矛盾となります。よって
は重根を持ちません。[証明終わり]
定理 5.8
を体
から体
への同型写像とします。
を
上の
次既約多項式とします。
の根のすべてを
とすると
は
を入れ替えたものとなります。
[証明] は
上では恒等写像となるので
は
上の代数の同型となります。
、
とおくと
となって のとき
となります。
とおくと
となります。
は全単射なので
の
への制限は全単射となります。
この定理の主張はこれだけですが、定理 3.6 (5) から はすべて異なることがわかります。[証明終わり]
定理 5.9
を
上の
次既約多項式、
を
の異なる根であるとすると
を満たす
から
への同型写像
が存在します。
[証明] を
上の代数の準同型で
、
を満たすものとします。
は既約多項式なので
の最小多項式かつ
の最小多項式となるので
となって
となります。
に対して
、
をとると
ならば
となって
となります。
を
に対して
として定義することができ、全単射となって
、
は準同型なので
は同型となります。
であるから
となって
となります。[証明終わり]