Lemma 10.55.7. Let R be an Artinian local ring. The map \text{length}_ R : K'_0(R) \to \mathbf{Z} of Lemma 10.55.1 is an isomorphism.
Proof. Omitted. \square
Lemma 10.55.7. Let R be an Artinian local ring. The map \text{length}_ R : K'_0(R) \to \mathbf{Z} of Lemma 10.55.1 is an isomorphism.
Proof. Omitted. \square
Comments (0)
There are also: