Why the Grothendieck group/ring?

[alg] [cat.theory]
Given an additive category \mathcal{C} we can form the Grothendieck group \mathcal{K}(\mathcal{C}). If further \mathcal{C} is a tensor category then \mathcal{K}(\mathcal{C}) is also a ring, the Grothendieck ring.

If \mathcal{C} is semisimple then any equality in \mathcal{K}(\mathcal{C}) corresponds to an isomorphism in \mathcal{C}.

Advertisements

Comment?

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s