nLab
Grothendieck ring

Context

Homological algebra

homological algebra

(also nonabelian homological algebra)

Introduction

Context

Basic definitions

Stable homotopy theory notions

Constructions

Lemmas

diagram chasing

Homology theories

Theorems

Contents

Idea

Any abelian category CC gives rise to an abelian group K(C)K(C) called its Grothendieck group (see there for more). If we apply this construction to a monoidal abelian category or generally to a rig category, K(C)K(C) is a ring, called the Grothendieck ring.

If CC is a braided monoidal category, K(C)K(C) becomes a commutative ring.

If CC is a symmetric monoidal category, K(C)K(C) becomes a Λ\Lambda-ring.

Examples

References