Theorem 1

Tag 00DG, permanent. Cite it as [Bourbaki, Tag 00DG].

Algebra, VIII, p. 195, § 11. Grothendieck Groups

The homomorphism $u: R_K(A)\rightarrow R_L(A_{(L)})$ defined above is injective. Let $\xi$ be an element of $R_K(A)$ . Then $\xi$ is effective if and only if $u(\xi )$ is.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Exercise 14, § 10
Lemma 3, § 11
Definition 1, § 20
Theorem 2, § 20
Example 6, § 21
Theorem 1, § 7

Cites

Nothing.