高木贞治 · 只证存在
高木贞治（1875—1960），日本岐阜人。他生在明治初年的山村，赶上了日本第一次派人出国学数学；在德国听了三年课，回国后在东京的讲台上站了三十五年；第一次世界大战把欧洲的期刊全部截断，他就在这四年里独自造出了一门学问——类域论。
他一生做了三件事。第一件在账本上：整数分解成素数只有一种分法，这个两千年的常识，一走进某些数域就失效了；他学会了用「理想」把账重新记平。第二件在对称上：一个数域的对称能排成一个群，群有多大、有哪些子群，决定了这个域里能长出哪些中间域。第三件在对应上：他把「理想的类」与「阿贝尔扩张」摆成一张一一对应的表——给定基域，所有交换的扩张都能被这张表数清。这一步只证明「有」，不告诉「怎么造」。
明线四样：唯一分解的裂缝（理想登场）、对称的账本（伽罗瓦群）、类与域的一一对应（类域论）、存在而不构造（存在定理）。
暗线一句：看不见的东西，也能确凿。他证明「这样的域一定存在」，却拿不出一个具体的造法；他也曾在深夜反复推翻自己，找不到一个反例。全册的数学，都长在这句断言上：确凿不等于看得见。
五幕：第一幕讲一个山村少年走到希尔伯特门下（p.6—p.12）；第二幕讲战争截断邮件之后的四年（p.13—p.19）；第三幕讲一张一三三页的稿子渡海（p.20—p.26）；第四幕讲一九二〇年那间会场（p.27—p.33）；第五幕讲讲台、教科书与身后（p.34—p.40）。
三层读法照旧：故事层无需预备知识；数学层只用到加、减、乘、除、平方与几张小表（p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30、p.35—p.37），每一步都从头算起；注疏层给出原始论文、版本与研究文献，逐页可查。
先把时间拨到 1875 年。这年 4 月，岐阜县一个山村添了一个男孩。那时的日本刚废藩置县七年，全国还没有一所像样的大学；算术在乡间是一门手艺，认字与拨算盘，就是全部的数学教育。
这个男孩叫高木贞治。父亲是村里有点名望的人家，家里供得起他读书。他在村塾与小学里把算盘打得极快，随后进了京都的中学——那所学校后来叫第三高等中学校，是当时日本少数能一路读到大学的通道。
那时日本学界正在做一件大事。明治政府把数学当成「富国强兵」的一部分：请外国人来讲课，同时一批批把年轻人送出去。菊池大麓在英国学了数学回来，藤泽利喜太郎在德国学了统计与保险回来，两个人在东京帝国大学开出第一套现代数学课程。这个山村来的学生，正好赶在这套课程刚刚铺好的时候进了门。
这里藏着全册的起点。一个国家的数学从零起步，最缺的不是天才，是「知道世界上有什么」的人。1894 年他考进东京帝国大学理科大学数学科，第一代课程表上的内容，他一样都没落下：微积分、方程论、射影几何——全是刚翻译过来的新东西。
而在此之前，还有一件更小的事：他后来回忆，自己真正迷上数学，是因为一本讲几何原本的小册子——不是因为它有用，而是因为它讲道理。这一册的故事，就从这座山村、这方算盘、这本小册子讲起。
1898 年，二十三岁的高木上了船。文部省给了一笔留学经费，他去德国，一去三年。第一站柏林：听弗罗贝尼乌斯讲群论，听施瓦茨讲函数，听福克斯讲微分方程——这三门课他在东京都读过，可换一个人讲，讲法完全不同。
第二站是哥廷根。二十世纪初的哥廷根是世界的数学中心，希尔伯特在那里。高木跟的正是希尔伯特：1897 年希尔伯特刚写了一篇数论报告，把当时关于代数数域的一切整理成一张清单，末尾留下一个悬而未决的问题——「类域」到底存在不存在，若存在，怎么把它的性质说尽。
这个问题成了他一生的题目。在哥廷根期间，他先啃下了一个小的情形：高斯数域上的「青春之梦」——克罗内克当年猜，某些阿贝尔扩张可以由双纽线函数的分点值生成。高木把它证了出来。这大概是日本学者第一篇拿到国际水准的论文。
1901 年他回国，1903 年在东京大学拿到理学博士学位，1904 年升教授。第三张书桌在东京：一间不大的研究室，一柜德文期刊，一叠写满算式的草稿纸。此后十余年，他一面教书、一面编教科书——中学的、高中的、大学的，八年里出了十三部。
然后战争来了。1914 年 7 月，欧洲开战；到这一年冬天，德文期刊不再寄到东京。这张书桌忽然变成一座孤岛——而类域论，正是从这座孤岛上长出来的。
这本册子要处理三样东西。三样看起来都很抽象：一本记不下去的账、一张排列对称的表、一句只说到「有」的话。
第一样本册叫它账本。在普通的整数里，每个数拆成素数只有一种拆法：6 只能是 2 乘 3。可一走进某些数域，同一个数会有两套完全不同的拆法——账记不下去了。十九世纪的数学家想出的办法是：不给数记账，给「数的集合」记账，这种集合叫理想。账又能记平了，只是记的不是数，是理想。
第二样叫对称表。一个数域上能做的「保运算的重排」有几个？把它们排成一张表，表本身就是一个群。群有多大、里面有哪些子群，直接决定了这个域里能套多少层中间域——这是伽罗瓦留下的账。高木要做的，是把这张表挪到「类」上。
第三样是一句只说到「有」的话。类域论最深的一条叫存在定理：给定基域，每一个「类群」的子群，都有一个对应的阿贝尔扩张。它保证有，却不说长什么样，更不说怎么造出来。这是二十世纪数学的一个新姿态：先确凿，再谈看见。
三样东西有一个共同点。它们都在回答同一个问题：当对象看不见、摸不着、也列不出来的时候，凭什么说它确凿？高木的答案是：给它一套算法则，让这张表自己说话。
先算一道最小的题：6 到底有几种拆法？下一幕从那本记不下去的账讲起。
1898 年秋天，柏林的课堂上多了一个东方学生。他坐在后排，笔记记得极密。三门课同时开：群论、复变函数、微分方程——讲台上的人名在欧洲如雷贯耳，讲的内容他在东京已经读过一遍，可这一次不同：讲的人会停下来问「为什么必须这样」，而不是「记住这样」。
第二年他转去哥廷根。那里的数学讨论班每周一次，谁都可以站起来打断。希尔伯特当时刚写完一篇长篇数论报告，把代数数域的一切整理成清单；报告末尾留了空白：类域这件事，还差最后一步。高木把这份报告读了很多遍，把空白处抄进自己的本子。
他先从一个小情形下手。克罗内克年轻时有一个猜想，被人叫作「青春之梦」：某些阿贝尔扩张，可以由双纽线函数的分点值生成。这个猜想在高斯数域上没人证过。高木在哥廷根把它做出来了——用函数值造出扩张，这在当时是很新的手法。
1901 年他回东京，1903 年以此获博士学位。论文寄到欧洲，反响不错，但不算轰动。他自己清楚：这只是「青春之梦」的一个特例，真正的问题还在后面——一般的基域上，那些交换的扩张到底有多少、怎么数、凭什么说都存在。
接下来的十几年，他先做别的事。教书、编教科书、带学生。八年里出了十三部教材，从中学算术到大学解析，几乎把日本数学教育的骨架搭了一遍。类域的问题一直放在抽屉里，隔一阵拿出来写几页，又放回去。
然后 1914 年 7 月，萨拉热窝的一声枪响。到那年冬天，德文期刊停寄，国际通信中断，哥廷根成了一个遥远的名词。抽屉里的那叠稿子，忽然成了他唯一能对话的东西。
先看一条用惯了的规矩。每个大于 1 的整数，拆成素数只有一种拆法：12 = 2 × 2 × 3，换个次序也一样。这条规矩叫唯一分解，两千年来没人怀疑过。
现在把数的范围扩大一点。允许出现 √−5 这种「平方得负五」的数，把所有形如 a + b√−5 的数（a、b 是整数）收进来，凑成一个新世界，记作 ℤ[√−5]。在这个世界里，加减乘照旧做得通。
然后看 6。第一套拆法：6 = 2 × 3。第二套拆法：6 = (1 + √−5)(1 − √−5)——因为 (1 + √−5)(1 − √−5) = 1 − (−5) = 6。两套拆法都成立，没有一处算错。
关键在下一条：这四样东西，谁也拆不动了。要判断一个数能不能再拆，用「范数」：N(a + b√−5) = a2 + 5b2，它把乘法变成乘法：N(xy) = N(x)N(y)。拆开一个数，就是把它范数拆成两个更小的范数。
N(2) = 4 N(3) = 9 N(1 + √−5) = 1 + 5 = 6 N(1 − √−5) = 6
范数为 2 的数？a2 + 5b2 = 2 无整数解
范数为 3 的数？a2 + 5b2 = 3 无整数解
算完就明白了。2 若要拆，得先有一个范数 2 的因子——不存在，所以 2 拆不动。3 若要拆，得有一个范数 3 的因子——也不存在。同理，1 + √−5 范数是 6，要拆只能拆成范数 2 与 3 的因子，同样不存在。四样东西都是这个世界里的「素数」。
结论很刺眼：6 拆成了 2 × 3，也拆成了两个「素数」的乘积，两种拆法给出的东西全不一样。唯一分解在这里失效了。这不是算错，是这个世界本来的样子。
账记不下去，怎么办？十九世纪的办法很妙：不给「数」记账，给「数的集合」记账。取几个数，把它们的整数倍全都加起来，凑成一个集合——这个集合叫理想。
写法简单。把 2 与 1 + √−5 一起收进来，记作 P = (2, 1 + √−5)，意思是「所有形如 2x + (1 + √−5)y 的东西」，x、y 取遍 ℤ[√−5] 里的数。这样的集合对加法封闭，对乘法也封闭——拿集合里任一元素去乘外面的数，结果还在集合里。
妙处在于它们能相乘。两个理想相乘，就是把两边所有元素两两相乘再收进来。现在做一次真的乘法：
P2 = (2, 1 + √−5) · (2, 1 + √−5) = (4, 2 + 2√−5, (1 + √−5)2)
(1 + √−5)2 = 1 + 2√−5 − 5 = −4 + 2√−5
三个生成元都带因子 2：4 = 2·2，2 + 2√−5 = 2(1 + √−5)，−4 + 2√−5 = 2(−2 + √−5)
所以 P2 ⊆ (2)；反过来，2 也在 P2 里（4 与 −4 + 2√−5 相减得 8 − 2√−5，再与 2 + 2√−5 搭配，可凑出 2）
结论：P2 = (2)
这一步是全册的枢纽。它说明 6 的两套拆法其实并不矛盾：2 这个「数」在理想的层面是 P 自己乘自己；而 1 + √−5 属于 P 与另一个理想 Q 的乘积。原来那两套拆法用的是同一批零件，只是零件不是数，是理想的组合。
更重要的是一条定理。把数换成理想之后，唯一分解回来了：每个理想都能唯一地拆成素理想的乘积。代价是拆出来的东西不再是数——它们看不见、写不成一个具体的值，只能说成「某个集合」。
于是有了一个新问题。理想与理想之间也有「差不多」的关系：两个理想若只差一个由单个元素生成的主理想，就算同一「类」。一个数域里的类有多少，是一个有限的数，叫类数。ℤ[√−5] 的类数是 2——差一点，就差这一点，账记不平。
换一个更好算的世界试试。把 √−1 收进来，得到高斯整数 ℤ[i]：形如 a + bi 的数，a、b 是整数。这个世界里唯一分解是成立的，账本来就能记平。
但新的现象出现了。把普通的素数搬进这个世界，它们会各走一路：有的裂成两个，有的原地不动，还有一个干脆「化」了——裂成的两半其实是同一个东西。三种命运，数学上叫分裂、惯性、分歧。
逐个算。判断的办法还是范数：N(a + bi) = a2 + b2。若某个素数 p 能写成两个平方之和，它在这个世界里就裂开：
p = 2：2 = (1 + i)(1 − i)，而 1 − i = −i(1 + i)，两个因子只差一个单位 → 分歧
p = 5：5 = (2 + i)(2 − i)，真正裂成两个 → 分裂
p = 3：3 = a2 + b2 无解（平方数只有 0、1、4、9）→ 惯性
p = 13：13 = (3 + 2i)(3 − 2i)，范数 9 + 4 = 13 → 分裂
p = 7：7 = a2 + b2 无解 → 惯性
规律一眼看出：裂不裂，只看除以 4 的余数。p ≡ 1 (mod 4) 就裂，p ≡ 3 (mod 4) 就不动，2 是唯一的例外。这是一条两百多年前就知道的规矩——费马两平方和定理，欧拉给过证明。
把这条规矩说清楚，需要一件东西。「除以 4 的余数」其实是一个群：1 与 3 两个元素，乘法封起来，记作 (ℤ/4ℤ)×。余数为 1 的那一半，正好让素数裂开；余数为 3 的那一半，正好让它不动。
这就是全册的种子。裂与不裂本来看的是「数」，可它真正服从的是「余数组成的那个群」。高木后来做的事，就是把这个观察推到任意数域：让素数怎么分裂的，不是别的，是那个域的类群。下一幕先把「群」这本账理清。
这一页不讲算式，讲一件更难的事。数学里有一类东西，永远看不见：理想不是数，是一个集合；类不是数，是一堆集合的「差不多」；阿贝尔扩张不是某个具体的值，是一整片新世界。
二十世纪以前，数学家对这类东西很谨慎。能算出来的才写进书里，算不出来的就说「未知」。可从十九世纪末起，局面变了：问题逼着人承认，有些对象只能「整体地说」，一旦要求逐项列出，就什么也说不出来。
高木走得更远。他后来证明的那条定理，连「这片世界长什么样」都不回答，只说「一定有这么一片」。这不是偷懒，是当时的极限：真要造出来，需要一种还没被发明的函数。
于是出现了一种新的信心。相信的理由不再是「我看见了」，而是「所有可能的反例都被排除」。用集合、用群、用对应表，把「不可能没有」证成「一定存在」——这是二十世纪数学最典型的姿态。
这种信心也有代价。高木在 1915 年就付过：结果推出来了，却找不到一个具体例子来印证，于是反复怀疑自己算错。确凿与看得见之间，隔着一道很长的走廊；他在这条走廊里走了四年。
本册后面所有的数学，都要在这条走廊里进行。下一幕先看走廊的墙面：那些叫「群」的对称表。
那一代人的数学，靠两条线运转。一条是期刊，一条是信件。期刊负责公开，信件负责抢先——新结果先在信里告诉同行，再慢慢写成论文。谁的信多，谁就在圈子的中心。
中心在德国。哥廷根与柏林，两座城加上几份期刊，构成了当时数学的调度台。日本是后来者：明治政府派出一批批留学生，回国后第一件事就是订期刊、建藏书室。东京帝国大学的数学教室，靠的就是这套进口的纸。
1914 年秋天，这条线断了。海上通路被封，德国的期刊出不了港；协约国这边的学术机构也主动切断往来。1916 年起连私人信件都要绕道，一来一回要半年，还常常寄丢。
断线之后，出现了两种反应。多数人转做不受影响的方向，或者等；少数人把断线当成机会——没有新论文可追，只好自己想。高木属于后者。他后来的自述说得很直白：平常日子过惯了，没有外来刺激；战争一打响，外国的书不来了，要作学问，只有自己下苦功。
代价是信息不对称。他不知道欧洲同行走到了哪一步，欧洲也不知道他做出来了什么。同一时期，德国的哈塞正在系统整理类域论；若邮路畅通，这两部分工作本可以早十年碰头。
断线还留了一条后遗症。1920 年的国际数学家大会在斯特拉斯堡召开，战败国被排除在外：德国、奥地利、匈牙利的数学家不能出席。类域论的两半——东京的一半与欧洲的一半——在会场上仍然没能同时出现。这一页的断口，要到 1920 年代末才真正接上。
第一幕收在这里。1894 到 1914 年，二十年间，一个山村少年成了东京的教授，又在一场战争里被切断了与世界的联系。这一路他带回来三件家什。
第一件：理想。数拆不动的时候，改拆集合。代价是这些零件看不见，好处是账又能记平——每个理想都能唯一地拆成素理想的乘积。
第二件：类。理想之间差一个主理想就算同一类。类的个数叫类数，是有限的。ℚ(√−5) 的类数是 2；类数等于 1 的世界，账本来就平。
第三件：一个观察。素数搬进新世界会裂、会不动、会化；决定它命运的，不是这个素数本身，而是「余数组成的那个群」。这就是后来整门学问的入口。
还有一个更隐蔽的收获。他学会了一种说法：不描述对象，只描述关系。理想是什么？是「能让某个集合对乘法封闭的那套倍数」；类是什么？是「忽略主理想之后的等价」；群是什么？是「保运算的重排全体」。这套说法后来被叫作结构——它不需要看见，也能确凿。
下一幕：1914 年冬天，他的书桌上摊开一张纸，纸上是一句他自己都不敢相信的话。
1915 年，高木在日本数学物理学会的记事上发了两篇短论文。题目的意思很朴素：关于相对阿贝尔数域的理论——第一篇、第二篇。篇幅都不长，德文写就，印在一份国内刊物的页边之间。
这两篇里装着三件事。第一，给定基域，任取它的理想类群的一个「划分」，就能造出一个对应的交换扩张；第二，这样的扩张里，素理想怎么分解，完全由这个划分说了算；第三，反过来，每一个交换扩张都能这样得到。
第三件最要命。它意味着「所有交换的扩张」这件事，可以被一张有限的表数清。一条关于无穷多片世界的断言，被压在一张有限群的表格里。
他自己不相信。据他后来的回忆，这个结果太意外了，第一反应是「当然有错」，于是去找错在哪里。他找实例子来验，验不通；换一条路再推，结论还是同一个。这样折腾了很久，据他说，弄得自己都有些神经衰弱，常常梦见问题解出来了，醒过来一做又完全不对。
那几年他没有可以商量的人。东京的数学教室当时只有几个同行，没人做过这个方向；欧洲的期刊停了，信也寄不出去。他只能自己当自己的审稿人：一条一条地验，一段一段地重写。
1918 年 11 月，战争停了。又过了两年，1920 年 9 月，第六届国际数学家大会在斯特拉斯堡召开——那是战后第一次，也是他第一次能当着全世界的面，把这张表摊开。
先说清「对称」在这里是什么意思。不是图形左右翻，而是「重排」：把数域里的每个数换一个位置，而加减乘的结果照样对得上。数学上叫自同构。保运算，才有资格叫对称。
拿最小的例子：ℚ(√2)。里面每个数都能写成 a + b√2，a、b 是有理数。要给它排位置，只有一条路可走：先决定 √2 去哪。
√2 是方程 x2 = 2 的根。换位置要保运算，所以平方也得保住：搬过去的东西平方仍要是 2。平方为 2 的数只有两个：√2 与 −√2。于是只有两种可能：
第一排：什么都不动。a + b√2 → a + b√2
第二排：√2 → −√2。于是 a + b√2 → a − b√2
验一个具体的：3 + 2√2 → 3 − 2√2。两者的乘积：(3 + 2√2)(3 − 2√2) = 9 − 8 = 1
第二排也保运算。两个数相乘再搬，等于先搬再相乘：把 (1 + √2)(2 − 3√2) 换位，结果与先换位再相乘完全一样。可以逐项验，成立。
于是 ℚ(√2) 的对称只有两个：不动，与翻面。两个元素，翻一次回到原样，这就成了一个群——两阶循环群。记它的阶数是 2。
群的大小说明了什么？说明这个域「从下面看」只有两层：底层是有理数，上面一层是 ℚ(√2) 自己。层数等于群的阶数——这是伽罗瓦留下的第一条对应。
记住这个套路。先找「这个域里的数满足哪些方程」，再看「方程的根能怎么换位置」，换法的全体就是群。群有多大，域就有多少层。下一张多一点：四个重排。
把两个平方根一起收进来：ℚ(√2, √3)。里面的数写成 a + b√2 + c√3 + d√6，四个有理系数。这一次，√2 与 √3 各有两个去处，合起来是四种换法。
① 都不动：√2 → √2，√3 → √3
② 只翻 √2：√2 → −√2，√3 → √3
③ 只翻 √3：√2 → √2，√3 → −√3
④ 两个都翻：√2 → −√2，√3 → −√3
四种换法，两两组合还是这四种。这个群的特别之处是：换哪一次先、换哪一次后，结果一样——它叫交换群（阿贝尔群）。四个元素的交换群，除了四阶循环群，还有一种：每样东西翻两次就回原样，记作克莱因四元群。
现在数一数中间地。从 ℚ 往上走，能停在哪些中间层？最显然有三块：ℚ(√2)、ℚ(√3)，还有 ℚ(√6)——因为 √6 是 √2 与 √3 的乘积，它自己也在里面。
这三块中间地，正好对上三个「翻法组合」：
只翻 √2 的换法组成一个子群（含不动，共两个元素）→ 对应 ℚ(√3)（在它上面，√3 被翻，√2 不动）
只翻 √3 的子群 → 对应 ℚ(√2)
两个都翻的子群 → 对应 ℚ(√6)
这张对照表就是伽罗瓦对应。群里的每个子群，地上都有一块地；子群越大，地越小。四个元素配三块中间地加一块整地——一块不多，一块不少。
高木要做的，是把这张表挪到另一个方向上。伽罗瓦对应说的是「域套域」与「群套群」；高木说的是「阿贝尔扩张」与「理想类群」——他要证明，后一对也是这么严丝合缝。下一张先看一个更漂亮的例子：五个根围成一圈的对称。
再上一个台阶。方程 x5 = 1 有五个根：一个实根 1，其余四个在单位圆上均匀分布。把「一圈五等分」的那个根记作 ζ，五个根就是 1, ζ, ζ2, ζ3, ζ4。
把 ζ 收进来，得到分圆域 ℚ(ζ)。它的对称怎么数？ζ 只能搬到另外四个根上，搬法有四种：搬成 ζ, ζ2, ζ3, ζ4。所以群有四个元素。
四种搬法还能再算一层。把「搬成 ζ 的几次方」记为 1、2、3、4，两次搬法接起来，就是次数相乘再除以 5 取余：先搬 2、再搬 3，等于搬 6，而 6 ≡ 1，所以回到不动。四个元素乘起来不出圈，这就是 (ℤ/5ℤ)×，一个四阶循环群。
1 · 2 = 2 2 · 3 = 6 ≡ 1 3 · 4 = 12 ≡ 2 4 · 4 = 16 ≡ 1 （全部对 5 取余）
4 的平方回到 1，所以 4 是一个「翻两次就回原样」的元素
四个元素里有一个二阶子群：{1, 4}。按上一页的规矩，它该对应一块中间地，而且这块地只有两层。算一下就知道是哪块：把 ζ 与它的倒数 ζ4 加起来，ζ + ζ4 = 2cos 72°。
这个数有名字。cos 72° = (√5 − 1)/4 ≈ 0.309，两倍即 (√5 − 1)/2 ≈ 0.618——正是黄金比。所以那块中间地是 ℚ(√5)，一个实二次域。
三层结构一目了然：ℚ ⊂ ℚ(√5) ⊂ ℚ(ζ)，层数 1、2、4，与子群 1、2、4 一一对上。而这块中间地由「一圈五等分的余数」决定——数域的对称，第一次被一个余数群完全掌握。
这就是高木要推广的那件事。把「5」换成一个模数、「余数群」换成一个类群，整套结构仍然成立。他的存在定理，就是这张表在任意基域上的版本。
数学里有一种苦，不为外人所知：推出来的结果太干净，干净得让人不敢信。
高木 1915 年推完那条定理时，正是这种处境。按他的自述，第一反应是「当然有错」。于是他开始找错：先找计算上的错，找不到；再找一个具体的例子来验，验不通；换一条路重推，还是同一个结果。这样反复很久。
最难的是中间那段。找不到错，也找不到反例——两样都没有，等于既不能确认，也不能否认。他觉得理论做出来了，却毫无把握；只要有一个地方稍错，整个理论就会从那个蚁穴坏起。
跟他一起受过罪的还有家里人。他的长子后来回忆，1920 年自己读小学五年级，有一天在家里玩，父亲忽然从书房冲出来叫「吵死了」，拿杂志敲他的头。不痛，只是太突然，所以记了一辈子。这大概是那几年书房里的气压。
这种处境有一个专门的说法：数学里「大概可以」是行不通的。别门学问可以说「大致如此」，数学不行；差分毫就是错。
四年之后他做了决定。不再等了。1918 年战争结束，1920 年他得到一个出国的机会，把稿子整理成一百三十三页的德文论文，先在国内刊出，再带上船——把自己的判断交给同行去验。
一个疑问值得先答：既然要数清所有扩张，为什么只数「交换」的？
先看这个词的来历。阿贝尔年轻时证明过：五次以上的方程没有通用的根式解法。他用的办法是看根的换位群——若这个群不交换，根式就凑不出来。从那以后，「交换」成了群论里最要紧的一条界线。
交换与非交换，差别极大。交换群的分类简单到可以列成表：有限交换群都能拆成一串循环群的乘积，元素个数是唯一的账。非交换群则是一个没有边界的荒原：只一个「有限单群」，二十世纪的数学家写了一万多页才把名单列完。
所以类域论只能先做一半。交换的那一半，群的结构完全被基域的类群掌握，可以算、可以列；不交换的那一半，二十世纪二十年代连语言都还没有。
这一半的成果足够惊人。一个数域里所有交换的扩张，合起来能排成一张表；表的行是「类群的子群」，列是「扩张」，一一对应。这就是高木 1920 年交出的东西。
剩下的一半，成了后面的百年工程。1950 年代以后，人们把「交换」换成「可解」，再换成一般的群；朗兰兹在 1967 年提出一套猜想，要把非交换的那一半也用表示论的语言写平。到今天，那一半仍然没有合上。
第二幕收在这里。1914 到 1920 年，六年里他做的事，可以记成三笔。
第一笔：把「对称」变成能数的东西。ℚ(√2) 有两个重排，ℚ(√2, √3) 有四个，ℚ(ζ5) 有四个。群的大小等于域层数，子群配上中间地——这套账在两百年里被人反复算过，没有一次算错。
第二笔：把「域」和「群」的对应挪到「类」上。伽罗瓦对应讲的是「域套域」，高木要的是「扩张」与「理想类群」的对应。挪过去之后，无穷多片世界被一张有限的表收拢。
第三笔：一个人验了四年。结果太干净，他先怀疑自己。找不到错，也找不到反例；最后他选择把稿子交出去，让同行来验——这是数学共同体的老办法，也是唯一的办法。
还有一件副产品。这四年他没有同行可问，只能把每一步都写成「别人能验」的样子。这个习惯后来变成了他讲课与写书的路数：任何一步都不许跳过，任何断言都要能回去查。下一幕，这份稿子要过海了。
下一幕：1920 年 7 月 8 日，他拎着一只箱子上了船。论文还没印好，说好由人印完再寄到法国。
1920 年，日本派了一个代表团去欧洲，顺路视察战后各国。高木在名单里。他 7 月 8 日出发，可手里的论文还没印完——一百三十三页的德文长文，刊在《东京帝国大学理学部纪要》上，印刷厂来不及。
办法只有一个。托人：印好之后从东京直接寄到法国。他自己先走，把论文交给邮路，把命交给运气。
8 月底他到巴黎。那时在法国留学的日本人不多：阿部八代太郎、小仓金之助、园正造。高木找到住在拉丁区的小仓，请小仓介绍一位法语老师——他要在会上用法语讲，得先把稿子译过去。
小仓没找到合适的人。最后是日本大使馆出面，找了一位法国妇人，译得称职。稿子从德文变法语，题目也改成了法文：《关于代数数论的一些一般定理》。
会议 9 月 22 日开幕，地点在斯特拉斯堡。这座城刚归还法国两年，大会选在这里，本身就是一个政治姿态。高木想约几位在法的日本同行同去，只有小仓答应；临时报名又太迟，主办方勉强让他进了会场。
那一天的会场坐满了人。德国人不在——战败国被排除在外。会场上没有哥廷根，没有柏林，也没有那些他最想当面请教的同行。他要讲的那套东西，听众里真正懂的人不会超过十个。
讲完之后，评价是这样传开的：一位日本学者，在一座刚换过国旗的城市里，说出了类域论的全部骨架。
类数是本册最重要的一个数。它量的是「这个数域的账差多少」：类数 1，账本来是平的，唯一分解成立；类数 2，差一个「类」；类数越大，差得越远。
算类数不容易，但小情形可以列。取 ℚ(√−d) 这种「虚二次域」，d 取正整数，逐个算下去会看到一张很有意思的表：
d = 1（ℚ(i)）：类数 1 d = 2（ℚ(√−2)）：1 d = 3：1 d = 7：1 d = 11：1
d = 5（ℚ(√−5)）：类数 2 d = 6：2 d = 10：2 d = 13：2
d = 19：1 d = 43：1 d = 67：1 d = 163：1
表里有两件事值得看。第一，类数 1 的 d 只有九个：1、2、3、7、11、19、43、67、163。这九个之外，再没有虚二次域能保住唯一分解——这条定理 1952 年才被彻底证完，用了很重的工具。
第二件事更有趣。d 从 19 跳到 43，再跳到 67、163，间隔越来越大；而类数始终是 1。三个跳得特别远的情形（43、67、163），后来被发现与一种叫模函数的对象有关——它们正是希尔伯特第 12 问题「青春之梦」里最难的那部分。
对高木来说，这张表是一块试金石。他的理论必须能解释表上的每一个数：为什么 d = 5 差一个类，为什么 d = 7 一个不差。理论若对不上这张表，就一定是错的。
于是类数成了「看不见的东西」的第一个可数的影子。理想看不见，类看不见，可它们的个数——一个整数——看得见、算得出、能拿去核对。这就是数学里「确凿」的具体形态。
上一页说 ℚ(√−5) 差一个类。差的是哪一个？答案在 p.8 那个理想 P = (2, 1 + √−5) 身上。
先看「主理想」是什么。由一个数单独生成的理想，比如 (3) 表示「3 的全部倍数」。主理想这一类，相当于「能用一个数说清」的理想。类数 1 的世界，每个理想都是主理想——所以账能记平。
P 是不是主理想？假设是，那它该由一个数生成；这个数的范数就得等于 P 的范数。P 的范数是 2（商环只有两个元素），而 ℤ[√−5] 里没有范数 2 的数（同 p.7 的试算）。矛盾。所以 P 不是主理想。
但它「几乎」是。p.8 算过 P2 = (2)——它自己乘自己，就回到主理想。用类的语言说：P 这一类，平方之后回到主类。
于是类群的样子出来了。只有两个元素：主类（记作 1）与 P 这一类（记作 c）。两个元素相乘：1·1 = 1，1·c = c，c·c = 1。这就是一个两阶循环群。
类群 = {1, c}，c2 = 1 → 阶数 2 → 类数 2
验算：P2 = (2)，而 (2) 是主理想，所以 c2 = 1
这一步把三件事连起来了。唯一分解失效（6 的两套拆法）、理想分解唯一（账在理想层记平）、类数 2（差一个类），三件事说的是同一件事的不同层面。而 6 的两套拆法，恰好可以用 P 与它的配对写出来：(2) = P2，(3) = QQ′，而 (1 + √−5) = PQ——同一批素理想，两种配法。
类群于是成了可以「算」的对象。它是个有限交换群，能拆成循环群的乘积，能用阶数、生成元、关系写清楚。高木要做的，就是给每个类群配一片地——下一张表。
先把最简单的情形摊开。基域取有理数 ℚ 的时候，类群是平凡的（只有一个类），所以「类群配地」看不出花样。但 ℚ 上有一套现成的表可用：模数 m 的余数群 (ℤ/mℤ)×，配上分圆域 ℚ(ζm)。
表就这么几行。每行的两个数必须相等：左边是余数群的元素个数 φ(m)，右边是分圆域的层数：
m = 3：(ℤ/3ℤ)× 有 2 个元素 → ℚ(ζ3) 两层
m = 4：(ℤ/4ℤ)× 有 2 个元素 → ℚ(i) 两层
m = 5：有 4 个元素 → ℚ(ζ5) 四层
m = 7：有 6 个元素 → ℚ(ζ7) 六层
m = 8：有 4 个元素 → ℚ(ζ8) 四层
m = 9：有 6 个元素 → ℚ(ζ9) 六层
「有几层」怎么数？算 φ(m)：不超过 m 且与 m 互素的数的个数。φ(3) = 2、φ(4) = 2、φ(5) = 4、φ(7) = 6、φ(8) = 4、φ(9) = 6，与上表一样。
接下去是子群配子域。取 m = 7，余数群 {1,2,3,4,5,6} 是六阶循环群。它的子群有四个（含全体与只含 1），分别有 6、3、2、1 个元素：
子群 {1,2,3,4,5,6}（6 个）→ ℚ(ζ7) 本身（六层）
子群 {1,2,4}（3 个）→ 实子域 ℚ(ζ7 + ζ7−1)（三层）
子群 {1,6}（2 个）→ ℚ(√−7)（两层）
子群 {1}（1 个）→ ℚ（一层）
这张表的读法要记住。子群越大，地越小；四个子群，四块地，一块不多一块不少。ℚ(√−7) 这块地特别值得看：它是六层塔里唯一的二次层，而它对应的子群 {1,6} 正是「乘 −1」——负号对应的那一层。
高木的定理就是这张表的无穷版。把 ℚ 换成任意数域，把余数群换成理想类群，把分圆域换成「所有交换扩张」——表仍然成立：类群的每个子群配一片地，每片地也都能这样找回来。
这一页问一个更基本的问题：没有同行可以商量的时候，一个人凭什么确信自己没算错？
高木给出的答案不是「我相信自己」，而是「我把它写成别人能验的样子」。这两句差别很大：前一句靠自信，后一句靠结构。凡是能被别人一步步验的东西，就不必依赖作者的心情。
什么叫「能验」？三条：每一步只用到前面已经说过的东西；每一个断言都能回到定义；每一条结论都能拿一个具体例子试。他后来讲课与写书，正是这个路数：不跳步，不省略，不许「显然」。
这套做法给了他一件东西：即使没有人读，他也能自己扮演读者。把稿子搁一个月，再当作陌生人的作品读一遍——错的地方会在这一步露出来。四年里他大概反复做了很多次。
但结构也有到顶的时候。最后一步仍然要交出去：整篇理论对不对，得由同行在各自的问题上试用。若他们用得上、推得通，理论就站住了；若用不上，再漂亮也是空的。
这就是数学共同体的老规矩。它慢、它笨、它有时被政治搅乱（1920 年的会场就少了一半人），可它是唯一能让「一个人的确信」变成「所有人的确信」的通道。高木把稿子交出去，交的不是自信，是结构。
1920 年 9 月 22 日，第六届国际数学家大会在斯特拉斯堡开幕。这是战后第一次大会，距上一次（1912 年剑桥）已经八年。八年里死了一代人，也死了不少学术组织。
会场少了一半人。大会的组织者决定：德国、奥地利、匈牙利、保加利亚、土耳其的数学家不得参加。理由是战争责任。这个决定此后吵了十几年，直到 1932 年才慢慢把德国人请回来。
被排除的正是类域论的另一半。哥廷根与柏林是当时这门学问的重镇；哈塞、阿廷、西格尔都不在场。高木讲的那套东西，本该由这些人当面对质，可他们连门都进不来。
会上的反应还是传出来了。据后来的追述，报告结束后反响很大；西格尔把这篇论文推荐给阿廷，阿廷由此开始读高木的工作——三年后他给出了更一般的互反律，把高木的基本定理压缩成一个同构。
这件事有两面。一面是学术的：一份来自东京的稿子，绕过了被封锁的邮路，从一座刚换过国旗的城传进欧洲。另一面是政治的：数学的国际组织第一次因为战争而分裂，分裂的伤口比论文传播得更慢。
对高木本人，这趟差事还有一层意思。他回国之后继续教书、编书、带学生；类域论在欧洲开花，他在东京看着。这门学问后来被叫作「日本数学的起点」——一个国家的数学，从这一篇论文开始被世界认真对待。
第三幕收在这里。从 1920 年 7 月 8 日上船，到 9 月底讲完，这一趟是三笔账。
第一笔：类数。理想看不见，类看不见，可它们的个数看得见。虚二次域里类数 1 的只有九个判别式；d = 5 差一个类，差的正是 p.8 那个 P；它自己乘自己回到主类，所以类群只有两个元素。
第二笔：一张表。把余数群与分圆域摆成两栏，两栏必须一样大；再把子群与子域连起来——四个子群，四块地。ℚ(ζ7) 那一行最漂亮：六层塔里，负号对应唯一的二次层 ℚ(√−7)。
第三笔：过海。论文没印好，人先走；到了巴黎才找法语老师；会场上少了半个欧洲。可这套东西还是传进去了，三年后阿廷把它的骨架换成一个同构。
还有一层没说透。这张表之所以动人，不在于它算得多，而在于它「配得齐」：类群有几个子群，地上就有几块地；一块不多，一块不少。数学里把这种配得齐叫「定理」，把配不齐叫「猜想」。下一幕讲这条配齐的定理到底说了什么，以及它凭什么只保证「有」。
下一幕：一句话，八个字——存在，但不构造。
斯特拉斯堡的报告之后，事情开始加速。最先接上的是阿廷。他比高木小二十三岁，奥地利人，当时在汉堡。西格尔把那篇论文推荐给他，他读了，随后用三年时间重做了整门理论。
阿廷做的事很干脆。高木的定理说的是一堆「存在」与「对应」；阿廷问：能不能用一个映射把话说尽？他造了一个映射——后来叫阿廷映射：每个素理想对应群里的一个元素（弗罗贝尼乌斯），再由乘法延到整个理想群上。
于是基本定理变成了一句话。这个映射的核，正好是「该分裂的那些理想」；它的像，正好是整个伽罗瓦群；商一下，就是同构：理想类群除以一个子群，等于伽罗瓦群。
同一时期，哈塞在做另一件事。他把类域论里所有零散的定理系统整理，从 1927 年起分期刊出《类域论报告》，把高木、阿廷、他自己与几位同行的工作编成一条线。这份报告后来成了整代人的教科书。
这两件事合起来，类域论才算真正成形。高木给出骨架（有对应），阿廷给出语言（一个映射），哈塞给出章节（一份报告）。三者缺一，这门学问都写不成书。
高木本人不在场。他在东京，继续教课，继续编书。1925 年当选帝国学士院会员，1932 年被选为国际数学家大会主席——那是苏黎世那一届，德国人终于回来了。1940 年，他获日本文化勋章。
存在定理可以一句话说完，也可以一个例子说清。先说要紧的一句：给定数域 K 与它的类群 Cl，Cl 的每一个子群 H，都存在唯一一片阿贝尔扩张 L/K，使 L 的伽罗瓦群正好是 Cl/H。
拿最小的例子检验。K = ℚ(√−5)，类群只有两个元素 {1, c}。它的子群只有两个：只含单位元的 {1}，和全体 {1, c}。
子群 {1, c}（全体）→ 商群只有 1 个元素 → 扩张层数 1 → 就是 K 自己：ℚ(√−5)
子群 {1} → 商群有 2 个元素 → 扩张层数 2 → 另有一片地，记作 H
那片地是什么？可以真的写出来：H = ℚ(√5, i)。它包含 ℚ(√−5)（因为 √−5 = i√5），在它上面是两层的。
验一层数。ℚ(√5, i) 的四个系数 a + b√5 + ci + d√5i，从 ℚ 看是四层；从 ℚ(√−5) 看是两层。四除以二等于二，与商群的阶对上了。
这片地还有一条好性质：它在 K 上是「无分歧」的——K 里每个素理想搬上去，都只是分裂或不动，没有一个是「化」的。这样的扩张叫希尔伯特类域。类域论说：这样的地一定存在，而且正好对应最大的那个子群。
这就是「存在」的分量。它保证：只要数域的类数有限（一定有），就一定有一片对应的世界；类群有几个子群，就有几片地；一块不多，一块不少。至于这片地里的数具体长什么样——定理不管。
不管，是因为管不了。高木的证明用的是「数素理想怎么分裂」与「群有多大」这两件事对撞，全程不构造任何元素。这是整门学问的方法论特色：以结构定存在。
存在定理说「有地」，分解定理说「地里怎么长」。两句话合起来，类域论才完整：一片地配一个子群，一个子群决定每个素理想在这片地里怎么裂。
拿 ℚ(ζ5) 当例子。它的群是 (ℤ/5ℤ)× = {1,2,3,4}。基域是 ℚ，类群平凡，所以「子群」这一边换成「余数」——分裂方式由 p 除以 5 的余数决定。
法则只有一条。把余数 r = p mod 5 拿去反复自乘，看要乘几次才回到 1；这个次数叫阶。阶是几，就说明 p 在扩张里「压成几个」：
p = 11：11 ≡ 1 → 阶 1 → 完全分裂成 4 个素理想
p = 19：19 ≡ 4 → 42 = 16 ≡ 1，阶 2 → 裂成 2 个
p = 2：2, 4, 8 ≡ 3, 16 ≡ 1，阶 4 → 不动（1 个，次数 4）
p = 3：3, 9 ≡ 4, 27 ≡ 2, 81 ≡ 1，阶 4 → 不动
p = 5：5 ≡ 0 → 分歧（唯一例外）
表的读法要配一个数：阶 × 个数 = 4（扩张层数）。p = 11 阶 1 个数 4；p = 19 阶 2 个数 2；p = 2 阶 4 个数 1。乘起来都是 4，一笔不差。
这条法则的可怕之处在于它的「预知」能力。只要知道 p 除以 5 的余数，就能预先说出它在这片地里怎么裂——不必把扩张造出来，不必算任何一个具体的数。这正是「看不见也能确凿」的现场演示。
一般情形下，「余数」换成「类群里的类」。每个素理想都落在某个类里；类在子群里的位置，决定它分裂几次。于是整片扩张的样貌，被一张有限群表预先写定——这就是高木 1920 年那篇论文的分量。
存在定理有一处必须说清的边界。它保证「有这么一片地」，但它不给出「地里的数怎么算」。这两件事在数学里差得很远：前者叫存在性，后者叫构造性。
有些情形构造不难。上一页那片希尔伯特类域 ℚ(√5, i)，直接写出来就行——因为类数只有 2，地只有两层，凑一凑就凑到了。
一般情形就难了。任给一个虚二次域 ℚ(√−d)，要写出它的类域，得用上椭圆函数或模函数在特殊点的取值——这些值是超越数，写不成根式。克罗内克当年猜的「青春之梦」，说的正是这件事：用函数值生成类域。
这个猜想被证出来花了很久。1920 年代有人做出特殊情形，1930 年代日本数学家把它推进一大步，完整的复乘理论到 1950 年代才成形。而它至今仍只解决「虚二次域」这一类；任意数域的类域，没有统一的显式构造法。
所以存在定理的地位很特殊。它把整片地先划出来，钥匙却不给。地里能做的事很多：数素理想怎么裂、算密度、定分歧；但门始终打不开，看不见里面住着哪些数。
这种分工在二十世纪变成了常态。先是「有没有」，再是「是什么」，最后才轮到「怎么算」。三者之中，第一步往往最慢，也最能改变一门学问的面貌——因为一旦知道「有」，后面所有问题都有了着落。
高木自己也在意第二步。他 1903 年那篇论文用的正是函数值构造（双纽线的分点），所以他清楚：能造出来，才算真的看见。存在定理是他的骨架，构造是他的心愿，两者在他一生里始终并行。
「有」这个字，在数学里分量很重。它意味着：无论怎么找反例都找不到，而且已经证明找不到。这两件事合起来，才配说「有」。
日常语言的「有」不是这样。说「柜子里有把伞」，是看见了；说「总会有办法」，是猜。数学的「有」介于两者之间：既不是看见，也不是猜，而是把所有可能的否定都堵死。
高木的存在定理，就是这种「有」。他没造出那片地，却证明了：若这片地不存在，就会推出矛盾。于是它必须存在——哪怕谁也画不出它。
这种确信有一种特别的力量。它让人可以在「不知道是什么」的情况下继续工作：先用地里的性质做事，等将来有了工具再进去看。二十世纪的数论，大半是这样长起来的。
代价也很实在。「有」却不能说明「有几个」。类域论说每个子群配一片地，可要说清这些地之间怎么嵌套、哪些是同一个、分歧发生在哪里，还得回到构造与计算。定理给的是地图，不是路。
数学界对这两种工作有过长久的争论。一派主张「造出来才算数」，一派主张「证明了就够用」。高木两边都站过：他的少年之作是构造，他的成名之作是存在。这大概就是这一册最想留下的姿势——一手拿钥匙，一手画地图。
类域论不是一个终点，是一条分岔的根。它后来长出三支，每一支都成了独立的学问。
第一支：局部化。1930 年代，哈塞等人把「数域」拆成一个个「局部」（每个素理想一处），类域论也随之拆成局部版本。局部版本更好算：每个素理想处的情形，像一个关于 p 的进位问题。今天学数论，往往先学局部，再拼回整体。
第二支：上同调。1950 年代，人们发现类域论的全部内容可以用「群的同调」重写一遍：那些存在定理、分解定理，变成了几个正合序列。写法一变，证明短了很多，也第一次能和代数几何共用语言。
第三支：岩泽理论。1959 年，高木的再传弟子岩泽健吉研究「一层层往上加的类域」，发现它们的类群能排成一个整齐的代数结构。这套结构后来成为数论里最活跃的工具之一，也是怀尔斯证明费马大定理时的关键零件。
三支之外还有一条更大的线。1967 年，朗兰兹提出一套猜想：把「伽罗瓦群的表示」与「自守形式」对应起来。类域论正是它的「一维情形」——一维的表示，对应的正是类群。从这个角度看，高木 1920 年的那张表，是一张更大地图的左上角。
这些后代有一个共同点。它们都不再问「这片地长什么样」，而问「这片地怎么和其他地连起来」。从存在到结构，再到结构之间的关系——这是二十世纪数学走过的路，也是这一册暗线的延长线。
第四幕收在这里。1919 到 1932 年，类域论从一个人的稿子，变成一门学问的语法。
第一笔：存在定理。类群的每个子群配一片地。ℚ(√−5) 的例子最干净：两个子群，两片地，一片是自己，一片是 ℚ(√5, i)。四层除以两层，等于商群的阶——一笔不差。
第二笔：分解定理。地里怎么长，由类说了算。ℚ(ζ5) 里，p = 11 裂成四个，p = 19 裂成两个，p = 2 不动。阶乘个数，永远是四。
第三笔：边界。定理只保证「有」，钥匙另配。虚二次域的类域要拿模函数的值去造；一般数域至今没有统一的构造法。地图画好了，路还得自己走。
还有一件没写进定理的东西。这套语言后来长出了局部化、上同调、岩泽理论、朗兰兹猜想四个后代。高木那张表，是它们的共同祖先——一张由东京寄出的表，成了二十世纪数论的语法书。
下一幕：1936 年他退休，讲台空出来；1940 年他拿到文化勋章；1960 年 2 月，他在东京去世。身后留下的，是一柜子教科书与一门改写了数论的学问。
高木在东京的讲台上站了三十多年。从 1904 年升教授到 1936 年退休，他教过的学生里有好几位后来成了日本数学的骨干；他编的教材，从中学算术到大学解析，一版一版印下去。
教书这件事，他做得极认真。据学生的回忆，他上课从不跳步：一个定义先讲清为什么需要它，再讲它怎么用；一个证明先讲思路，再逐行写。板书极整齐，擦掉之前会先把关键的几行留下。
教科书是他的另一份作业。《解析概论》1938 年出版，此后几十年一直是日本大学的標準教材。这本书的特点不是深，而是「不留缝」：实数怎么建立、极限怎么定义、连续怎么判定，一步一步接上，不许「显然」。
这套写法有来处。他在德国听课时，最受触动的是那边的讲法：定理之前先问「凭什么」。回国后他把这套问法搬进了自己的课堂——先立地基，再盖楼；地基不牢，宁可停在半空。
于是他的身份有两个。一个是在论文里造新学问的人，一个是在讲台上把旧学问讲清楚的人。这两个身份在他身上不冲突：前者要求知道边界在哪里，后者要求知道每一步从哪里来。
1936 年他退休。1940 年获日本文化勋章——那是当时最高的一档荣誉。1960 年 2 月 28 日，他在东京去世，八十四岁。
先看一个老问题：数轴上的点，和有理数一样多吗？
不一样。画一个边长为 1 的正方形，对角线长 √2；这个长度在数轴上有位置，却不是有理数——两千多年前就证过。于是数轴上有一个「洞」，有理数填不满它。
把洞补上，得到实数。补法有很多种，高木教科书里用的是戴德金那一套：把有理数分成左右两堆，左边所有的数都小于右边所有的数；这个「切」本身就是一个实数。切在 √2 处，就是 √2。
左堆：{x 为有理数，x2 < 2} 右堆：{x 为有理数，x2 > 2}
这个切没有「最大的左数」，也没有「最小的右数」——缺口正好落在 √2 上
为什么要这么麻烦？因为只有这样，「有上界的集合一定有最小的上界」才成立。这条叫上确界定理，是微积分全部定理的地基：连续、极限、中值、积分，全靠它。
举个最小的用法。取集合 A = {x 为有理数：x2 < 2}。它显然有上界（2 就是）。上确界是谁？只能是 √2——因为任何比 √2 小的数都不够大，任何比它大的数都不是最小的上界。
这一步看着平淡，其实是全册的另一个侧面。「存在一个数」和「能写出这个数」是两件事：上确界定理只说「有」，不说「怎么写」。√2 的小数写不完，可它的位置确定无疑。高木把这句话放在教科书第一册——他要学生一开始就习惯这种「有而不写」的确凿。
上确界定理给了一个保证。凡「一路上升、又有天花板」的数列，必定有一个极限。这条叫单调有界定理，教科书里紧接着完备性出现。
拿它算 √2。办法是老法子：先猜一个数，再让「猜的数」与「2 除以它」取平均。因为真正的 √2 一定夹在这两者之间，平均之后就离得更近：
起手 1：平均 (1 + 2/1)/2 = 1.5
再平均 (1.5 + 2/1.5)/2 = (1.5 + 1.3333)/2 = 1.41667
再平均 (1.41667 + 1.41176)/2 = 1.41422
再平均 ≈ 1.4142136 （√2 = 1.41421356…）
四步就到小数第七位。这串数一路上升，而且始终不超过 2，所以一定有极限；极限满足「等于自己与 2 除自己的平均」，只能是 √2——算式自己把答案锁死了。
这套算法还有一个漂亮的性质。每算一步，误差大约是上一步误差的平方。误差 0.5 之后是 0.08，再之后是 0.002，再之后是 0.000002——位数一次翻一倍。这叫二阶收敛，是牛顿当年用过的手法。
放在这一册的语境里，它说明一件事。存在定理给「有」，逼近算法给「怎么找到」。两种本事可以分开训练，也可以合在一处：高木的教科书两头都教——先证有极限，再给算法；先立地基，再教走路。
数学里的「存在」不是一档，是三档。分清楚这三档，才看得懂高木的定理站在哪一格。
第一档：造得出来。给出一个算式，照算就能得到。比如 √2：给一串小数，或者给上一页那个平均法，任何人都能算到任意精度。这一档最硬，也最让人放心。
第二档：造不出来，但能一步步逼近。给不出封闭的算式，却能给出一个算法，误差可以压到任意小。大部分「算不出来的数」，其实都在这一档——它的位置确定，只是名字写不长。
第三档：只证「有」，连逼近的办法都没有。经典例子是这一句：一定存在两个无理数 x、y，使 xy 是有理数。
考虑 x = √2，y = √2，则 xy = √2√2
情形一：这个数是理数 → 取 x = y = √2，已找到
情形二：这个数是无理数 → 取 x = √2√2、y = √2
此时 xy = (√2√2)√2 = √22 = 2，是理数 → 也找到
两种情形必有一种成立，所以「一定存在」——但哪一种成立，这个证明没说
这个证明有名，因为它「什么也没说明白」。它把两种可能摆出来，证明必有一种对，却不指出是哪一种。数学管这叫非构造性存在证明：结论确凿，路径未知。
高木的存在定理站在第三档与第二档之间。它比这个例子强：不仅说「有」，还给出「对应的规则」（哪个子群配哪片地）；但它不给「怎么造」。用上一页的话说：地图画得极准，路要另修。
分档的意义在这里。知道一个结论站在哪一档，才知道它能拿来做什么：第一档可以直接算，第二档可以逼近，第三档只能先信、再等工具。高木的一生，正好把三档都走了一遍。
写论文与教课，看起来是两件事。一件造新东西，一件讲旧东西；一件面向几十个同行，一件面向几百个学生。多数人只做一件，高木两件都做了三十年。
两件事其实共用一套功夫。写论文要求「不能跳步」，教课也要求「不能跳步」；写论文要求「每个断言回得到定义」，教课也要求同一件事。区别只在读者：一个读者会挑错，几百个读者会走神。
教课还逼出另一种能力。把抽象的步骤翻译成具体的话。类域论里「子群配一片地」，同行一听就懂；学生要的是「哪片地、为什么是它、能不能指给我看」。这种翻译做久了，写论文也会变清楚。
所以他编的教科书写得像讲义。定义之前先说「为什么需要它」，定理之后先说「它解决了什么」，证明拆成小段，每段前有一句路标。这套写法后来成了日本数学教材的通例。
这件事有代价。写教科书占掉的是研究时间。他四十岁前后那几年，论文产量明显下降，研究的重心全在抽屉里那叠稿子上；等到稿子成形，已经过去六年。
但代价换来了别的东西。他教出的学生接手了讲台，他编的书接手了课堂。1960 年他去世时，日本数学已经能自己培养类域论的研究者——这件事，比一篇论文更难，也更慢。
把镜头拉远一点，看这四代人。日本数学的起飞，只用了大约六十年，四步。
第一步：把人送出去。菊池大麓 1870 年代去英国，藤泽利喜太郎 1880 年代去德国。两人回国后在东京帝国大学开出第一套现代课程，把「数学是一门职业」这件事立了起来。
第二步：把人送得更深。1898 年，高木被派去德国三年，直接进了哥廷根的讨论班。这一步的关键不是学历，是人脉与问题：他带回了希尔伯特的清单，也带回了「什么问题值得做」的判断力。
第三步：做出一件世界级的东西。1920 年的类域论。这一步最难，因为它要求在一个由欧洲人定的领域里，给出别人给不出的答案。做成了，一个国家的数学就有了「被引用」的资格。
第四步：自己培养下一代。高木的学生末纲恕一、正田建次郎、弥永昌吉，以及再传的岩泽健吉，接着做代数数论与代数学。到 1950 年代，日本已经能自己产出这个方向的研究者，不必再全靠留学。
四步走完，格局就变了。数学的中心从来不只一个，但「中心」之所以是中心，是因为那里有人能提出好问题、有人能接着做。东京在 1920 年代加入了这个循环，靠的是一篇论文与三十年讲台。
这条路后来被别的国家反复走过。先派人，再选题，再出一件硬成果，最后建起自己的培养链。四步没有捷径，第四步尤其慢——它既不能跳过，也不能代劳。
第五幕收在这里。1904 到 1960 年，五十六年里他把两件事做完了：造一门学问，教一门学问。
第一笔：讲台。三十年不跳步的课。定义之前先问「为什么需要它」，证明之前先给路标；这套讲法后来变成了教材。
第二笔：书本。《解析概论》把实数从戴德金分割立起来，用上确界定理贯通极限。一条定理只说「有」，不说「怎么写」——他要学生一开始就习惯这种确凿。
第三笔：身后。学生接手讲台，教材接手课堂，类域论在欧洲长成大树。1960 年 2 月 28 日他在东京去世；四十年后，这门学问的第三代、第四代仍在用他 1920 年那张表。
还有一句要给全册。他这一生最出名的成果，是一条「只说有、不说怎么造」的定理；而他最日常的工作，是把每一步都写清楚。两件事看着相反，其实是一体：正因为知道哪里只能确凿、哪里必须看见，他才既敢写下那句断言，也肯花三十年讲清一个定义。
接下来四页，把这一册收个尾：先回望五十年，再说三种读法，最后留三个没做完的问题。
把这一册的年份排开，只有七八道刻痕。1875 生在岐阜；1894 进东京帝国大学；1898 出国；1903 拿博士；1920 在斯特拉斯堡讲那张表；1932 主持大会；1940 得到文化勋章；1960 去世。
1875 生于岐阜山村 | 1894 入东京帝国大学 | 1898—1901 留德（柏林、哥廷根）
1903 博士论文（高斯数域上的青春之梦） | 1904 任教授
1914 一战爆发，期刊断邮 | 1915 两篇短文（存在定理、分解定理）
1920 斯特拉斯堡大会报告；133 页论文刊行 | 1925 帝国学士院会员
1932 国际数学家大会主席 | 1936 退休 | 1938 《解析概论》
1940 文化勋章 | 1960 2 月 28 日卒于东京
八十五年里，真正改变局面的只有四年。1914 到 1918 年，邮路断了，他一个人把类域论从猜想推成定理。此后所有的荣誉，都是这四年的回声。
他自己怎么评价这段？据门人回忆，他讲得最平淡：没有新论文可读，只好自己想。没有一句「我发现了什么」，只说「只好」——这个词里有一个学者对孤独的诚实。
回望还有另一条线。他一生编了十几部教材，教了三十年书，学生里有末纲、正田、弥永，再传有岩泽。论文只有二十六篇西文，教材却印了几十版。
两条线合起来才是全貌。一条是把学问推到边界，一条是把边界内的一切讲清楚。缺第一条，他只是一个好老师；缺第二条，他只是一个天才。两条都在，才有「日本数学的起点」这个说法。
这一册可以用三种方式读。三种读法对应三样东西：账、表、一句话。
读法一：当账本读。看一个数怎么拆不动，看理想怎么把账记平，看类数怎么量出「差多少」。这条线上最要紧的是手感：6 的两套拆法、P2 = (2)、类数 2——都能拿纸笔复算（p.7—p.8、p.21—p.22）。
读法二：当表读。看对称怎么排成群，看子群怎么配子域，看类群怎么配扩张。这条线上最要紧的是对照：ℚ(ζ7) 四个子群四块地，ℚ(√−5) 两个子群两片地，一笔不差（p.15、p.23、p.28）。
读法三：当一句话读。存在定理只说「有」，不说「怎么造」。这条线上最要紧的是分辨：哪些结论能算，哪些只能逼近，哪些只能先信。三种强度分清了，才不会被「只证存在」四个字糊弄过去（p.30、p.37）。
三种读法可以叠起来。账读细了，会想知道为什么能记平；表读通了，会想追问表外还有什么；话读懂了，会明白为什么有人愿意花四年去验一句话。三条线最后在同一个地方合拢：看不见的东西，靠结构确凿。
给不同年龄的入口也在这里。小学生读故事与图画；中学生读账与表；大学生可以读注疏，一直追到 1920 年那篇一百三十三页的论文。
类域论把「交换的扩张」数清了。没做完的问题，恰好也是三个。
第一个：不交换的那一半。类域论只管阿贝尔扩张，因为交换群能列成表。非交换的扩张至今没有统一语言；朗兰兹 1967 年提出的猜想是一张地图，画了五十多年，还没画完。
第二个：钥匙。存在定理保证「有地」，但任意数域的类域，至今没有统一的显式构造。虚二次域靠模函数的值（复乘理论），别的数域只能一个个想办法。地图有了，门还锁着。
第三个：算得快。类群能算，可数域一大就算不动。计算数论这几十年的进展（类群算法、椭圆曲线算法）大半和它有关；而某些「算不动」的困难，反过来成了密码学的地基。
三个问题有一个共同点。它们都卡在同一处：从「确凿」到「看见」的最后一里。高木把这一里留给了后人，也把它写进了自己的教科书——先承认有墙，再想办法翻过去。
这正是本册想留下的话。数学的进步不是把「不知道」变成「知道」那么简单；它先要把「不知道」说清楚——说清楚它是什么形状、有多硬、卡在哪里。说清楚了，才有人能接手。
准备：一张纸、一支笔。目标只有一个——亲手验证 6 有两套拆法，而且两套都拆不动。
第一步：列范数表。范数是 a2 + 5b2。把 a 从 0 取到 5、b 从 0 取到 2，逐个算，填成一张表：
b = 0：a = 0→0 1→1 2→4 3→9 4→16 5→25
b = 1：a = 0→5 1→6 2→9 3→14 4→21 5→30
b = 2：a = 0→20 1→21 2→24 3→29 4→36 5→45
第二步：找范数为 2、3、6 的元素。表里没有 2，也没有 3——这正好说明：这个数域里没有「范数 2」与「范数 3」的数。范数 6 有两个：1 + √−5 与 −1 + √−5（算 1 + 5 = 6）。
第三步：验证两套拆法。第一套：2 × 3 = 6。第二套：(1 + √−5)(1 − √−5) = 1 − (−5) = 6。两套都对。
第四步：验证「拆不动」。假设 2 = uv，两边取范数得 4 = N(u)N(v)。若两个因子都不是单位，N(u) 与 N(v) 都得大于 1，只能是 2 与 2——可表里没有 2。矛盾，所以 2 拆不动。3 同理（要靠范数 3）。
第五步：写下结论。同一个 6，两套拆法，四个因子都拆不动。这就是唯一分解失效的现场；而它的补丁（理想）在 p.8——把 2 换成 P2，两套拆法立刻变成同一批零件。
做完这一页，可以再试一个数：21 = 3 × 7，而 21 = (1 + 2√−5)(1 − 2√−5)（范数 1 + 20 = 21）。同一个故事，换个数字再演一遍。
准备：一张纸、一支笔。这一页不看扩张，只做一件最笨的活——把「除以 7 的余数」的乘法表写出来，再从表里把子群挑出来。
第一步：写六个元素。1, 2, 3, 4, 5, 6。乘法照常做，超过 7 就减 7 的倍数：比如 3 × 5 = 15，15 − 14 = 1，所以 3 × 5 = 1。
第二步：只算 2 的幂。21 = 2，22 = 4，23 = 8 ≡ 1。三步回到 1，所以 2 的阶是 3。它自己撑出一个子群 {1, 2, 4}。
第三步：只算 3 的幂。3, 9 ≡ 2, 6, 18 ≡ 4, 12 ≡ 5, 15 ≡ 1。六步才回到 1，阶是 6。3 是「生成元」，它一个人能撑出全体。
2 的幂：2 → 4 → 1（阶 3） 子群 {1, 2, 4}
3 的幂：3 → 2 → 6 → 4 → 5 → 1（阶 6） 子群 = 全体
6 的幂：6 → 1（阶 2） 子群 {1, 6}
合计四个子群：{1}、{1,6}、{1,2,4}、{1,2,3,4,5,6}
第四步：按大小排队，配地。全体（6 个）配 ℚ(ζ7)；{1,2,4}（3 个）配实子域（三层）；{1,6}（2 个）配 ℚ(√−7)；{1}（1 个）配 ℚ。四块地，一层不多一层不少。
第五步：验一条「反着走」的规矩。子群越大，地越小。全体最大，配的是整片扩张；{1} 最小，配的是最底下的 ℚ。这条反序，正是伽罗瓦对应的骨架。
做完可以换 m = 8 再试。{1,3,5,7} 四个元素，每个都平方为 1（32 = 9 ≡ 1）——这次的群不是循环群，子群变成五个，地也多了一块。为什么，表里自己写着。
数域 包含有理数、对加减乘除封闭的一族数；本册的主角是 ℚ(√−5)、ℚ(ζ5) 这类（p.7、p.16）。
代数整数 满足「首项系数为 1 的整系数方程」的数；√−5 是，√5/2 不是（p.7）。
范数 把扩域里的数映到有理数的乘法函数：N(a + b√−5) = a2 + 5b2；判断能否再拆全靠它（p.7、p.44）。
唯一分解 每个非零非单位元素拆成素元素只有一种拆法；本册从它失效讲起（p.7）。
理想 一族数，对加法与「乘任何数」都封闭；写作 (2, 1 + √−5) 这种生成式（p.8）。
主理想 由一个数单独生成的理想，如 (3)；「每个理想都是主理想」等价于唯一分解成立（p.22）。
类群与类数 理想按「差一个主理想」分类，类组成的有限交换群叫类群，它的阶叫类数（p.8、p.21、p.22）。
伽罗瓦群 一个扩张里「保运算的重排」全体；群的大小等于扩张层数（p.14、p.15）。
阿贝尔扩张 伽罗瓦群是交换群的扩张；类域论只管这一类（p.18）。
类域论 把「类群的子群」与「阿贝尔扩张」一一对应的整套定理；1920 年由高木给出（p.23、p.28）。
高木贞治（1875—1960） 本册主角；类域论的立账人，日本近代数学的奠基者之一（p.2 起）。
希尔伯特（1862—1943） 哥廷根的老师；1897 年数论报告末章留下类域问题（p.4、p.6）。
克罗内克（1823—1891） 「青春之梦」的提出者：用函数值生成阿贝尔扩张（p.6、p.30）。
戴德金（1831—1916） 理想的定义者；实数分割的发明人（p.8、p.35）。
库默尔（1810—1893） 「理想数」的前史；为费马大定理处理分圆域时遇到同一困难（p.8）。
阿廷（1898—1962） 1927 年给出一般互反律，把基本定理写成阿廷映射（p.25、p.27）。
哈塞（1898—1979） 系统整理类域论，1927 年起刊行《类域论报告》；局部化的奠基者（p.27、p.32）。
西格尔（1896—1981） 把高木 1920 年论文推荐给阿廷的人（p.25）。
志村五郎（1930—2019） 复乘理论的建立者之一；「青春之梦」现代形式的完成者（p.30）。
岩泽健吉（1917—1998） 高木的再传弟子；岩泽理论的创立者（p.32、p.39）。
科学史里有一类纠纷，叫优先权。谁先想到、谁先发表、谁先被别人读到——三件事常常不是同一个人。
高木的处境是极端的一例。1915 年他把核心结果写成两篇短文，发在国内的学会记事上；1920 年才出一百三十三页的完整论文。中间隔了五年，五年里欧洲没人读到。
如果邮路畅通，事情会怎样？大概率会早三年传开：1917 年前后，德国的类域论研究已经走到相近的位置；哈塞与阿廷若早读到，整门学问的成型时间会提前。
那他为什么没被「抢」？两个原因。一是结果太完整：两篇短文里已经有了存在定理与分解定理，后来的工作都是在上面精加工，绕不过去。二是他留下了清楚的纸面证据：论文有刊期、有页码、有寄出的日期。
这件事的教训不在谁委屈，而在制度。科学共同体的记忆不靠传闻，靠出版。一篇印出来的文章，哪怕只印在一份国内刊物的角落，也胜过十次口头报告——因为它可查、可引、可对质。
高木本人在意吗？据门人回忆，他极少谈这件事。他更在意的是「有没有人接着做」——1920 年代后期，看到阿廷与哈塞把理论推得更远，他写信去道贺，语气是高兴的。
这一页留给读者的问题：如果孤立四年做出了一件大事，该怎么让别人相信它？答案大概是三条：写清楚、印出来、留日期。除此之外，没有更快的路。
类数不只是查表得来的数，它可以算。算的办法叫「界」：先估一个上界，说「每个类里都能找到一个不太大的理想」，再把候选逐个验一遍。
以 ℚ(√−5) 为例。它的判别式是 −20。一个常用的界给出：每个类里都有一个范数不超过 (2/π)√20 ≈ 2.85 的理想。
于是候选只剩两种。范数 1 的理想就是整个环（主类）；范数 2 的理想，在本册里只有一个可能的候选——p.8 那个 P = (2, 1 + √−5)。两者不是同一类（P 非主，见 p.22），所以恰好两个类。
判别式 |D| = 20 → 界 (2/π)√20 ≈ 2.85
候选范数：1（主类）、2（P）
P 非主 → 两个类各不相容 → 类数 = 2
同一套办法可以算别的。取 ℚ(√−7)，判别式 −7，界 (2/π)√7 ≈ 1.68——候选只有范数 1，于是类数 1，账本来就平。
判别式大了，表就长了。ℚ(√−23) 的界约 3.05，候选多两三个，验完得类数 3；ℚ(√−163) 的界约 8.1，候选十几个，验完类数仍是 1——表越长，越显出那九个例外的稀罕。
这一页的意义在于把「类数」从名词变成动作。会算一个，就会算十个；会算十个，就明白为什么「类数 1 只有九个」这句话值得用五十年去证。
本册的三层各有入口。小学低年级：只读故事页，配 p.44 的拆 6 游戏——把 6 粒棋子摆成「2 乘 3」与「4 加 2」两种阵，先玩「同一个数能不能有两种摆法」，再听「在另一个世界里，6 真的有两种拆法」；p.45 的乘法表可以先只玩「乘到几会回到 1」。
小学高年级到初中：加读 p.7—p.9 与 p.21—p.22 的实算。范数表只用平方与加法，孩子能自己填完；p.44 的五步可以当作业做一遍，做完就懂「拆不动」是什么意思。
高中及以上：全册可读。p.14—p.16 的群与子域、p.23 与 p.28 的对应表、p.29 的分解规律，是大学抽象代数与数论第一学期的完整预告；注疏层的文献路径（p.2 注起）可供检索。
三处提示给家长。其一，p.10、p.17、p.24、p.31 四页谈「看不见的东西怎么确凿」，孩子容易问「那到底有没有」——可以照实说：数学的「有」是「找不到反例且证明了找不到」，不是「看见了」。其二，p.17 与 p.38 写他反复怀疑自己、四年才敢交稿，别把它讲成天才传奇，讲成「认真的人怎么自查」。其三，p.32 与 p.43 提到未解决的问题，可以坦白告诉孩子：有些问题一百年了还没做完，这不妨碍它们值得做。
读完这一册，值得留下一句话给孩子：看不见的东西也能确凿，靠的不是感觉，是把每一步都写清楚——写清楚了，别人能验，自己也能验。
一、「数学就是算得快。」本册从头到尾没让读者算超过三位数。真正难的是判断「什么算完了」：6 的两套拆法哪一种算对？两种都对。判断比计算难得多（p.7、p.44）。
二、「唯一分解是天经地义的。」它在整数里成立，一进 ℤ[√−5] 就失效。这件事当年让数学家很受打击，也逼出了「理想」这一整套工具——很多进步是被「当然的事」塌掉逼出来的（p.7、p.8）。
三、「只证存在，等于没证。」恰恰相反。存在定理让整门学问有了骨架：只要知道「有地」，就能先研究地里的分裂、密度、分歧，不必先造出来（p.28、p.30）。
四、「高木是孤独的天才，一夜成名。」他 1903 年就有国际水准的论文，1920 年才拿出类域论，中间十七年在教书编书。成名那一夜之前，是十七年的铺垫与四年的自查（p.6、p.17、p.34）。
五、「类域论已经做完了吧。」只做完了「交换」的那一半。不交换的一半（朗兰兹纲领）、任意数域的显式构造、快速算法，三个问题都还开着（p.43）。
五条误区有一致的解药：把「听说」换回「在哪一页、依据什么」。本册每一处重要断言都留了页码与文献——这正是高木教科书立身的规矩。
《数学家的故事》第七辑 第 61 册
高木贞治 · 只证存在
体例：五幕 · 52 页 · 三层可读（故事／数学／注疏）
插画：40 幅（留白线体）
数值：全册关键数值实算复核
本册为「格物致知」系列数学通识读物之一，面向全龄读者。
故事层无需预备知识；数学层对应高中至大学初年级；注疏层供检索与延伸。
格式 · 格物致知 · JUST FOR FUN