>>806
ちゃんとオーソドックスに勉強してる人は
ヒルベルトの零点定理
を挙げて論じると思う。
(引用終り)
なるほど、良い論点だ。下記だね さて
1)ヒルベルトの零点定理 (Nullstellensatz) は、”これは代数学の基本定理の多変数版と見なせる”だね
そして、ヒルベルトの零点定理は (可換)環論と極大イデアル論から純代数的に証明されているようだ
なので、ヒルベルトの零点定理 多変数版→代数学基本定理(1変数版) は可能かな(未確認だが)
2)さて、下記”スキーム論へ向けて”を読むと、スキームは 必ずしもヒルベルトの零点定理を必要としていない
まとめると、ハーツホーンは スキーム論で代数幾何を展開するので、ハーツホーンでは 代数学基本定理(1変数版) は範囲外だろう
つまり、ヒルベルトの零点定理の話ならば、スキーム論以前の話だね
よって、>>774における 「日本語の本にはないかもね。でもGriffiths=Harrisの冒頭とかHartshornには書いてあるよ」
の ”Hartshornに”の部分は、AIの”迎合”の ハルシネーション判定!w (^^
(参考)
https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E5%A4%9A%E6%A7%98%E4%BD%93
代数多様体
本項では、スキーム論的な観点に立ちつつ、スキーム論を直接用いず代数多様体を定義しその性質について述べる。また議論を簡潔にするため、特に断らない限り体 k は代数的閉体であると仮定する(体 k が代数的閉であるという条件を除去するために必要な考察についてはスキーム論へ向けてを参照)。
アフィン代数多様体の座標環とヒルベルトの零点定理
本節の内容については体上有限生成環の理論も参照。
ヒルベルトの零点定理 (Nullstellensatz) によれば、代数的閉体 k 上の多項式環の任意の極大イデアル m は、アフィン空間の点 p = (a1, ..., an) を用いて
m=(x1−a1,…,xn−an)=I({p})
の形に書ける。すなわち、代数的閉体上の多項式環の極大イデアルは、アフィン空間上の点全体と1対1に対応している。零点定理によれば、イデアル I が 1 を含む、すなわち多項式環全体にならない限り V(I) は空集合にならない[注釈 4]。このことから
I(V(I))=I
がわかる(体上有限生成環の理論参照)。
[注釈 4]:^ これは代数学の基本定理の多変数版と見なせる。この節で k が代数的閉であることを仮定した理由は零点定理を用いるためである
つづく
Inter-universal geometry と ABC予想 (応援スレ) 77
■ このスレッドは過去ログ倉庫に格納されています
810現代数学の系譜 雑談 ◆yH25M02vWFhP
2025/11/12(水) 13:41:10.07ID:ALZYQ4aC■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【野球】日本シリーズ第3戦 H 2x-1 DB [10/27] ホークス3連勝 延長10回に正木がサヨナラホームラン DeNA3連敗 [鉄チーズ烏★]
- 高市首相、バングラデシュに1兆円の投資 伝達 [バイト歴50年★]
- スーパー「アキダイ」秋葉代表が国会質疑に「減税の喜びは1か月もたない」 2年後の増税や値札付け替えの現場負担を懸念 [少考さん★]
- GMO情報公開確認したユーザーに最大300万円 懸賞金総額100万ドルで情報提供も呼びかけ [バイト歴50年★]
- 高市総理のG7欠席「回線業者が…」追及で国会274秒ストップ 辻元清美氏「石破政権までは24時間対応」「完全に自己矛盾」 [少考さん★]
- 「高度なAIは人類滅亡のリスクをもたらす」──生成AI「Claude」開発元の米Anthropicが投資家向け資料で言及★2 [♪♪♪★]
- 【悲報】GMOの被害者一号の小山さん、全てを失うww [347751896]
- 岩屋毅前外相、高市首相の台湾有事発言「事実上の訂正」を提案 [399259198]
- 【朗報】GMO「ハッカーの有力情報提供者に1.6億やるぞ」いそげ!!! [394133584]
- みんな仲良しなお🏡
- 2026年日本シリーズ3試合連続延長戦突入wwwwwwwwwwww
- GMOスレ、レス設定5000にすればスクリプトが力尽きることが判明してしまい終わる… [668024367]