Lemma 10.102.4. In Situation 10.102.1. Let $R$ be a Artinian local ring. Suppose that $0 \to R^{n_ e} \to R^{n_{e-1}} \to \ldots \to R^{n_0}$ is exact at $R^{n_ e}, \ldots , R^{n_1}$. Then the complex is isomorphic to a direct sum of trivial complexes.
Proof. This is a special case of Lemma 10.102.3 because an Artinian local ring has depth $0$. $\square$
Comments (0)
There are also: