上课的时候，宗传明一直极力推荐《数学天书中的证明》，今天上午我受蛊惑就在手机上网购了一本。晚上量子力学课，教室太闷，老师上得又没意思，我就提前出了理教，进了图书馆。突发奇想便查了查图书馆有没有这本书，居然还真有。
借出来翻开一看目录，就有“有限除环必然是域”这个题目。一看，证明只有短短4页（这还是排版很稀疏，而且为了完整性，没有直接引用，而是证明了抽象代数、数论的一些结论的情况下）。我几下就看完了。震撼。我惊呆了。感觉自己绝对想不出来这个。这个证明是1930年代的。
我父亲曾经给我说过这个命题。他似乎是说他上大学的时候看见过，是一篇论文里面，而且很长。看来这篇论文中给出的证明的确不能算天书中的证明。现在信息发达，真是件好事。
P.S.
今天还看了Munkres里面Seifert-van Kampen定理的证明。简单来说，就是要说明整个大空间的基本群具有free product with amalgamation的universal property。而一般地，universal object是互相同构的，所以就证明了经典情况下的Seifert-van Kampen定理。我觉得学习一点范畴论的语言还是有用的。我是看Serge Lang的Algebra了解的一点。
@st955 @constant_hxd