ここでは複素数の説明のために体上の多項式の説明をします。
(『可換環論の勘どころ (数学のかんどころ)』*1 を参考にしています)
ここでは、自明ではない単位元を持つ可換環のことを単に環ということにします。
体上の多項式環(1)
環上の多項式環のところでも説明しましたが、ここでも説明しておきます。
多項式の構成
を体とします。 の元の有限個の列全体の集合を とおきます。 に二項演算、加法 と乗法 ( を と書くこともあります)を
と定義すると、 は環となります。ここで とします。
の元 をある文字 を使って
のように書きます。 のところを係数と呼びます。係数が のところは書かなくても良いとすると有限の列で書くことができます。これを に係数を持つ不定元 に関する多項式と呼びます。この形に書いた多項式全体の集合を と書きます。
を とすると、 は単射の環の準同型となります。 によって とみなすことができます。
である最大の をこの多項式の次数と呼びます。 のとき の次数を と書きます。 のときは次数は定義しません。
環 が任意の に対して ならば または であるとき を整域と呼びます。
、 を の元、、、、 とします。 となって となります。よって は整域となります。この議論は が整域であれば成立するので以下のことが成り立ちます。
が整域ならば は整域となります。
を不定元とする整域 上の多項式環 を
と帰納的に定義します。 は整域となります。
この商体 を有理関数体を呼び と表します。
体上の代数
を体とします。環 に対して環の準同型 があるとき を 上の代数(可換な結合的代数を単に代数と呼ぶことにします)と呼びます( を と書きます)。
の加法だけを考えると は 上のベクトル空間となります。
体上の多項式環は体上の代数となるので、ベクトル空間となります。
ユークリッドの互除法
、 を の元、、、、 とします。
の次数は より小さくなります( のときは とします)。これを次数が 以上である間繰り返すと、 であり、 の次数は 未満となる多項式 、 が得られます。この を 、 を と書くことにします。 のときは 、 とします。このようにすると のとき 、 が決まります。
これを繰り返して という多項式の列を作ることができます。 が成り立っているのでこの列は または となるまで作ることができます。この手順をユークリッドの互除法と呼びます。
整域 の任意のイデアル に対して となる が存在するとき、 を単項イデアル整域と呼びます。
を のイデアルで とします。 を で が最小となる の元とします。 である をとると であるから が存在します。 または が成り立ちますが は最小なので となります。よって となり となります。よって は単項イデアル整域となります。
代入原理
、 を環、 を環の準同型とします。
このとき任意の に対して環の準同型 で
- 任意の に対して
を満たすものが一意的に存在します。
[証明] の元 に対して
と定義することができて、任意の に対して 、、、 が成り立つので は環の準同型となります。 に対して
- 任意の に対して
が成り立ちます。逆に環の準同型 が上の条件を満たすならば
となって と一致します。 [証明終わり]
が恒等写像のとき 、 に対して を と表します。
の場合にも以下のことが成り立ちます。
、 を環、 を環の準同型とします。
このとき任意の に対して環の準同型 で
- 任意の に対して
を満たすものが一意的に存在します。
が恒等写像のとき 、 に対して を と表します。
を体、、、 とします。、 とおくと 、 または となります。 となるので となります(剰余の定理)。
とすると 、 は一意的に決まるので となります。逆に とすると となります(因数定理)。
- 作者:四郎, 後藤
- 発売日: 2017/08/10
- メディア: 単行本