Lemma 36.38.3. Let $X = \mathop{\mathrm{Spec}}(R)$ be an affine scheme. Then $K_0(X) = K_0(R)$ and if $R$ is Noetherian then $K'_0(X) = K'_0(R)$.

Proof. Recall that $K'_0(R)$ and $K_0(R)$ have been defined in Algebra, Section 10.55.

By More on Algebra, Lemma 15.117.2 we have $K_0(R) = K_0(D_{perf}(R))$. By Lemmas 36.10.7 and 36.3.5 we have $D_{perf}(R) = D_{perf}(\mathcal{O}_ X)$. This proves the equality $K_0(R) = K_0(X)$.

The equality $K'_0(R) = K'_0(X)$ holds because $\textit{Coh}(\mathcal{O}_ X)$ is equivalent to the category of finite $R$-modules by Cohomology of Schemes, Lemma 30.9.1. Moreover it is clear that $K'_0(R)$ is the zeroth K-group of the category of finite $R$-modules from the definitions. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).