(also nonabelian homological algebra)
Context
Basic definitions
Stable homotopy theory notions
Constructions
Lemmas
Homology theories
Theorems
Any abelian category gives rise to an abelian group called its Grothendieck group (see there for more). If we apply this construction to a monoidal abelian category or generally to a rig category, then inherits the further structure of a ring, thus called the Grothendieck ring.
If is a braided monoidal category, becomes a commutative ring.
If is a symmetric monoidal category, becomes a -ring.
Let be an abelian category. The Grothendieck group is the abelian group generated by objects of , quotiented by the relation that if there is a short exact sequence
In the presence of a monoidal structure , we can turn into a ring by defining
This endows with the structure of a ring because
and every monoidal category has a tensor unit.
Last revised on May 12, 2025 at 13:06:57. See the history of this page for a list of all contributions to it.