日々考えることについて

代数曲線入門p.14

※の式が、よくわからない。

 

なぜF(X,Y)−F(0,Y)がXで割り切れるのかわからない。

 

Yを固定して、Xの式にしてあるからなのか。

つまり、一変数多項式にしたのだろうか。

 

でも、そうすると、

なぜF(0,Y)-F(0,0)にしているのかがわからない。

 

 

代数曲線入門p.10の証明

１．２．５命題

 

体ｋ係数ｎ変数既約多項式F∈ｋ[X1,...,Xn]が

GH（G,H∈ｋ[X1,...,Xn]）を割り切るならば、

FはGまたはHを割り切る。

 

 

ｎ＝１のときは了解している。

 

次に帰納法。

 

Fに、変数X_nが含まれていないものとして考える。

なぜ、そうする必要があるのか、まず、わからない。

 

まぁ、それはいいとして。

 

第１段

X_nがFに含まれていない時に求めよ。

第２段

X_nを含むFがｋ（X1,...,Xn-1)を係数とするときも、

既約多項式であるとせよ。

第３段

X_nがFに含まれている時に求めよ。

 

 

第２段のMは、第１段のFを流用している？

Kの元倍しか違わないというところが謎。

既約ということを重視した証明である。

 

つまり、つまり、

１．２．２．の定義

Fを既約多項式として、

F=GHならば、GまたはHは定数である

 

ことを使いたいようである。

代数幾何入門p.1-3

イデアルの演算で躓いた。

 

イデアルの和、イデアルの積、商イデアルについてわからない。

 

補題１．１．３が全く私には理解できない。

 

 

イデアルの定義はある程度、理解できるのだが、つまり、部分環であって、吸収律がはたらくということはわかる。

 

でも、そのイデアルの和と言われても、きっと、今の私には理解できていないと思う。具体例が欲しい。

 

 

イデアルの大小関係において、大きいとどうなのか、逆に、小さいとどうなのか。これもわからない。極大イデアルというのが、何が極大であるのかも、実はわかっていないかもしれない。極小イデアルというものが特にないということも、不思議ではある。でも、つまり、大きいほうが意味がある、ということかもしれない。