Proposition 4.20. For a Krull-Schmidt category, the split Grothendieck group is a free abelian group on the isomorphism classes of indecomposable objects in .
Original source: arXiv:2206.04616v2
Proposition 4.20. For a Krull-Schmidt category, the split Grothendieck group is a free abelian group on the isomorphism classes of indecomposable objects in .
Original source: arXiv:2206.04616v2