複製鏈接
請複製以下鏈接發送給好友

希爾伯特零點定理

鎖定
希爾伯特零點定理是古典代數幾何的基石,它給出了域 k 上的 n 維仿射空間中的代數集與域 k 上的 n 元多項式環的根理想的一一對應關係,此外,它的一個較弱版本給出了仿射空間中的點與多項式環的極大理想之間的一一對應關係,由此建立了代數和幾何之間的聯繫,使得人們可以用交換代數的手段研究幾何問題。
中文名
希爾伯特零點定理
外文名
Hilbert's Nullstellensatz
所屬學科
代數幾何
應    用
是解方程的基礎定理之一
可計算性
可以用於具體判斷方程組是否有解
涉及學科
數學, 交換代數, 代數幾何

希爾伯特零點定理定義

代數閉域
上的
多項式環
(1)
的任一真理想
都滿足
[2] 
(2)(弱形式)
極大理想具有形式
, 這裏
(3)(強形式)
的任一理想
都滿足
[1] 

希爾伯特零點定理初等形式

是關於變元
一組
元多項式. 方程組
無公共零點的充要條件是: 存在另一組
元多項式
,使得成立:

希爾伯特零點定理相關概念

強形式的表述需要定義代數集。
稱集合
是代數閉域
上的
仿射空間,又記
上的
元多項式環。
的子集
代數集,如果存在
的子集
使得
.
另一方面,對於
的任一子集
,我們都可以定義
的一個理想
.不難驗證
的一個根理想。這裏,
的理想
的根定義為
.
參考資料
  • 1.    Robin Hartshorne.代數幾何:Springer,1977
  • 2.    Klaus Hulek.初等代數幾何(第2版):高等教育出版社,2014