第一篇留下的缺口
在上一篇裡，你把仿射簇建構為 k[x_1, ..., x_n] 中若干多項式的公共零集，並藉著宣告這些零集為閉集，賦予仿射 n 維空間一個拓樸——扎里斯基拓樸。那裡有兩個方向相反的映射。從一組多項式 S，你構作其零點軌跡 V(S)；從一組點 X，你構作在 X 上消沒的所有多項式所成的理想 I(X)。兩者顯然彼此糾纏，但第一篇並未說清究竟如何糾纏。懸而未決的誠實問題是：若我交給你一個簇 X，你能否唯一地讀出它的定義理想 I(X)，而反過來說，是否每個理想都切出一個真正不同的簇？
答案是否定的，而這份失敗極富啟發。在實數體上，由 x^2 + 1 生成的理想在直線上的零點軌跡是空的——沒有實數的平方等於 -1——儘管這個理想遠非全部。而 k[x] 中的理想 (x) 與 (x^2) 切出完全相同的一點，即原點，它們卻是不同的理想：後者記住了一個拓樸所看不見的「重數」。所以 V 與 I 一般而言並非互逆。本篇的全部內容，就是那條一舉修補兩處失敗的單一定理——前提是我們在正確的那種體上工作。
為何要代數封閉，以及弱形式
第一處失敗——一個真理想卻沒有零點——純粹是體的缺陷。修補之道是在代數封閉體 k 上工作，意即每個單變數的非常數多項式在 k 中都有根；複數 C 是典範例子，你全程都該想著 C。弱零點定理便是乾淨的回報：在代數封閉的 k 上，k[x_1, ..., x_n] 中的理想 J 其零點軌跡 V(J) 為空，當且僅當 J 是整個環，亦即 J = (1)。取逆否命題，每個真理想都至少有一個公共零點。這是「d 次多項式有根」的正確推廣：凡未在代數上被逼成矛盾的多項式方程組，總是有解。
值得誠實說明為何這需要證明、而非顯然之事。在單變數情形，它不過是代數基本定理。在多變數情形，並無解的公式，這個陳述是真正深刻的——一條標準途徑用諾特正規化與整擴張理論，另一條則用「作為 k 上代數有限生成的體必等於 k」這一事實（扎里斯基引理）。我們在此不予證明；這是一篇指南，而非一門課，其證明是交換代數中相當分量的一塊。請大聲說出前提：拿掉「代數封閉」，定理便直接是假的，正如 R 上的 x^2 + 1 早已表明。
強形式與根
第二處失敗——(x) 與 (x^2) 定義同一點——由強零點定理修補，這正是配得上「字典」之名的版本。它精確指出哪些多項式在一個理想的軌跡上消沒。確切陳述為：對代數封閉 k 上 k[x_1, ..., x_n] 中的任意理想 J，在 V(J) 上消沒的多項式所成的理想，等於 J 的根。J 的根記作 rad(J)，是所有滿足某次冪 f^m 落在 J 中的 f 所成之集——它正是你「遺忘重數」後所得的理想。於是 I(V(J)) = rad(J)：取零點軌跡、再問何者在其上消沒，並不還你 J，而是還你 rad(J)。
在那個例子上跑一遍以體會它。k[x] 中的理想 (x^2)：其根為 (x)，因為 x 不在 (x^2) 中、但 x^2 在，故 x 屬於根。而確實 I(V((x^2))) = I({0}) = (x)。於是強形式告訴你，幾何——點的集合——至多只能把理想復原到根。兩個具相同根的理想，作為點集在幾何上無法區分；(x) 與 (x^2) 之差，正是古典簇所拋棄、而概形（後一級的主題）為了記住它才被發明出來的那種無窮小重數資料。
字典，逐行對照
如今回報來了。手握兩種形式，V 與 I 便成為兩個世界之間互逆且反序的雙射：在幾何一側是仿射簇（仿射 n 維空間的扎里斯基閉子集）；在代數一側是 k[x_1, ..., x_n] 的根理想（等於自身之根的理想）。較大的簇對應較小的理想——點越多，能在它們全體上消沒的多項式越少——這正是何以此對應顛倒包含關係。這是本學科的核心統籌事實：關於簇的每個幾何問題都翻譯成關於根理想的代數問題，反之亦然，不損失任何資訊。
Geometry (varieties in A^n) Algebra (radical ideals of k[x_1..x_n]) ----------------------------- ---------------------------------------- V(J) <-------------------------- J (a radical ideal) X --------------------------> I(X) I(V(J)) = rad(J) larger variety <-> smaller ideal (inclusion-reversing) empty set V(1) <-> (1) = whole ring (weak form) single point (a_1,...,a_n) <-> maximal ideal m = (x_1-a_1, ..., x_n-a_n) irreducible variety <-> prime ideal whole space A^n <-> the zero ideal (0)
那張表中有兩行值得細看，因為它們精煉了第一篇的拓樸。一個簇是不可約的——不是兩個嚴格更小的閉集之併——恰當其理想為素理想之時。而一個單點對應一個極大理想；弱零點定理斷言，在代數封閉 k 上，k[x_1, ..., x_n] 的每個極大理想都形如 (x_1 - a_1, ..., x_n - a_n)，故點與極大理想是同一回事。一個簇分解為其不可約分量，便恰好映照其根理想分解為諸素理想之交——幾何的連通片，正是代數的素因子。
兌現它：坐標環
這部字典並非奇珍逸品；它是把一個環繫到每個簇、並透過那環來研究該簇的執照。給定一個帶理想 I(X) 的簇 X，X 上的多項式函數，就是 k[x_1, ..., x_n] 中的多項式模掉那些已在 X 上消沒者——亦即商環 k[x_1, ..., x_n] / I(X)。這便是 X 的坐標環，記作 k[X]。由於 I(X) 是根理想（依強形式），k[X] 沒有非零的冪零元：一個平方為零的函數本身必為零。零點定理正是保證古典簇上多項式函數構成如此乾淨、約化之環的東西。
由此，雙射從集合升級到結構。X 的點對應 k[X] 的極大理想；不可約子簇對應其素理想；而 X 不可約恰當 k[X] 為整環之時，此時 X 的函數域——有理函數，下一篇將正面探討——就是 k[X] 的分式域。衡量 X 大小的那個單一整數，即其維數，也將自 k[X] 讀出，作為素理想最長鏈的長度。這便是整級所執行的綱領：翻譯過去、在環裡計算、再翻譯回來。
局限、誠實，以及接下來是什麼
帶著三則誠實的告誡爬上階梯。其一，就所陳述的字典而言，代數封閉這個前提無從通融——在 R 或 Q 上，映射 V 與 I 依然存在、依然有用，但不再互逆，而「實代數幾何」是一門真正不同且更難的學問，並非特例。其二，強形式刻意丟棄重數：過渡到根，恰恰就是 (x) 與 (x^2) 之差的喪失。若那無窮小資料對你要緊——而對交截理論與形變它確實要緊——你便被推向射影簇，並終究推向概形，在那裡冪零元被保留而非被殺死。
其三，別過度推銷這份抽象。以坐標環取代簇，或許感覺像拿某種鮮活之物去換某種枯索之物，但這筆交易物有所值：那些難以想像、滑溜不定的關於點、分量、交截與維數的問題，化為例行的環計算——這個多項式是否落在這個根中、這個商是否為整環、這條素理想鏈有多長。環並非鋪在幾何之上的謎團；它就是幾何，以一種計算機或人手真能操作的語言寫下。這也正是何以後續各級的範疇論機器同樣物有所值，而非為抽象而抽象。
記住整篇指南有個乾淨的辦法：在代數封閉體上，幾何與交換代數是同一本書的兩種語言，而零點定理便是翻譯密鑰——V 與 I 是簇與根理想之間互逆的雙射，點是極大理想，不可約性即素性，而坐標環 k[X] 正是你真正計算之所。第三篇邁出下一步，以正則與有理函數及函數域取代整體多項式函數；第四、第五篇隨後便從這部字典所備好的同一批代數資料中，讀出維數、光滑性，以及貝祖定理的交截數。