代数曲線入門1問1答 3
元ネタ:代数曲線 梶原健
問題
問1 以下を示せ。
既約多項式 が を割り切るなら、
は または を割り切る。
答1
問2 以下を示せ。
の世界で既約多項式が素元であるとすると、
既約多項式 が を
割り切るとき、 は または を割り切る。
答2
問3 以下を示せ。
既約多項式 は を
係数環とする の多項式としても既約である。
答3
問4 以下を示せ。
既約多項式 が を
割り切るとき、 は または を割り切る。
答4
問5 以下を示せ。
定数でない多項式 が共通因子を持たないならば、
は有限個の点からなる。
答5
問6 以下を示せ。
定数でない が既約 が素イデアル
答6
問7 以下を示せ。
定数でない が既約 が極大イデアル
答7
問8 以下を示せ。
既約多項式 の零点集合 は既約。
これが無限集合なら、 。
答8
問9 以下を示せ。
が無限体のとき、 の有限で既約な代数集合は点のみ。
答9
問10 以下を示せ。
は の既約な代数的集合である。
答10
問11 以下を示せ。
が無限体のとき、 の既約な代数集合で無限なものは、
を除くと、既約多項式 に対する のみ。
答11
問12 以下を示せ。
代数的閉体 を係数とする多項式 が
互いを割り切らない既約多項式 で
とかけるとする。
このとき、 、
。
答12
解答
問1
が を割り切らないとすると、 があって、
とできる。
すると、 。
これより、 は で割れる。
問2
とおく。
がすべて で割り切れるか
がすべて で割り切れるなら、
か が で割り切れる。
のどちらにも割り切れないものがあるとすると矛盾することを示す。
を大きい順に で割り切れるか見ていき、
最初に割り切れなかったものを、それぞれ とする。すると、
の左辺は で割り切れ、右辺は割り切れないという矛盾に逢着する。
問3
の世界で となったとする。
、 の分母を払えば のように書ける。
ただし、 は、 、 の分母をかけ合わせたもので、
、 は 、 の分子たちである。
だから、問2より、
を割り切る既約多項式は、 か を割り切る。
を割り切る既約多項式で割っていくと、 となる。
は既約なので、 か のどちらかは になる。
すると、 または が言えたことになる。
問4
帰納法で証明する。
問2で が を含まない場合を示した。
そこで以下では、含む場合を考える。
問3より は の既約多項式でもある。
の世界で考えると、問1より、 は か を割り切る。
以下では、 を割り切るとする。すると、分母を払って、 と書ける。
ただし、 。
は既約なので を割り切る既約多項式は を割り切らない。
(唯一可能そうなのは、その多項式が と一致する場合だが、それは が
を含むという仮定に反するので考えない。)
すると、問2より、 を割り切る多項式は を割り切る。
そのような多項式で割っていくと、 となる。
問5
多項式は有限個の既約多項式に分解できるから、最初から既約多項式で考える。
のとき、これらは を係数とする の多項式としても既約。
したがって、 の世界で と書ける。
または が の多項式の場合も上のような式ができる。
分母を払って、 。
したがって、 なら である。
しかるに の根は有限個のはずである。
問6
は問4より明らか。
は「整域において素元は既約元」だから明らか。
( と書けたとすると、 。
すると、素イデアルであるから、 か が で割り切れる。
たとえば、 が割り切れ と書けたとすると、 。
よって、 となるので、 は単元。)
問7
1変数の多項式環は単項イデアル整域。
単項イデアル整域の でない素イデアルは極大イデアル。
問8
ここまでの総復習的問題。
まず、問6より、 は素イデアル。
素イデアルに対応する代数的集合は既約。
次に を示す。
は前にやったが常識的にも明らか。
を示すのに とする。
だから、 。
これが無限集合だから、問5より、 と が共通因子を持つ。
しかるに、 は既約なので を割り切り、 。
よって、 が示された。
問9
1点 は [tex:(a,\hspace{3}b)\hspace{3}\in\hspace{3}V*1] であるから代数的集合。
2つに分割できないから既約。
有限な代数的集合は1点のみの場合を除くと分割できるので既約ではない。
問10
は明らか。
は素イデアルだから、 は既約。
問11
無限で既約な代数的集合で に一致していないものを とする。
すると、 は定数でない多項式 を含む。
は素イデアルだから、 の既約因子のどれかは に含まれる。
したがって、最初から として既約かつ に含まれるものを選んでよい。
ここで、もし、 があれば、
となるが、問5より、 は有限集合のはずで矛盾する。
つまり、そういう はないのだから、 。
このとき、 。
問12
を固定すると、 は についての多項式である。
もしかすると、これがたまたま定数になってしまうこともあるだろうが、
それは有限個の場合である。
もし、無限個の場合で定数なら、もともと は定数ということになるから。
したがって、 は無限集合になる。
したがって、問8より、これは既約で となる。
前々日の問5より、 。
また、前々日の問9より、
さらに、 たちは互いに素だから、 。
よって、 。
*1:X\hspace{3}-a)(Y\hspace{3}-\hspace{3}b