Definition 1
Tag 00CS, permanent. Cite it as [Bourbaki, Tag 00CS].
Algebra, VIII, p. 183, § 11. Grothendieck Groups
We say that the set of classes of A-modules is additive if every zero module is of type and the direct sum of two modules of type is of type . We say that is hereditary if it is additive and the submodules and quotient modules of a module of type are of type .
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
Cites
Nothing.