Zariski的名字估计学代数几何的人都耳熟能详，先是入门时期的交换代数教材，然后就是深入研究时期随处可见的Zariski拓扑。本帖我们分享的便是著名的Zariski交换代数教材。Oscar Zariski & Pierre Samuel写的交换代数经典教材Commutative Algebra，该教材也是学习代数几何的经典入门前置教材之一，用于补充交换代数相关的前置知识。毕竟众所周知，代数几何的基础是抽象代数，尤其是交换代数，因此想要学习代数几何，就必须要有交换代数方面的扎实基础。交换代数方面的经典教材不少，包括Atiyah的那本Introduction To Commutative Algebra，那本书篇幅较小，更为简略感觉更加适合新人小白。而Zariski的Commutative Algebra则内容更加完备、更为系统性，该教材分为两本，基本上把代数几何相关的交换代数内容全都梳理了一遍。因此，Zariski的这本教材不仅可以作为初学者的交换代数入门教材，还能作为交换代数的词典用于查阅交换代数相关的知识。Zariski的这本教材，我记得当年网络上能找到的只是Commuta ...

在上帖中，我分享了Zariski的交换代数教材：Zariski交换代数经典教材Commutative Algebra系列（pdf可复制版）。其实交换代数方面，除了Zariski的教材，还有Atiyah的Introduction to Commutative Algebra，以及Matsumura的Commutative Ring Theory可以作为交换代数的入门教材。Atiyah的教材是这三本教材中最简单的，Zariski的教材虽然很完备，但是篇幅过长，而且内容太过经典了，没有Atiyah的教材那样更加贴近新时代。而Matsumura的教材篇幅要比Atiyah的长一些，而且似乎感觉Atiyah的表达更加通俗易懂一些，毕竟Atiyah是众所周知的大师级人物。下面我们来回忆一下Atiyah的一些人物轶事。Atiyah作为与Serre齐名的伟大数学家，他最著名的工作即是与辛格一起证明了指标定理（Atiyah-Singer Index Theorem）。而Atiyah也与Grothendieck关系匪浅，见下图😁而Atiyah对物理也同样非常感兴趣，他与很多物理学家合作研究过，包括知名的唯一 ...

在前面两帖Zariski交换代数经典教材Commutative Algebra系列（pdf可复制版）和 Atiyah交换代数经典入门教材：Introduction to Commutative Algebra 中，我分享了Zariski和Atiyah的交换代数教材。在本帖中，我把Matsumura的教材也分享出来。在这里我重新回顾一下这三本教材的区别。首先，Zariski的教材很完备，但是篇幅过长，而且内容太过经典了，没有另外两本那么与时俱进。因此Zariski的教材更加适合作为交换代数的词典用于查阅。当然如果你不需要按部就班从头到尾的看完一本书，Zariski的教材选择性的跳着看，完全可以作为入门教材。我高中的时候就是看Zariski的教材的。Atiyah的教材是这三本教材中最简单的，也是篇幅最短的。而Matsumura的教材篇幅要比Atiyah的长一些，并且Matsumura的教材有一些Atiyah中没有的概念，因此也值得一读，不过Atiyah教材的表达要更加通俗易懂一些。因此，我的建议是三本教材都读一读，但没必要全部看完，把需要掌握的基础概念都掌握了就行。读文献时有些术语找不到， ...

刷题刷傻了~这次是交换代数的经典教材，M.F.Atiyah，I.G.MacDonald的Introduction to Commutative Algebra，以下简称A&M。A&M在知乎上也很有声誉，基本是公认的交换代数入门书。A&M很薄，128页，我大概读了二十余天，习题全部刷完了，觉得相当有收获。难度有，但并没有想象中的大，我完全能接受。A&M几乎绝版了，不过可以去专门进口书店买到，打印也不失为一个好选择。说起来我本来打算把交换代数放在明年再读的，但恰逢我校大二同学开展了一个交换代数讨论班，用的这本书，并且我导也推荐我现在读，所以大概就是这时候读了。确实感觉时机刚刚好。A&M是写给上个世纪七十年代的三年级本科生的讲义，很多地方不经雕琢，自成璞玉。形式化风格很是明显，鲜有大段启发性的说明或展示动机，大多是定义，定理，命题，推论的罗列，很“干”。一些证明也比较简洁，用作者自己的话说，他省去了机械的步骤；但相对的，我觉得他重要思路都点到了，真正跳步的地方比较少。我很喜欢这本书，首一的优点，它很薄，且基本的交换代数都覆盖到了，第二，它习题非常优秀， ...

Let $A,B$ be commutative rings in characteristic $p$. Let $\phi_{A}:A\rightarrow A,\phi_{B}:B\rightarrow B$ be the Frobenius morphisms, i.e. the $p$-power maps. If we have ${\rm{colim}}_{n\in\mathbb{N}}A\cong {\rm{colim}}_{n\in\mathbb{N}}B$, where the transition maps are Frobenius morphisms, can we show that $A\cong B$ ?Answer: No. Recall that an $\mathbb{F}_p$-algebra $R$ is perfect if the Frobenius map $\varphi : R \ni r \mapsto r^p \in R$ is an isomorphism. The colimit of powers of the Froben ...