Hartshorne Algebraic Geometry Section 1.8.
Nakayama Lemma
啥都能水系列
茴字的四种写法之Nakayama lemma. 大定理的最后几个部分和一般的Nakayama lemma (finite 版本)差的有点远了, 但是还是抄上来了.
Homological Yoneda Lemma
Yoneda lemma的同调代数版本. 这是个很神奇的事情, 可以通过natural transformation 和Ext函子来计算一些函子的左导出函子. 整体的证明参考了论文The Yoneda isomorphism commutes with homology
An example of direct sum but not split exact sequence
一个含有direct sum的short exact sequence但不是split short exact sequence的例子.